Pierre Wolper
| Use attributes for filter ! | |
| Affiliations | University Of Liège |
|---|---|
| Awards | Paris Kanellakis Award |
| Interests | Automata Theory |
| Logic | |
| Formal Methods | |
| Model Checking | |
| Data Bases | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3446439 |
About Pierre Wolper
Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases. He is the co-recipient of the 2000 Gödel Prize, along with Moshe Y.
Pierre Wolper Photos
