Pierre Wolper is Professor of Computer Science. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases.
|
|
Pierre Wolper is Professor of Computer Science. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases. |
PGP public key: pub-key-pwolper.pgp
Publications: Recent papers, Bibliography
Recent Talks: Transparencies
Francqui Chair Lectures
Courses: Cours (French)