53 projects found matching your search criteria :
Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
New Computational Paradigms for Explanatory Modelling of Complex Systems
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 1 , Panel: ST7
Principal investigator: prof. Michał Paweł Pióro
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych