Cezar-Constantin Andrici - ICFP 2022

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Registered user since Mon 22 Aug 2022

Name:Cezar-Constantin Andrici

Bio:

PhD student at MPI-SP

Country:Germany

Affiliation:MPI-SP

Personal website: https://cezarandrici.com

Research interests:Formal methods for security

Contributions

2022

HOPE

Verifying non-terminating programs with IO in F*

Show activities from other conferences

ICFP 2022-profile
View general profile