Please, feel free to use whichever you find best suited, and to edit them if needed. Bio. under the CC0 1.0 Deed license. Pictures are available at https://aubert.perso.math.cnrs.fr/pho/. Very Short Dr. Clément Aubert is an Assistant Professor in the School of Computer and Cyber Sciences and an associate faculty member of the Graduate School at Augusta University. Short Dr. Clément Aubert is an Assistant Professor in the School of Computer and Cyber Sciences and an associate faculty member of the Graduate School at Augusta University. He obtained his B.S. in Philosophy from the University of Paris 1, his M.S. in Mathematics from the University of Paris 7, and his PhD in Computer Science from the University of Paris 13. His current research interests are in formal methods for concurrent systems, type systems for the study of complexity, and reversible concurrent systems. “Official” (co-authored with Alexander Schwarzmann in Fall 2024) Dr. Clément Aubert holds a B.S. in Philosophy from the Université Paris 1, a M.S. in Mathematics from the Université Paris 7 – Denis Diderot, and a Ph.D. in Computer Science from the Université Paris 13 – Laboratoire d’Informatique de Paris Nord (LIPN), France. Dr. Aubert’s joined Augusta University in 2017 as an Assistant Professor. Dr. Aubert’s research deals with developing better formal methods in software engineering with the focus on the automatic certification of methods to guarantee and improve program’s resource usage, and the development of formal methods to reason about distributed programs. At the School of Computer and Cyber Sciences he has led the development of open educational material for CSCI 1301 - Principles of Computer Programming. Dr. Aubert is an accomplished mentor, and he has mentored tens of undergraduate students, and he is the advisor of the School’s first Ph.D. student, Neea Rusch. He is the recipient of the 2023 Center for Undergraduate Research and Scholarship Mentor of Excellence Award. Dr. Aubert is the winner several grant awards, and his current research in Concurrency in Reversible Computations is funded by a grant from NSF (National Science Foundation). In his research community on formal methods, he has served as one of the chairs of the Interaction and Concurrency Experience workshop for 3 years, and he co-organized and co-chaired The Southeast Regional Programming Languages seminar that attracted tens of researchers in the programming language field to Augusta University. “Funny” (originally aimed at undergraduate researchers, co-authored with Augusta University’s Center for Undergraduate Research and Scholarship in Summer 2023) Clement Aubert, Ph.D., Computer Science I grew up in Reims (France), and it happened that I just finished reading the absolutely amazing book “Returning to Reims”. It is a memoir and a meditation on classes, identities, and the (im)possibility that we inherit from our environment. It was a really moving book. Other than that, I work on Theoretical Computer Sciences, and am interested in programming languages and correct programs! https://www.augusta.edu/curs/2023sspbiographies.pdf (p. 1) Very Long (co-authored with Augusta University’s International & Postdoctoral Services Office in April 2022) This month, IPSO is featuring Dr. Clément Aubert, assistant professor in the School of Computer & Cyber Sciences. Dr.  Aubert, who is from France, conducts research in the field of computational logic, and says that he loves his career as an assistant professor because of the impact he makes on his students and because it fulfills his dream of being a life-long student himself. This profile is part of a series aimed at introducing you to some of Augusta University’s international community members who contribute so much to our institution. The International & Postdoctoral Services Office (IPSO) serves about 550 international employees, students, and visiting scholars. Q: Where are you from? A: I was born in Reims, in the northeast part of France (midway between Paris and Belgium), at the heart of the region were champagne is made and kings used to be crowned. For probably at least 10 generations, both my mother’s and my father’s family stayed in the same 10-miles radius, I am probably the first one in centuries to settle so far from their origins. My family is of modest origins; my parents were teachers in middle and high schools, and my grandparents were peasants and craftspersons.   Q: What was life like for you growing up? A: It was peaceful and enjoyable. I was happy to have my older sister to play with and take care of me, but also to invite me to go out while I was still fairly young. My parents have always encouraged me to study and to explore freely, for which I feel very thankful. It was a secure and stable home from which I could grow.   Q: How did you become interested in your field? A: It is a very long story. I am not sure it will fit this interview. In short, it was extremely hard for me to decide what my major was going to be (I liked everything and was skilled enough to be able to choose anything I set my mind to), so I studied “natural” science (Physics, Biology, Chemistry and Mathematics) in high school, then switched to “social” sciences (Philosophy, History, Geography, Political Science, English and Literature) for 3 years in my undergraduate studies. I liked it a lot, so I continued as a dual major History / Philosophy, where I discovered Logic, which is the formal study of reasoning, thanks to Dr. Louis Allix. Logic reminded me how much I loved Mathematics, so I decided to enroll as a 1st year student in Mathematics on top of my graduate studies in Gender Studies (with a focus on History), where I had the pleasure of being mentored by Dr. Michèle Riot-Sarcey. Unfortunately, I then discovered that I hated browsing archives—which is a must when doing any form of research in History—, so I decided to switch to a very innovative program in Philosophy that was focused on the History, Sociology, Philosophy and Logic of Science. I owe to this program and to my mentor, Dr. Jean-Baptiste Joinet, a lot, since they introduced me to Proof Theory and Model Theory, two refinements of Logic that I thoroughly enjoyed. From there, seeing that the opportunities to obtain funding for a PhD in Philosophy were scarce, I registered in two graduate programs, in Philosophy and in Mathematics, this latter being focused on the interactions between Computer Science, Mathematics and Logic. Finally, I did my end-of-studies internship in Computer Science, with Dr.  Virgile Mogbil and Dr. Paulin de Naurois on themes that were at the intersection of Mathematics, Logic, and Computer Science, so it was a really good fit for me, and funny to see that I had landed in a Computer Science PhD program while never having studied it! In short, a natural taste for cross-disciplinary themes and many wonderful individuals who took the time to mentor and advise me are the two strongest forces that led me to this field. That, and the fact that Computer Science was a field that had more facilities to secure funding at the time.   Q: What brought you to the U.S.? A: Two forces were at play: on one hand, my wife and I wanted to leave Paris, where we did not like living in general. (As I often say, living in Paris is great if you are immensely rich, a student, or both, but not so much when you are starting a family on a salary-and-a-half.) But finding a position in France outside of Paris (or its suburbs) is not easy, so I started to look for international positions. I never expected to find any position that would be a good match for me in the U.S., since my research themes are more “European” than “American.” However, Dr. Patricia Johann, from Appalachian State University, was at the time working on very “European” themes, so she offered me a postdoc position despite my lacks in her particular research themes. I owe her a lot, she helped us settle in the U.S. and taught me how this country and its educational system work.   Q: What brought you to Augusta University? A: A calendar chance! Academic positions are advertised around November in the U.S., while they are advertised around January in France, so when I was looking for a position, I naturally applied to positions in the U.S., thinking that I would then apply in France if nothing worked. As it turns out, Dr. Harley Eades, at the time Assistant Professor here at Augusta University and working on very “European” themes, was advertising for a position at Augusta University. We got in touch, there were natural connections between his work and mine, so I decided to apply! I was extremely happy when contacted by the former Dean of the Hull College of Business, Dr. Mark Thompson.   Q: Tell me about your work as an assistant professor. Why do you like your job? A: Because I get to keep learning, researching, picking my brain, and I get paid for it! I wished I could remain a student my whole life, and I guess I figured out a way to do that! It is also thrilling to realize how strong an impact you can make on students by listening to them and helping them the best of your abilities. Oh, and being one in the ten or so individuals able to understand some scientific questions is pretty thrilling at times, too! But research is hard and often disappointing, so it is good to be able to focus on teaching instead every now and then. I really like that balance.   Q: What are some significant accomplishments in your career? A: That is probably not for me to say, but lately I have been extremely glad to be working with our first ever PhD student, Neea Rusch. I am also extremely glad that our project to make CSCI 1301 - Principles of Computer Programming I, a demanding introduction class to programming, more uniform and more accessible for our students. My research carreer would not be much without the passion and talent of many researchers with whom I collaborated: Dr. Thomas Seiller, Dr. Marc Bagnol, Dr. Paolo Pistone, Dr. Ioana Cristescu, Dr. Doriana Medić, Dr. Thomas Rubiano, and Dr. Daniele Varacca. I am proud of every single work I have completed with them, with maybe a particular thrill for my lastest paper with Daniele, Processes Against Tests: Defining Contextual Equivalences which is a position paper that took us … 7 years to mature!   Q: What do you miss most about your home country? A: It took us a bit of time, but we got the cheese and bread situation sorted out by resorting to small, local farms (for cheese and—bonus!—charcuterie), and by baking it (for bread). The only thing we could not quite recreate here in the U.S. is some bonds we have with our family and our friends. We miss them dearly, and the pandemic made the situation worse and better at the same time: it was harder to travel for a while, but everybody got better at communicating at distance, so we are having distant, but more frequent, interactions.   Q: What do you like most about living in the U.S.? A: I really enjoy the daily disorientation, weirdly enough: since everything is slightly different, I often need to wonder how to perform basic tasks or what to answer to a simple chat, and it actually amuses me. There are some aspects of the school system here for our kids that I really like: as a kid, I would have loved to have teachers so supporting and to be out of school by 3 p.m.! It is also very cliché to say it, but the U.S. is indeed a land of opportunity, I am always amazed by the capacity of people around me to adapt to any kind of situation and make the best out of every possible state of affairs.   Q: What was the most difficult part of adjusting to life in the U.S. after you first got here? A: We were already surrounded by U.S. cultural references before moving here, through music, books, television, movies, etc., so it was at times weird to see it “become true” and that some aspects were actually spot-on. I had to learn some professional vocabulary and abbreviations for concepts that do not necessary exist in France, but I believe that my integration was rather smooth. Our family has always been welcomed by our neighbors and colleagues in a very supportive way, and having an Augusta University department (the International and Postdoctoral Services Office) so competent in visa and green card processing actually helped a lot, too! To learn more about Dr. Aubert, visit his website: https://spots.augusta.edu/caubert/ https://auginstruction.us.newsweaver.com/1thdod2jd7/1fkuikoibp7vml51wirari