Teaching Experience
- 1997-1998
September 1997 - January 1998 - Lecturer of Pascal Programming at High College of Computer Science
(HCCS) of Novosibirsk State University (NSU),
Novosibirsk, Russian Federation.
- 1999-2000
November 1999 - March 2000 - Lecturer of Mathematics at the Berdsk branch of Novosibirsk Institute of the
Humanities (NIH), Berdsk, Russian Federation.
February 2000 - March 2000 - Lecturer of Pascal Programming at NSU, Novosibirsk, Russian
Federation.
- 2001
April - July - Delivering a lecture course "Equivalence relations for net
and algebraic models of concurrency" at the Faculty of Computer Science, Technical University of Dresden
(TUD), Dresden, Germany.
- 2005
June - Delivering a lecture "Discrete time stochastic Petri nets: a model for
analysis of stochastic concurrent systems" at the Oldenburger Forschungs- und Entwicklungsinstitut fuer
Informatik-Werkzeuge und -Systeme (OFFIS), Oldenburg, Germany.
- 2008
October - Delivering a lecture "Performance evaluation in dtsPBC"
in the context of the seminar "Students and Doctoral students" at Division of Theoretical Computer Science,
Department of Computer Science, Carl von Ossietzky University of Oldenburg (CvO UO),
Oldenburg, Germany.
- 2009
May - Delivering a lecture course "Algebra dtsPBC: a discrete time stochastic
extension of Petri box calculus" in the context of a seminar "Models for the analysis and design of concurrent
systems" at High School of Computer Science Engineering of Albacete (ESII), Albacete,
Spain.
- 2011
October - Delivering a lecture "Performance evaluation of the shared memory
system in dtsPBC" at the workshop in the context of "Computer Science Colloquium" at Department of Computer
Science, CvO UO, Oldenburg, Germany.
October - Delivering a lecture "Stochastic equivalence for modular performance
evaluation in discrete time stochastic Petri box calculus" in the context of "Chair Colloquium" at
Chair of Practical Computer Science, Faculty of Computer Science,
Technical University of Dortmund (TUDo), Dortmund, Germany.
- 2015
September - Delivering a lecture "Performance evaluation in stochastic process
algebra dtsiPBC" at ESII, Albacete, Spain.
- 2023
April - General presentation "Algebra dtsPBC: a discrete time stochastic extension of
Petri box calculus", based on the talks made between 2008 and 2019 at CvO UO, Oldenburg,
Germany; ESII, Albacete, Spain; TUDo, Dortmund, Germany;
IIS SB RAS, Novosibirsk, Russia; Tomsk State University (TSU), Tomsk,
Russia.
May - General presentation "Algebra dtsiPBC: discrete time stochastic Petri box calculus
with immediate multiactions", based on the talks made between 2012 and 2019 at Imperial College,
London, UK; ESII, Albacete, Spain; IIS SB RAS, Novosibirsk, Russia; Tomsk
State University (TSU), Tomsk, Russia.
|