Mihaela Sighireanu's Past 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 (Master 2003-2004, Master 1 2004-2005)
- Computer Networks ( Maitrise 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 1 EIDD 2019-2020)
- Software engineering (Master 1)
Master 2 courses at University Paris Diderot:
- Verification of dynamic and parameterized systems (MPRI 2008-2010)
- Modelling and Specification (Master 2 2005-2010)
- Synchronous Programming (Master 2 2005-2010, 2011-2015)
- Protocol and Software Testing (Master 2 2005-2007, 2014-2015)
- Programming in Java (Master 2 Bio-informatics 2007-2009)
- Formal methods and verification (DEA Algorithmics 2000-2001, Master 2 2013-2015)

Last modified: Mon Feb 28 2020 Back to Mihaela's Home Page