Mihaela Sighireanu Teaching Activities

Licence courses at University of Paris 7:
- Introduction to Computer Science (Licence 1st year 1999-2002, 2004-2005)
- Programming Project (Licence 2nd year 2007-2010)
- Programming Languages, Second Part (Licence 3rd year 1999-2002, 2004-2005)
- Integrated Developement Environments (Licence 3rd year 2006-2007)
- Programming (1rt year of engeering school, 2011-2012)
Master 1 courses at University Paris Diderot:
- Algorithms (Maîtrise 2003-2004, Master 1 2004-2005)
- Computer Networks ( Maîtrise 1999-2004, IUP 1999-2002, STIC Cachan 2002 )
- Logics and Verification (IUP 1999-2001)
- Internet (IUP 2001-2004)
- Programming Project:
  - Management of student's evaluation (Master 1 2005-2006)
  - Mini-Google (Master 1 2004-2005)
- Theory and Practice of Concurrency (Master 1 2004-2005, 2005-2006, 2006-2007, 2008-2009)
- Programming in Java (Master 1 Bio-Informatics 2005-2006)
Master 2 courses at University Paris Diderot:
- Verification of dynamic and parameterized systems (MPRI 2008-2010)
- Modelling and Specification (Master 2 LC 2005-2010)
- Synchronous Programming (Master 2 LC 2005-2010, 2011-2012)
- Protocol and Software Testing (Master 2 LC 2005-2007)
- Programming in Java (Master 2 Bio-informatics 2007-2009)
- Symbolic Verification (DEA Algorithmics 2000-2001)
FAQ for the students of the Computer Science Department

Projects for undergraduate (L3 or TRE M1) and graduate students:
- 2011-2012: Synthèse d'invariants pour les programmes C avec structures de données dynamiques Analyse de code binaire avec traitement de chaînes de caractères

Last modified: Wed Sep 28 21:41:09 CEST 2011 Back to Mihaela's Home Page