Clément Aubert — Assistant Professor in Computer Science

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, an associate faculty 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 2020)

This semester, I am teaching the following classes:

Students can have a look at my "Quick Reflexion on Course Evaluations", which includes my previous evaluations, to be better prepared for those classes and know what to expect.

Notes

Previously

At Augusta University

Before Coming to Augusta University

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)

If I were to use keywords, it would probably be

Using 2020 Mathematics Subject Classification

Using the 2012 ACM Computing Classification System

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.

Past Projects

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 and Hunter Wilkins, and I currently work with Assya Sellak.

Student(s) Project Result
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)
A survey on multi-head automata and their relations to complexity theory (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)

Miscellaneous

I wrote a letterhead for the Augusta University using XeTeX: 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.

Contact

Avatar