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
Research
>
Talks
>
Publications
>
Projects + Grants
>
Service
>
Supervision
Google Sites
Report abuse
Google Sites
Report abuse