Search results
15 projects found matching your search criteria:
-
1. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 2, Panel: ST6
-
2. Programming language for a hierarchical, parallel machine using ManyDSL
Principal investigator: Piotr Danilewski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 12, Panel: ST6
-
3. Abstract Machines for Programming Languages: Investigations in Formal Interderivations
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 17, Panel: ST6
-
4. Reasoning about programs in higher-order languages
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 8, Panel: ST6
-
5. Models, languages and systems for reliable and scalable distributed computing
Principal investigator: dr Jacek Andrzej Sroka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 4, Panel: ST6
-
6. Algebraic effects: composition and coinduction
Principal investigator: dr Maciej Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 14, Panel: ST6
-
7. Asymptotic methods in lambda calculus and combinatory logic
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 6, Panel: ST6
-
8. Algorithms for text data processing
Principal investigator: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: OPUS 2, Panel: ST6
-
9. Event Completeness of Use Cases
Principal investigator: dr Jakub Jurkiewicz
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 1, Panel: ST6
-
Principal investigator: dr hab. Wojciech Andrzej Sławiński
Uniwersytet Warszawski, Wydział Chemii
Call: OPUS 22 (LAP), Panel: ST5
-
11. Probabilistic entropy in engineering computations
Principal investigator: prof. Marcin Marek Kamiński
Politechnika Łódzka, Wydział Budownictwa, Architektury i Inżynierii Środowiska
Call: OPUS 21, Panel: ST8
-
12. Source-code-representations for machine-learning-based identification of defective code fragments
Principal investigator: dr hab. Mirosław Ochodek
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Call: OPUS 21, Panel: ST6
-
13. Specification development and software verification
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 6, Panel: ST6
-
14. Automatisation of constructive logic
Principal investigator: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 4, Panel: ST6
-
15. Concurrency control and fault tolerance for distributed software transactional memory
Principal investigator: dr hab. Paweł Tomasz Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Call: HARMONIA 3, Panel: ST6