Adam Andrzej Kurpisz
Professor
Mathematics
Istituto Dalle Molle di Studi sull'Intelligenza Artificiale
Switzerland
Biography
Adam Andrzej Kurpisz started working as a doctrinal lecturer at the Institute of Mathematics and Computer Science at the Faculty of Fundamental Technological Issues at the Wrocław University of Technology. He had been doing weekly workshops on boolean functions and the Sum-of-Squares proof system "Swedish Summer School in Computer Science 2014" June 5, 2014 He had been doing week-long workshops on boolean functions and the KTH's "Summer Summer School in Computer Science" , a Sum-of-Squares proof system .
Research Interest
Research interest in Computer Science, Mathematics.