I recently completed my MSc in Computer Science at UBC
- Vancouver, Canada
- in/dewert99
Markus de Medeiros
markusdemedeiros
PhD student in formal methods at NYU under the supervision of Joseph Tassarotti