Paweł Maria Sobociński
https://www.etis.ee/CV/Pawel_Sobocinski/est
3.04.1978
+372 5366 6882
pawel@cs.ioc.ee
Scopus Author Id 8406504300
Google Scholar citations
https://scholar.google.com/citations?user=n1k-QJgAAAAJ
Google Scholar citations
https://scholar.google.com/citations?user=n1k-QJgAAAAJ
Teenistuskäik
Töökohad ja ametid
01.09.2019–...
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Täisprofessor tenuuris (1,00)
01.12.2017–01.09.2019
University of Southampton, Dotsent (1,00)
01.03.2010–01.12.2017
University of Southampton, Lektor (1,00)
01.03.2007–01.03.2010
University of Southampton, Erakorraline lektor (1,00)
01.05.2005–01.03.2007
University of Cambridge, Teadur (1,00)
01.12.2004–01.05.2005
PPS, University of Paris VII, Järeldoktor (1,00)
01.07.2004–01.12.2004
University of Pisa, Järeldoktor (1,00)
Haridustee
2000–2004
doktoriõpingud arvutiteaduse, BRICS, Aarhusi Ülikool
1996–1999
bakalaureuseõpingud arvutiteaduses ja -tehnoloogias, Sydney Ülikool
Teadusorganisatsiooniline ja -administratiivne tegevus
2021−...
liige, Expert Panel on Computer Science and Informatics, National Science Centre NCN, Poola
2020−...
kaasorganisaator, Online World Seminar on Logic and Semantics (OWLS)
2020−...
IKT doktoriõppekava programmijuht, TTÜ
2020−...
korraldustoimkonna esimees, MFCS 2021
2019−...
tarkvarateaduse instituudi nõukogu liige, TTÜ
2018−...
ajakirja kaastoimetaja, Compositionality
2016−...
ajakirja kaastoimetaja, Mathematical Structures in Computer Science
2015−...
liige, IFIP Working Group 2.2, Formal Description of Programming Concepts
2014−...
liige, IFIP Working Group 1.3, Foundations of System Specification
2022−2022
programmitoimkonna liige, 33rd International Conference on Concurrency Theory (CONCUR 2022)
2022−2022
kaasesimees, 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023)
2021−2021
programmitoimkonna liige, 32nd International Conference on Concurrency Theory (CONCUR 2021)
2021−2021
programmitoimkonna liige, 12th International Conference on the Theory and Application of Diagrams (Diagrams 2021)
2021−2022
programmitoimkonna liige, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
2021−2022
programmitoimkonna liige, 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022)
2020−2020
programmitoimkonna liige, 25th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS 2020)
2020−2020
programmitoimkonna liige, 17th International Conference on Quantum and Physics Logic (QPL 2020)
2020−2020
programmitoimkonna liige, 13th International Conference on Graph Transformation (ICGT 2020)
2020−2020
programmitoimkonna liige, Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science (SEMSPACE 2020)
2020−2020
programmitoimkonna liige ja korraldaja, 7th Symposium on Compositional Structures (SYCO 7)
2020−2020
programmitoimkonna liige, 3rd IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, Track B: Logic, Semantics, and Programming Theory (TTCS 2020)
2020−2020
Chair, 4th Workshop on String Diagrams in Computation, Logic, and Physics (STRINGS 2020)
2019−2019
programmitoimkonna liige, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), Track B
2019−2019
programmitoimkonna liige, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)
2019−2019
programmitoimkonna liige, 16th International Conference on Quantum and Physics Logic (QPL 2019)
2019−2019
programmitoimkonna liige, 2nd Annual International Conference on Applied Category Theory (ACT 2019)
2019−2019
programmitoimkonna liige, International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA 2019)
2019−2019
programmitoimkonna liige, Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science 2019 (SEMSPACE 2019)
2019−2019
programmitoimkonna esimees 3rd Workshop on String Diagrams in Computation, Logic and Physics (STRINGS 2019)
2019−2019
programmitoimkonna liige, 6th Symposium on Compositional Structures (SYCO 6)
2018−2018
programmitoimkonna liige, 15th International Conference on Quantum Physics and Logic (QPL 2018)
2018−2018
programmitoimkonna liige, 29th Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2018)
2018−2018
programmitoimkonna liige, 24th International Workshop on Algebraic Development Techniques (WADT 2018)
2018−2018
programmitoimkonna liige, 4th Workshop on Higher Dimensional Rewriting and Aplications (HDRA 2018)
2018−2018
programmitoimkonna liige, 1st Symposium on Compositional Structures (SYCO 1)
2018−2018
programmitoimkonna liige, 2nd Symposium on Compositional Structures (SYCO 2)
2018−2018
programmitoimkonna liige, Workshop on Compositional Approaches in Physics, NLP, and the Social Sciences
2018−2018
Chair, NII Shonan meeting on Diagrammatic Methods for Linear and Nonlinear Systems
2017−2017
prorgammitoimkonna liige, 14th Conference on Quantum Physics and Logic (QPL 2017)
2017−2017
programmitoimkonna liige, 28th Conference on Concurrency Theory (CONCUR 2017)
2017−2017
programmitoimkonna liige, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
2017−2017
programmitoimkonna liige, 28th Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2017)
2017−2017
programmitoimkonna liige, 4th International Conference on Tools and Methods of Program Analysis (TMPA 2017)
2017−2017
programmitoimkonna liige, 1st Workshop on Recent Advances in Concurrency and Logic (RADICAL 2017)
2017−2017
programmitoimkonna liige, 3rd Workshop on Higher-Dimensional Rewriting and Applications (HDRA 2017)
2017−2017
Chair, 1st Workshop on String Diagrams in Computation, Logic, and Physics (STRINGS 2017)
2017−2017
programmitoimkonna liige, Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017)
2017−2017
programmitoimkonna liige, 3rd International Workshop on Meta Models for Process Languages (MeMo 2017)
Kvalifikatsioon
Teaduspreemiad ja tunnustused
2021, Paweł Maria Sobociński, kutsutud tutorialist, XXXVII Mathematical Foundations of Programming Semantics (MFPS 21)
2019, Paweł Maria Sobociński, kutsutud kõneleja, 31st Nordic Workshop on Programming Theory, NWPT'19
2019, Paweł Maria Sobociński, kutsutud kõneleja, International Category Theory Conference 2019
2018, Paweł Maria Sobociński, kutsutud kõneleja, 2nd Workshop on Open Games
2018, Paweł Maria Sobociński, kutsutud lektor, Applied Category Theory Research School, Lorentz Center, Leiden, Netherlands
2017, Paweł Maria Sobociński, kutsutud tutorialist, 28th Int. Conference on Concurrency Theory (CONCUR 2017)
2017, Paweł Maria Sobociński, kutsutud kõneleja, Workshop on Compositional Methods for Network Diagrams and Component-Based Systems, Bellairs Institute
2017, Paweł Maria Sobociński, kutsutud kõneleja, Workshop on Hopf Algebras in Kitaev’s Quantum Double Models: Mathematical Connections from Gauge Theory to Topological Quantum Computing and Categorical Quantum Mechanics, Perimeter Intitute
2017, Paweł Maria Sobociński, kutsutud kõneleja, 10th Interaction and Concurrency Experience (ICE 2017)
2017, Paweł Maria Sobociński, kutsutud lektor, 2017 Midlands Graduate School (MGS 2017)
2017, Paweł Maria Sobociński, kutsutud lektor, 22nd Estonian Winter School in Computer Science (EWSCS 2017)
2017, Paweł Maria Sobociński, kutsutud lektor PhD-open, Open lectures for PhD students in computer science, University of Warsaw
2016, Paweł Maria Sobociński, kutsutud kõneleja, Workshop on Compositionality, Simons Institute
2016, Paweł Maria Sobociński, kutsutud kõneleja, 2nd Workshop on Higher-Dimensional Rewriting and Applications (HDRA 2016)
2015, Paweł Maria Sobociński, kutsutud kõneleja, 11th International Workshop on Developments in Computational Models (DCM 2015)
2015, Paweł Maria Sobociński, kutsutud tutorialist, 12th Int. Conference on Quantum Physics and Logic (QPL 2015)
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); TÄPSUSTUS: rakendluslik kategooriateooria
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.4. Matemaatika; CERCS KLASSIFIKAATOR: P110 Matemaatiline loogika, hulgateooria, kombinatoorika
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.4. Matemaatika; CERCS KLASSIFIKAATOR: P120 Arvuteooria, väljateooria, algebraline geomeetria, algebra, rühmateooria
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P175 Informaatika, süsteemiteooria
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P176 Tehisintellekt
Lisainfo
Juhendatud järeldoktorid
-
01.11.2019−30.06.2022 Edward Morehouse "arvutiteadus" Tallinna Tehnikaülikool
-
01.01.2020−30.06.2022 Fosco Loregian "arvutiteadus" Tallinna Tehnikaülikool
-
01.10.2020−30.09.2022 Amar Hadzihasanovic "arvutiteadus" Tallinna Tehnikaülikool
Klass
Aasta
Publikatsioon
1.1.
2022
1.1.
2022
1.1.
2021
1.1.
2021
3.1.
2021
3.1.
2021
3.1.
2021
3.1.
2021
3.1.
2021
3.1.
2021
1.1.
2020
3.1.
2020
3.1.
2020
3.1.
2020
1.2.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
5.2.
2019
1.1.
2018
3.1.
2018
3.1.
2018
3.1.
2018
3.1.
2018
1.1.
2017
1.1.
2017
3.1.
2017
3.1.
2017
6.8.
2017
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
1.1.
2015
1.1.
2015
1.1.
2015
6.8.
2015
1.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
1.1.
2013
3.1.
2013
3.1.
2013
3.1.
2012
1.1.
2011
3.1.
2011
3.1.
2011
1.1.
2010
3.1.
2010
4.1.
2010
6.8.
2010
1.1.
2009
3.1.
2009
3.1.
2009
3.1.
2009
6.8.
2009
1.1.
2008
3.1.
2008
3.1.
2008
1.1.
2007
1.1.
2007
3.1.
2007
3.1.
2007
1.1.
2006
1.1.
2006
3.1.
2006
1.1.
2005
1.1.
2005
1.1.
2005
1.1.
2005
3.1.
2005
3.1.
2005
1.1.
2004
1.1.
2003
3.1.
2003
1.1.
2002
25.03.2022
Paweł Maria Sobociński
https://www.etis.ee/CV/Pawel_Sobocinski/eng
3.04.1978
+372 5366 6882
pawel@cs.ioc.ee
Scopus Author Id 8406504300
Google Scholar citations
https://scholar.google.com/citations?user=n1k-QJgAAAAJ
Google Scholar citations
https://scholar.google.com/citations?user=n1k-QJgAAAAJ
Career
Institutions and positions
01.09.2019–...
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Tenured Full Professor (1,00)
01.12.2017–01.09.2019
University of Southampton, Associate Professor in Computer Science (1,00)
01.03.2010–01.12.2017
University of Southampton, Lecturer in Computer Science (1,00)
01.03.2007–01.03.2010
University of Southampton, Probationary Lecturer in Computer Science (1,00)
01.05.2005–01.03.2007
University of Cambridge, Research Associate in Computer Science (1,00)
01.12.2004–01.05.2005
PPS, University of Paris VII, CNRS Postdoc (1,00)
01.07.2004–01.12.2004
University of Pisa, Postdoctoral Researcher (1,00)
Education
2000–2004
PhD in Computer Science, BRICS, University of Aarhus
1996–1999
Bachelor in Computer Science and Technology, University of Sydney
R&D related managerial and administrative work
2021−...
Member of Expert Panel on Computer Science and Informatics, National Science Centre NCN, Poland
2020−...
Co-organiser of the Online World Seminar on Logic and Semantics (OWLS)
2020−...
director of PhD programme in ICT, TTU
2020−...
chair of organizing committe, MFCS 2021
2019−...
member of the council of the Dept of Software Science, TTU
2018−...
Associate Editor, Journal, Compositionality
2016−...
Associate Editor, Journal, Mathematical Structures in Computer Science
2015−...
Member of IFIP Working Group 2.2, Formal Description of Programming Concepts
2014−...
Member of IFIP Working Group 1.3, Foundations of System Specification
2022−2022
Member of Programme Committee, 33rd International Conference on Concurrency Theory (CONCUR 2022)
2022−2022
Co-Chair, 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023)
2021−2021
Member of Programme Committee, 32nd International Conference on Concurrency Theory (CONCUR 2021)
2021−2021
Member of Programme Committee, 12th International Conference on the Theory and Application of Diagrams (Diagrams 2021)
2021−2022
Member of Programme Committee, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
2021−2022
Member of Programme Committee, 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022)
2020−2020
Member of Programme Committee, 25th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS 2020)
2020−2020
Member of Programme Committee, 17th International Conference on Quantum and Physics Logic (QPL 2020)
2020−2020
Member of Programme Committee, 13th International Conference on Graph Transformation (ICGT 2020)
2020−2020
Member of Programme Committee, Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science (SEMSPACE 2020)
2020−2020
Member of Programme Committee and organizer, 7th Symposium on Compositional Structures (SYCO 7)
2020−2020
Member of Programme Committee, 3rd IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, Track B: Logic, Semantics, and Programming Theory (TTCS 2020)
2020−2020
Chair, 4th Workshop on String Diagrams in Computation, Logic, and Physics (STRINGS 2020)
2019−2019
Member of Programme Committee, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), Track B
2019−2019
Member of Programme Committee, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)
2019−2019
Member of Programme Committee, 16th International Conference on Quantum and Physics Logic (QPL 2019)
2019−2019
Member of Programme Committee, 2nd Annual International Conference on Applied Category Theory (ACT 2019)
2019−2019
Member of Programme Committee, International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA 2019)
2019−2019
Member of Programme Committee, Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science 2019 (SEMSPACE 2019)
2019−2019
Programme Committee Chair, 3rd Workshop on String Diagrams in Computation, Logic and Physics (STRINGS 2019)
2019−2019
Member of Programme Committee, 6th Symposium on Compositional Structures (SYCO 6)
2018−2018
Member of Programme Committee, 15th International Conference on Quantum Physics and Logic (QPL 2018)
2018−2018
Member of Programme Committee, 29th Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2018)
2018−2018
Member of Programme Committee, 24th International Workshop on Algebraic Development Techniques (WADT 2018)
2018−2018
Member of Programme Committee, 4th Workshop on Higher Dimensional Rewriting and Aplications (HDRA 2018)
2018−2018
Member of Programme Committee, 1st Symposium on Compositional Structures (SYCO 1)
2018−2018
Member of Programme Committee, 2nd Symposium on Compositional Structures (SYCO 2)
2018−2018
Member of Programme Committee, Workshop on Compositional Approaches in Physics, NLP, and the Social Sciences
2018−2018
Chair, NII Shonan meeting on Diagrammatic Methods for Linear and Nonlinear Systems
2017−2017
Member of Programme Committee, 14th Conference on Quantum Physics and Logic (QPL 2017)
2017−2017
Member of Programme Committee, 28th Conference on Concurrency Theory (CONCUR 2017)
2017−2017
Member of Programme Committee, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
2017−2017
Member of Programme Committee, 28th Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2017)
2017−2017
Member of Programme Committee, 4th International Conference on Tools and Methods of Program Analysis (TMPA 2017)
2017−2017
Member of Programme Committee, 1st Workshop on Recent Advances in Concurrency and Logic (RADICAL 2017)
2017−2017
Member of Programme Committee, 3rd Workshop on Higher-Dimensional Rewriting and Applications (HDRA 2017)
2017−2017
Chair, 1st Workshop on String Diagrams in Computation, Logic, and Physics (STRINGS 2017)
2017−2017
Member of Programme Committee, Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017)
2017−2017
Member of Programme Committee, 3rd International Workshop on Meta Models for Process Languages (MeMo 2017)
Qualifications
Academic degrees
Honours & awards
2021, Paweł Maria Sobociński, invited tutorial speaker, XXXVII Mathematical Foundations of Programming Semantics (MFPS 21)
2019, Paweł Maria Sobociński, Invited speaker, 31st Nordic Workshop on Programming Theory, NWPT'19
2019, Paweł Maria Sobociński, Invited speaker, International Category Theory Conference 2019
2018, Paweł Maria Sobociński, Invited speaker, 2nd Workshop on Open Games
2018, Paweł Maria Sobociński, Invited Lecturer, Applied Category Theory Research School, Lorentz Center, Leiden, Netherlands
2017, Paweł Maria Sobociński, Invited tutorial speaker, 28th Int. Conference on Concurrency Theory (CONCUR 2017)
2017, Paweł Maria Sobociński, Invited speaker, Workshop on Compositional Methods for Network Diagrams and Component-Based Systems, Bellairs Institute
2017, Paweł Maria Sobociński, Invited speaker, Workshop on Hopf Algebras in Kitaev’s Quantum Double Models: Mathematical Connections from Gauge Theory to Topological Quantum Computing and Categorical Quantum Mechanics, Perimeter Intitute
2017, Paweł Maria Sobociński, Invited speaker, 10th Interaction and Concurrency Experience (ICE 2017)
2017, Paweł Maria Sobociński, Invited lecturer, 2017 Midlands Graduate School (MGS 2017)
2017, Paweł Maria Sobociński, Invited lecturer, 22nd Estonian Winter School in Computer Science (EWSCS 2017)
2017, Paweł Maria Sobociński, Invited lecturer, PhD-open, Open lectures for PhD students in computer science, University of Warsaw
2016, Paweł Maria Sobociński, Invited speaker, Workshop on Compositionality, Simons Institute
2016, Paweł Maria Sobociński, Invited speaker, 2nd Workshop on Higher-Dimensional Rewriting and Applications (HDRA 2016)
2015, Paweł Maria Sobociński, Invited speaker, 11th International Workshop on Developments in Computational Models (DCM 2015)
2015, Paweł Maria Sobociński, Invited tutorial speaker, 12th Int. Conference on Quantum Physics and Logic (QPL 2015)
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P170 Computer science, numerical analysis, systems, control ; SPECIFICATION: applied category theory
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.4. Mathematics; CERCS CLASSIFICATION: P110 Mathematical logic, set theory, combinatories
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.4. Mathematics; CERCS CLASSIFICATION: P120 Number theory, field theory, algebraic geometry, algebra, group theory
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P175 Informatics, systems theory
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P176 Artificial intelligence
Additional information
Supervision of postdoctoral researchers
-
01.11.2019−30.06.2022 Edward Morehouse "arvutiteadus" (Tallinn University of Technology)
-
01.01.2020−30.06.2022 Fosco Loregian "arvutiteadus" (Tallinn University of Technology)
-
01.10.2020−30.09.2022 Amar Hadzihasanovic "arvutiteadus" (Tallinn University of Technology)
Category
Year
Publication
1.1.
2022
1.1.
2022
1.1.
2021
1.1.
2021
3.1.
2021
3.1.
2021
3.1.
2021
3.1.
2021
3.1.
2021
3.1.
2021
1.1.
2020
3.1.
2020
3.1.
2020
3.1.
2020
1.2.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
5.2.
2019
1.1.
2018
3.1.
2018
3.1.
2018
3.1.
2018
3.1.
2018
1.1.
2017
1.1.
2017
3.1.
2017
3.1.
2017
6.8.
2017
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
1.1.
2015
1.1.
2015
1.1.
2015
6.8.
2015
1.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
1.1.
2013
3.1.
2013
3.1.
2013
3.1.
2012
1.1.
2011
3.1.
2011
3.1.
2011
1.1.
2010
3.1.
2010
4.1.
2010
6.8.
2010
1.1.
2009
3.1.
2009
3.1.
2009
3.1.
2009
6.8.
2009
1.1.
2008
3.1.
2008
3.1.
2008
1.1.
2007
1.1.
2007
3.1.
2007
3.1.
2007
1.1.
2006
1.1.
2006
3.1.
2006
1.1.
2005
1.1.
2005
1.1.
2005
1.1.
2005
3.1.
2005
3.1.
2005
1.1.
2004
1.1.
2003
3.1.
2003
1.1.
2002
25.03.2022
Otsi projekti
Asutus on projekti finantseerija
Asutus on projekti teostaja
Kõik
Tavaprojektid
Ülemprojektid
Alamprojektid
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
- Leitud 2 kirjet
Programm | Liik | Number | Nimi | Projekti algus | Projekti lõpp | Vastutav täitja | Asutus | Finantseerijapoolne rahastamine | |
---|---|---|---|---|---|---|---|---|---|
PRG | PRG1210 | Automaadid: õppimine, interaktsioon ja konkurentsus (ALICE) | 01.01.2021 | 31.12.2025 | Paweł Maria Sobociński | Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut | 475 750,00 EUR | ||
1.1.5. | EITSA18017 | IT Akadeemia programmi IKT teaduse toetusmeede perioodiks 2018-2022: Tarkvara usaldusväärsus | 01.01.2018 | 31.08.2023 | Paweł Maria Sobociński | Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut | 1 864 416,00 EUR |