Dr. Igor Valerievich Tarasyuk

 

Professional Background

  • 1985 August - Research Assistant at Gravimetry Laboratory, Institute of Automation and Electrometry SB RAS (IAE SB RAS), Novosibirsk.
  • 1987 June - Electrician's practice at Electrical Equipment Shops, Berdsk Plant of Biological Substances "Sibbiofarm" (SBF), Berdsk.
  • 1993 June - August - Programmer of statistical programs (C programming language) at Research and Design Institute of Biologically Active Substances SB RAS (IBAS SB RAS), Berdsk. See the author's computer programs CORRANAL for correlation analysis and LD50 for 50% lethal dose calculation in biological experiments.
  • 1994 May - August - Leading economist at Department of Marketing and External Economic Activity, Berdsk Electro-Mechanical Plant (BEMP), Berdsk.
  • 1995 February - July - Programmer of medical and financial programs (FoxPro) at Central Municipal City Hospital, Berdsk.
    December 1 - Starting as Guest Researcher within joint research project, grant Volkswagen Stiftung (VS) I/70 564, at Institute of Computer Science, University of Hildesheim (UH), Germany.
  • 1996 February 29 - End of research work at Institute of Computer Science, UH, Germany.
  • 1997 March 1 - April 30 - Guest Researcher within joint research project, grant VS I/70 564, at Institute of Computer Science UH.
    October 1 - December 31 - Minor scientific researcher at Theoretical Programming Laboratory, IIS SB RAS.
    December 26 - Defence of Ph.D. thesis "Equivalence notions for models of concurrent and distributed systems" at IIS SB RAS.
  • 1998 January 1 - Starting as Researcher at Theoretical Programming Laboratory, October 1 - Starting as Guest Researcher, grant Deutscher Akademischer Austauschdienst (DAAD) A/98/38518, at Department of Computer Science, Carl von Ossietzky University of Oldenburg (CvO UO), Germany.
  • 1999 January 1 - July 31 - Further research work at CvO UO, Germany.
    April - July - German-English Translator of Homepage content, Department of Computer Science, CvO UO, Germany.
    July 31 - End of research work at CvO UO, Germany.
  • 2000 April 1 - Starting as Post-Doctoral Guest Researcher at the Faculty of Computer Science, Technical University of Dresden (TUD), Germany.
  • 2002 March 31 - End of post-doctoral research at TUD, Germany.
  • 2003 September - October - German-Russian and English-Russian Translator at Translation Agency "Aum", Novosibirsk.
  • 2004 June - September - Programmer of data bases (FoxPro) at a software development company, Berdsk.
  • 2005 June 1 - August 31 - Guest Researcher, grant DAAD A/05/05334, at Department of Computer Science, CvO UO, Germany.
  • 2008 January 29 - A presentation of results (in Russian) at a meeting of the scientific council of IIS SB RAS.
    September 1 - October 31 - Guest Researcher, grant DAAD A/08/08590, at Department of Computer Science, CvO UO, Germany.
    November - The result of the author "Development and investigation of stochastic models for specification and performance analysis of concurrent systems" (in Russian) (concerning discrete time stochastic Petri nets and process algebras as well as the net and algebraic stochastic equivalences, performance evaluation and reduction) is recognized as one of the most significant annual achievements of IIS SB RAS.
    December 15 - Starting as Senior Researcher at Theoretical Programming Laboratory, IIS SB RAS.
  • 2011 July 1 - Starting as Senior Researcher at Theory of Concurrent Processes Laboratory, IIS SB RAS.
  • 2013 November - The result of the author "Construction of new stochastic process algebras for specification and performance analysis of concurrent systems" (in Russian) (concerning discrete time stochastic process algebras with and without immediate multiactions as well as the algebraic stochastic equivalences, performance evaluation and reduction) is recognized as one of the most significant annual achievements of IIS SB RAS.