<!DOCTYPE html>
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 Portugal page 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@tecnico.ulisboa.pt github — joaorsmatos02 linkedin — João Matos location — Lisbon, Portugal
curriculum-vitae Curriculum Vitae
education experience projects awards misc cv.pdf