Write a Blog >>
Håkan Kjellerstrand

Not registered as user yet

Name: Håkan Kjellerstrand

Affiliation: CUNY Brooklyn College and Graduate Center

Personal website: http://www.hakank.org/

Contributions

PADLAuthor of The Picat-SAT Compiler within the PADL-track
Show activities from other conferences

POPL 2016-profile
View general profile