Associate professor of computer science, focusing on formal program verification.
-
imec-DistriNet, KU Leuven
- Leuven, Belgium
- http://www.cs.kuleuven.be/~bartj/
Highlights
- Pro
Stars
0
results
for forked starred repositories
Clear filter