I work with Clément Aubert, Thomas Seiller and Thomas Rubiano on the StATyCC project. StATyCC stands for "Static Analyses of Program Flows: Types and Certificate for Complexity." I have contributed significantly to development and documentation of our implementation of pymwp, which is an implementation of mwp-analysis of C code in Python (source code and documentation). I also gave a talk about this topic at Augusta University's Graduate Research Day in 2021 (abstract and presentation).
- An extended and more practical mwp flow analysis, 2021 (draft)
- An implementation of flow calculus for complexity analysis (tool paper), 2021 (draft)
I have been an adjunct instructor at Augusta University School of Computer and Cyber Sciences since spring 2019. I have taught the following courses:
- CSCI 1301 - Principles of Computer Programming I - since fall 2019
- CSCI 1200 - Introduction to Computers and Programming - spring, summer 2019
I am also a member of a team working on transforming CSCI 1301 course materials.