People

Faculty

JS

Dr. Jane Smith

Faculty
Dr. Jane Smith is a Professor of Computer Science specializing in cybersecurity and software security. She leads the PadOverflow research group and has published over 50 papers in top-tier conferences and journals.
Research Interests:
- Software Security
- Program Analysis
- Vulnerability Detection
- Malware Analysis
Contact:
- Email: jane.smith@unipd.it
- Office: Room 301, Building A

PhD Students

MR

Marco Rossi

PhD Student
Marco Rossi is a PhD student working on automated vulnerability detection in web applications. His research focuses on developing static and dynamic analysis techniques to identify security flaws in modern web frameworks.
Research Topic:
- Automated Vulnerability Detection in Web Applications
- Static Analysis for Security
- Machine Learning for Security Analysis
Supervisor: Dr. Jane Smith
Contact: marco.rossi@unipd.it

Post Doctoral Researchers

AB

Dr. Anna Bianchi

Post Doctoral Researcher
Dr. Anna Bianchi is a Post Doctoral Researcher working on binary analysis and reverse engineering. She specializes in developing tools for automated malware analysis and understanding.
Research Interests:
- Binary Analysis
- Reverse Engineering
- Malware Analysis
- Program Understanding
Previous Experience:
- PhD in Computer Science, University of Milan (2022)
- Research Assistant, Technical University of Munich (2020-2022)
Contact: anna.bianchi@unipd.it

Research Engineers

LV

Luca Verdi

Research Engineer
Luca Verdi is a Research Engineer working on developing practical security tools and frameworks. He focuses on translating research ideas into usable software tools for the security community.
Areas of Expertise:
- Software Development
- Security Tool Development
- System Administration
- DevOps
Current Projects:
- PadOverflow Security Framework
- Automated Testing Infrastructure
- Security Tool Integration
Contact: luca.verdi@unipd.it

Alumni

PN

Dr. Paolo Neri

Alumni (PhD 2023)
Dr. Paolo Neri completed his PhD in 2023 and is now working as a Security Researcher at Google. During his time at PadOverflow, he worked on automated vulnerability detection in IoT devices.
PhD Thesis: "Automated Security Analysis of Internet of Things Devices"
Current Position: Security Researcher, Google
Research During PhD:
- IoT Security
- Firmware Analysis
- Vulnerability Detection
- Hardware Security
Contact: paolo.neri@gmail.com

Visitors

MG

Prof. Maria Garcia

Visiting Professor
Prof. Maria Garcia is a Visiting Professor from the Technical University of Berlin, spending 6 months at PadOverflow to collaborate on research in software security and program analysis.
Home Institution: Technical University of Berlin
Research Collaboration:
- Software Security Analysis
- Program Verification
- Formal Methods in Security
Visit Period: September 2023 - February 2024
Contact: maria.garcia@tu-berlin.de