Aux visiteurs francophones
J’ai un site plus complet et plus orienté recherche à aubert.perso.math.cnrs.fr. La plupart des documents y sont en Anglais et en Français, d’ailleurs.
Presentation
I am an assistant professor in Computer Science at the School of Computer and Cyber Sciences, at the Augusta University, in Georgia, USA. I am also a member of the ForML Lab, a member of the Graduate School, the Campus Champion of Affordable Learning Georgia, and a mentor for the African American Male Initiative.
Prior to that, I have been a post-doctoral researcher at the Appalachian State University (Boone, NC, USA), at the LACL (Créteil, Val-de-Marne, France), at the I2M (Marseille, Bouches-du-Rhône, France), and a PhD student at the LIPN (Villetaneuse, Île-de-France, France).
Please refer to my resume for a more complete presentation, and find below information about my teaching, my research, internships and projects, as well as miscellaneous factoids and how to contact me.
Teaching
Currently (Fall 2022)
This semester, I am responsible for
- CSCI 1301 - Principles of Computer Programming I's labs for the sections A, B, C and D,
- CSCI 4990 - Undergraduate Research,
- CSCI 8940 - Dissertation Research.
Students can have a look at my "Quick Reflexion on Course Evaluations", which includes my previous evaluations, to be better prepared for the classes I teach and know what to expect.
Notes
- CSCI 1301 - Principles of Computer Programming I, which is a mirror of the version hosted on github.
- CSCI 3410 - Database Systems Lecture Notes (Draft)
- Study Guide - A Definitive Guide
- A very short introduction to C
- A very short introduction to Java
- A Quick Reflexion on Course Evaluations
- How to read programming characters
Previously
At Augusta University
- Graduate Classes
- CSCI 8940 - Dissertation Research: Spring 2022, Summer 2022
- CSCI 8720 - Problems in Computer and Cyber Sciences: Fall 2021
- STAT 7880 - Special Topics: Spring 2021
- CSCI 6910 - Master's Thesis Research: Spring 2021, Spring 2022
- CSCI 6800 - Compiler Writing: Fall 2021
- Undegraduate Classes
- CSCI 4800 - Compiler Writing: Fall 2021
- CURS 4990 - Undergrad Research III: Summer 2020, Summer 2022
- CSCI 1301 - Principles of Computer Programming I: Spring 2018, Fall 2018, Spring 2019, Fall 2019, Fall 2020, Spring 2022,
- CSCI 3271 - Operating System I: Fall 2017, Fall 2018
- CSCI 3410 - Database Systems: Fall 2017, Spring 2018, Spring 2019, Fall 2019, Spring 2020, Fall 2020, Spring 2021, Fall 2021
Before Coming to Augusta University
- Fall 2016 - CS 1440 - Computer Science I, at Appstate
- Between 2010 and 2015, I taught various courses in France: please refer to a presentation of my teaching activities or my (French) webpage for more information.
Research
I work in the vast field of computational logic, which uses mathematical reasoning to discover and explain the mechanisms of computation.
You might want to have a look at (in decreasing order of preference)
- an open directory of my publications at dissemin,
- self-archived research works at HAL and arXiv,
- my publication list, also hosted (and more complete) at dblp, or NIH's Library,
- my reviewer profile at MathSciNet or at zbMATH,
- my orcid.org profile,
- my google scholar profile,
- my ResearchGate profile (but, please, do not use it, and refer to this post as to why you should refrain from using it),
- my Pure profile.
If I were to use keywords, it would probably be
Using 2020 Mathematics Subject Classification
- 03D15 Complexity of computation (including implicit computational complexity)
- 03F52 Proof-theoretic aspects of linear logic and other substructural logics
- 68N18 Functional programming and lambda calculus
- 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
- 18C50 Categorical semantics of formal languages
Using the 2012 ACM Computing Classification System
- Computing methodologies → Concurrent computing methodologies → Concurrent programming languages
- Theory of computation
- Logic
- Linear logic
- Proof theory
- Type theory
- Semantics and reasoning
- Program semantics
- Program reasoning → Program analysis
- Models of computation
- Concurrency → Process calculi
- Computability
- Abstract machines
- Models of computation
- Formal languages and automata theory → Formalisms → Rewrite systems
- Logic
- Hardware → Emerging technologies → Reversible logic
Internships and Projects
Please, contact me if you are interrested in an internship with me. Some examples of internship (past and prospective) proposals can be found below.
In the past, I have had the pleasure of working with (in no particular order) Bryana Vinson, Bobby Mcmanus, Minh Nguyen, Poonam Veeral, Cystal Anderson, Tim Cuny, John Natale, Assya Sellak and Hunter Wilkins, and I currently work with Mark Holcomb and Neea Rusch.
Current Projects
I am mostly working on the StATyCC project with Neea Rusch lately.
I am also involved in the project led with Drs. Andrew Balas and Tiffany Townsend, Practices of outstanding productivity in biomedical research.
I am also investigating with Mark Holcomb connections between multi-head automata and their relations to complexity theory, and implementing concurrent and reversible process algebras with Peter Browning.
Past Projects
| Student(s) | Project | Result |
|---|---|---|
| Redacted, Mark Holcomb, Assya Sellak, Sydney Strong, Patrick Woolard | Feature Implementation for Open-Source Pandoc Filters | Completed during Fall 2020, as a senior capstone project. |
| Bobby Mcmanus, Minh Nguyen, Poonam Veeral | Capstone Project – Lecture Notes for CSCI 3410 Database Systems | Completed during Fall 2020, as a senior capstone project |
| John Natale | Connecting Concurrent Computations | Completed during Summer 2020, as a CURS undergrad research project. |
Future Projects
| Title | Description |
|---|---|
| Formalization of the correspondance between event structures and CCS | (soon) |
| What a recent result on Implicit Complexity Theory means for an old open problem in Term Rewriting System | (soon) |
| What is the right notion of structural congruence for reversible concurrent systems. | (soon) |
| Implementing Reversible Process Algebras | In this document |
| Revisiting Contextual Equivalences for Process Algebras | In this document |
Miscellaneous
Letterhead for the School
I wrote a letterhead for the Augusta University using XeTeX and pandoc: Download, Preview. It respects the brand strategy of the University and was approved by Augusta University's graphic designers.
The official docx template can be found at brand.augusta.edu/electronic-letterhead.
Traveling with Augusta University
I wrote a small guide to discuss how traveling is handled at Augusta University.
Reviewing Research Papers
I keep some notes to share some resources for first-time reviewers.
Contact
- caubert@augusta.edu
- University Hall, 105
33.47753, -82.02233 -
You can meet with me upon request, or
- Monday 1:00pm–2:00pm in my office and on teams.
- Tuesday 2:00pm–3:00pm in my office and on teams.
CSCI 1301 students can also request a meeting with their UCA, ask for help on the discord channel, or schedule in-person tutoring in University Hall 129.
Cyber Institute
1120 15th Street, UH 127
Augusta, GA 30904
United States of America