Dr. Igor Valerievich Tarasyuk

  

Personal Data

Position:

senior researcher

Work address:
Dr. Igor V. Tarasyuk,
Laboratory for Theory of Concurrent Processes,
A.P. Ershov Institute of Informatics Systems,
Siberian Branch of the Russian Academy of Sciences (IIS SB RAS),
6, Acad. Lavrentiev pr., Novosibirsk 630090, Russian Federation

Research interests:

  • standard, timed, probabilistic, stochastic Petri nets and process algebras
  • behavioral equivalences respecting concurrency and time
  • modal logics, term rewrite systems, reduction
  • Markov processes, performance evaluation

Foreign languages:

  • English (high level)
  • German (high level)
  • Italian (basic level)

Short curriculum vitae:

  • 1971 - born in Novosibirsk, Russian Federation
  • 1978-1988 - secondary school, Berdsk, Novosibirsk region
  • 1988-1992 - bachelor's course at Novosibirsk State University (NSU)
  • 1992-1994 - master's course at NSU
  • 1994-1997 - post graduate course at IIS SB RAS
  • 1997 - minor researcher at IIS SB RAS
  • 1997-2008 - researcher at IIS SB RAS
  • 2008-now - senior researcher at IIS SB RAS

Curriculum vitae:

I am a senior researcher at A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences (IIS SB RAS), Novosibirsk, Russian Federation.

I received the B.Sc. degree in Mathematics and Applied Mathematics from Novosibirsk State University (NSU) in 1992, and the M.Sc. degree in Mathematics and Computer Science from the same university in 1994.
I received the Ph.D. degree in Mathematics and Computer Science from IIS SB RAS in 1997.

In 1995-1997, I was supported by Volkswagen Stiftung (VS) within a joint research project with Institute for Computer Science, University of Hildesheim (UH), Germany.
In 1998-1999, 2005, 2008, I was supported by Deutscher Akademischer Austauschdienst (DAAD), as a guest researcher at Department of Computer Science, Carl von Ossietzky University of Oldenburg (CvO UO), Germany.
In 2000-2002, I was supported by Deutsche Forschungsgemeinschaft (DFG) as a post-doctoral fellow at Faculty of Computer Science, Technical University of Dresden (TUD), Germany.
In 2005, 2009, 2011, I was supported by the Invited Researchers programme of University of Castilla - La Mancha (UCLM), Albacete, Spain, as a guest lecturer and researcher at High School of Informatics Engineering, UCLM.
In 2009-2012, I was supported by DFG and Russian Foundation for Basic Research (RFBR) within a joint research project with Department of Computer Science, CvO UO.
In 2013-2015, I was supported by Spanish Government (Ministry of Science and Innovation) and European Regional Development Foundation (FEDER) within a joint research project with High School of Informatics Engineering, UCLM.
In 2016-2018, I was supported by Spanish Government (Ministry of Science and Innovation) and European Regional Development Foundation (FEDER) within a joint research project with High School of Informatics Engineering, UCLM.
In 2014-2019, I was supported by DFG and RFBR (till 2016) within a joint research project with Department of Computer Science, CvO UO, and Faculty of Computer Science, Technical University of Dortmund (TUDort), Germany.

Starting from 1993, I received research scholarships from several Russian and foreign foundations, and I participated or headed many national and international scientific projects, such as those sponsored by RFBR, International Association for the Promotion of Co-operation with Scientists from the New Independent States of the Former Soviet Union (INTAS), International Soros Science Education Program (ISSEP), Znanie, Gazprom, IIS SB RAS, SB RAS, RAS.

My main scientific interests include standard, timed, probabilistic and stochastic versions of Petri nets, process algebras and behavioral equivalences.

My scientific results were recognized as significant achievements of IIS SB RAS in
2008 ("Development and investigation of stochastic models for specification and performance analysis of concurrent systems", in Russian) and
2013 ("Construction of new stochastic process algebras for specification and performance analysis of concurrent systems", in Russian).

I published articles in Bulletin of the Novosibirsk Computing Center, Lecture Notes in Computer Science, Logic Journal of the IGPL, Programming and Computer Software, Electronic Notes in Theoretical Computer Science, System Informatics, Vestnik NSU Mathematics, Fundamenta Informaticae, Vestnik SibSUTI, Mathematical Structures in Computer Science, Siberian Electronic Mathematical Reports, Applied Mathematics and Information Sciences.
I am the author of the monograph "Equivalences for behavioural analysis of concurrent and distributed computing systems", 321 pages, Geo Academic Publisher, Novosibirsk, 2007 (in Russian, ISBN 978-5-9747-0098-9).

Detailed curriculum vitae:

PDF