Jiri Srba

Curriculum Vitae
 
Jiri Srba

Study
  • 1. 8. 1999 - 31. 1. 2003: PhD student at BRICS, Aarhus University, Denmark
  • 1. 9. 1998 - 31. 7. 1999: PhD student at Faculty of Informatics, Masaryk University in Brno, Czech Republic
  • 1. 9. 1996 - 8. 6. 1998: Faculty of Informatics, MU Brno, Czech Republic, Upper Secondary School Teacher Training in Informatics
  • 1. 9. 1993 - 29. 6. 1998: Faculty of Informatics, MU Brno, Czech Republic, Theoretical Computer Science
  • 1. 9. 1989 - 30. 6. 1993: Secondary grammar school in Trebic, Czech Republic
  • 1. 9. 1981 - 30. 6. 1989: Basic school in Trebic, Czech Republic
Academic Qualifications
  • 2005: PhD in Computer Science, Faculty of Informatics, Masaryk University in Brno, Czech Republic
    Dissertation Thesis: Selected Techniques for Verification of Infinite-State Systems (see publications)
  • 2003: PhD in Computer Science, BRICS, Aarhus University, Denmark
    Dissertation Thesis: Decidability and Complexity Issues for Infinite-State Processes (see publications)
  • 2001: Qualifying Exam: Interleaving and Independence Models in Concurrency, BRICS, Aarhus University, Denmark
  • 1998: Mgr. (master's degree) in Theoretical Computer Science, Faculty of Informatics, Masaryk University, Brno, Czech Republic
    Thesis: Context-Free Process Algebras Extended with Deadlocking States (see publications)
  • 1998: University state-exam in Upper Secondary School Teacher Training in Informatics, Faculty of Informatics, Masaryk University, Brno, Czech Republic
  • 1996: Bc. in Computer Science, Faculty of Informatics, Masaryk University, Brno, Czech Republic
Employment Research Interests
Concurrency theory, process algebras, decidability issues in various classes of (infinite-state) systems, verification of concurrent systems, modal and temporal logics.

Publications
See the complete list.

Academic Awords
  • 2011: Lecturer of the Year for the Studyboard of Computer Science, Aalborg University
  • 2006: Lecturer of the Year for Natural Sciences, Aalborg University
  • 1998: Awarded the MFCS'98 prize for the Best Students' Contribution
  • 1998: Awarded the annual rector's prize, Masaryk University
  • 1998: Awarded the annual dean's prize, Faculty of Informatics, Masaryk University
  • 1996: Awarded the annual dean's prize, Faculty of Informatics, Masaryk University
Summer Schools
  • 2002: Summer School on Massive Data Sets, June 27 - July 1, BRICS, University of Aarhus, Denmark
  • 1999: Summer School in Semantics of Computation, May 3-7, BRICS, University of Aarhus, Denmark
Grants Participation
  • 2013-2016: FF7 EU Network project CASSTING, Collective Adaptive Systems Synthesis with Non-Zero-Sum Games (site coordinator).
    Project website CASSTING.

  • 2008-2011: FF7 EU Network project TRICE, Teaching, Research and Innovation in Computing Education (coordinator for Denmark).
    Project website TRICE.

  • 2005-2010:Institute for Theoretical Computer Science
    Project No. 1M0545.

  • 2003-2005: Verification of Infinite-state Systems
    Grant Agency of Czech Republic, Project No. 201/03/1161.

  • 2000-2003: Infinite-State Concurrent Systems - Models and Verification
    Grant Agency of Czech Republic, Project No. 201/00/0400.

  • 1997-2000: Algorithmic Verification Boundaries for Infinite-State Systems
    Grant Agency of Czech Republic, Project No. 201/97/0456.

  • 1999: Verification of Infinite-State Concurrent Processes
    Fund for Development of Universities, FRVS - 0409/1999.

 
 
 

Last modified: 2011-02-13 by Jiri Srba.            Back to my homepage