Lukasz Czajka

Registered user since Mon 14 Oct 2019

Name: Lukasz Czajka

Affiliation: University of Innsbruck

Personal website: http://www.mimuw.edu.pl/~lukaszcz/

Contributions

CoqPL 2018 CoqHammer: Strong Automation for Program Verification
Show activities from other conferences

POPL 2018-profile
View general profile