Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Jiri Srba - Associate Professor at BRICS
[go: Go Back, main page]
 
Jiri Srba
Associate Professor at BRICS
 

Jiri Srba

I am associated with BRICS in Aalborg.

The main area of my interest is within concurrency theory, in particular:

  • process algebras
  • timed Petri nets and timed automata
  • decidability and complexity issues for various classes of infinite state systems
  • software verification
  • partial order semantics, logics over partial orders
  • verification of cryptographic protocols

Links:

Events:

Pictures:


Jiri Srba
University of Aalborg
Department of Computer Science
Selma Lagerlöfs Vej 300
9220 Aalborg East
Denmark

Office: 1.2.32
Phone: +45 96 35 98 51
Fax : +45 96 35 05 10
Mobil: +45 20 45 35 14
Mobil: +420 608 222962 (during summer and winter holidays)
Email: srba@brics.dk
 
 
 
Last modified: 2007-08-29 by Jiri Srba.            Back to my homepage