Associate professor of computer science, focusing on formal program verification.
-
imec-DistriNet, KU Leuven
- Leuven, Belgium
- http://www.cs.kuleuven.be/~bartj/
Highlights
- Pro
Search results
0 open and 0 closed projects found.-
There aren't any projects yet