Search this site
Skip to main content
Skip to navigation
Dr. Michaël Marcozzi
Home
Bio
Research
Talks
Publications
Projects + Grants
Service
Supervision
Software
Binsec
Compiler Bugs Impact
Frama-C/LTest
SQL SymbEx
Teaching
✉️ Contact
Dr. Michaël Marcozzi
Home
Bio
Research
Talks
Publications
Projects + Grants
Service
Supervision
Software
Binsec
Compiler Bugs Impact
Frama-C/LTest
SQL SymbEx
Teaching
✉️ Contact
More
Home
Bio
Research
Talks
Publications
Projects + Grants
Service
Supervision
Software
Binsec
Compiler Bugs Impact
Frama-C/LTest
SQL SymbEx
Teaching
✉️ Contact
Software Tools
>
Binsec
>
Compiler Bugs Impact
>
Frama-C/LTest
>
SQL Symbolic Execution
Google Sites
Report abuse
Google Sites
Report abuse