See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
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

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

Juhendamisel väitekirjad

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

Publikatsioonid

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
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

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

 
 
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

Dissertations under supervision

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)

Publications

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

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
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
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
PRGPRG1210Automaadid: õppimine, interaktsioon ja konkurentsus (ALICE)01.01.202131.12.2025Paweł Maria SobocińskiTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut475 750,00 EUR
1.1.5.EITSA18017IT Akadeemia programmi IKT teaduse toetusmeede perioodiks 2018-2022: Tarkvara usaldusväärsus01.01.201831.08.2023Paweł Maria SobocińskiTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut1 864 416,00 EUR