Teaching

I have been a teaching assistant for the following courses:

• Design and Analysis of Algorithms (UNIGE),
• Modeling and Verification of CPS (UNIGE),
• Topics in Satisfiability Checking (RWTH Aachen),
• Artificial Intelligence (UNIGE)