Oana M. ANDREI

2012 / 2017 - School of Computing Science, University of Glasgow, Glasgow - UK
Assistant lecturer.

MRS4 (Modelling Reactive Systems) lectures on Probabilistic Model Checking.
Undergraduate (4th year) and graduate (Master 1st year) studies in Computer Science, 4 hours.

2012 / 2013 - School of Computing Science, University of Glasgow, Glasgow - UK
Assistant lecturer.

RRCS (Research Readings in Computing Science), guest lecturer for Formal Models.
MRes/MSc studies in Computer Science, 1 hour.

2011 / 2012 - School of Computing Science, University of Glasgow, Glasgow - UK
Assistant lecturer.

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.

2010 / 2011 - School of Computing Science, University of Glasgow, Glasgow - UK
Assistant lecturer.

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.

2009 / 2010 - Department of Computing Science, University of Glasgow, Glasgow - UK
Assistant lecturer.

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.

2007 / 2008 - Ecole des Mines de Nancy, INPL, Nancy - France
Teaching assistant.

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.
Last modified: Thu 2 Feb 2017 15:43:00 GMT