- ❤️ Formal Methods, Programming Languages, Concurrency, Distributed Systems
- 🔭 Ph.D. student in the Programming Methodology Group at ETH Zürich
- 📫 Check my website for contact info
jcp19 Goto Github PK
Name: João Pereira
Type: User
Company: ETH Zurich
Bio: Formal Methods & PL, Program Analysis, Distributed Systems
Blog: jaoper.com