Stanley Bak
131
reputation
3
Researcher in Computer Science working on formal verification of hybrid automaton models.