João Ricardo Silva Matos
I am a computer science PhD student at Instituto Superior Técnico, University of Lisbon and the School of Computer Science, Carnegie Mellon University. You can check out my CMU SCS page here and my CMU Portugal page here. I am also a member of the Automated Reasoning and Software Reliability (ARSR) group at INESC-ID, with my profile available here.
My research interests are in the areas of software security, program analysis, and formal methods. I also have an interest in programming languages, compilers, and occasionally conduct some personal hardware projects.
contact
Contact
email — joao.silva.matos at {inesc-id | tecnico.ulisboa} .pt / jrmatos at andrew.cmu.edu
github — joaorsmatos02
linkedin — João Matos
curriculum-vitae
Curriculum Vitae