Pierre Wolper
From Infogalactic: the planetary knowledge core
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.[1] He is the co-recipient of the 2000 Gödel Prize, along with Moshe Y. Vardi, for his work on temporal logic with finite automata.[2] He also received the 2005 Paris Kanellakis Award for this work.[3]
References
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references> tag; parameter "group" is allowed only.
<references />, or <references group="..." />External links
Lua error in package.lua at line 80: module 'strict' not found.
<templatestyles src="Asbox/styles.css"></templatestyles>
.svg){kind=small}   |
This article about a Belgian scientist is a stub. You can help Wikipedia by expanding it. |
