Skip to Content
Menu
Research
Education
Partnerships
News
Events
About
Directory
Give to CyLab
CIC resources
Partners’ Portal
Security & privacy demos
Hiring
Public policy work
Search
Search
Search
Home
Directory
Ruben Martins
Systems Scientist,
Computer Science Department
Email
rubenm@andrew.cmu
Research Interests
AI and ML for security
formal methods for security
malware analysis and detection
software security
verification
Update your page