Oana M. ANDREI
Co-lecturer for Modelling Reactive Systems (MRS) on Probabilistic Model Checking.
Undergraduate (3rd and 4th year) and graduate (Master 1st year) studies in Computer Science, 4 lectures.
RRCS (Research Readings in Computing Science), guest lecturer for Formal Models.
MRes/MSc studies in Computer Science, 1 hour.
MRS4 (Modelling Reactive Systems) lectures on Probabilistic Model Checking.
Undergraduate (4th year) and graduate (Master 1st year) studies in Computer Science, 4 hours.
RMT (Research Methods and Techniques) coursework marking.
MSc studies in Computer Science.
MRS4 (Modelling Reactive Systems) lecture on
Designing a simple 2-telephone system using Message Sequence Charts.
Undergraduate (4th year) and graduate (Master 1st year) studies in Computer Science, 1 hour.
MRS4, Modelling Reactive Systems lecture on
introduction to Promela.
Undergraduate (4th year) and graduate (Master 1st year) studies in Computer Science, 1 hour.
CS1Q, Information management lecture on constructing ER
diagrams.
Undergraduate studies in Computer Science, 1st year, 1 hour.
Office Tools, 1st year.
Undergraduate studies in Civil Engineering, fall semester 2007, practical sessions, 18 hours.
2003 - 2005 - Faculty of Computer Science, UAIC, Iasi - Romania
Teaching assistant in the department of Computer Science
Computer Programming II. Introduction to object-oriented programming and the C++ language.
Undergraduate studies in Computer Science, 1st year, spring semester 2005, practical sessions - 16 hours.
Computer Programming I. Introduction to programming and the C language.
Undergraduate studies in Computer Science, 1st year, fall semester 2004, practical sessions - 84 hours.
Algebraic programming.
Undergraduate studies in Computer Science,
2nd year, spring semester 2003, exercise sessions - 14 hours, practical sessions - 84 hours.