Institutional Information
Country:  
Denmark
Institution:  
Aalborg University
Department:  
Computer Science
Web site:  
www.brics.dk/~srba
Address:  
Department of Computer Science
Selma Lagerlofs Vej 300
9220 Aalborg Oest
Denmark
  Personal Information
Title:  
Assoc. Prof.
First Name:  
Jiri
Last Name:  
Srba
Photograph:  
Position:  
Site coordinator of P31
e-mail:  
srba@cs.aau.dk
Alternative e-mail   
Office phone:  
+45 99 40 98 51
Home phone:  
Cell phone:  
Fax:  
+45 99 40 97 98
Spoken languages:  
English, Danish, Czech
Taught courses:  
Semantics of Programming languages, Semantics and Verification, Formal Languages and Machines, Professional Communication in Computer Science, Algorithms and Data Structures
Research field:  
concurrency theory, verification
Other information:  

 
This web site has been produced with the support of the European Commission under the Lifelong Learning Programme: 142399-LLP-1-2008-1-BG-ERASMUS-ENW.
It reflects the views only of the authors, and the commission cannot be held responsible for any use which may be made of the information contained therein.

The web site has been visited 695641 times since 10 November 2010.