Christine Rizkallah - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Registered user since Tue 23 Aug 2016

Name:Christine Rizkallah

Country:United States

Affiliation:University of Pennsylvania, USA

Personal website: http://people.mpi-inf.mpg.de/~crizkall/

Research interests:Formal Verification, Interactive Theorem Proving

Contributions

2018

CPP

Total Haskell is Reasonable Coq

Show activities from other conferences

POPL 2018-profile
View general profile