CS-C2150 - Theoretical Computer Science, Spring 2018.

CS-E4520 - Computer-Aided Verification and Synthesis, Spring 2018.

ICS-E5010 Computer-Aided Verification and Synthesis: Spring 2016, Spring 2015.

T-79.4302 Parallel and Distributed Systems, Fall 2014. Responsible professor for the course. Course taught in Fall 2014 by Dr. Viorel Preoteasa.

Systems, Models, and Algorithms, Spring 2014.

Systems, Models, and Algorithms, Fall 2012.