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