Master’s in Computer Science with specializations in Cybersecurity and Distributed Systems from Instituto Superior Técnico (University of Lisbon). Now pursuing a dual-degree Ph.D. in Electrical and Computer Engineering at CMU and IST, focusing on program analysis and software security.
