Differences

This shows you the differences between two versions of the page.

Link to this comparison view

en:strukt:cs [2016/03/15 02:56]
Tarmo Uustalu [Laboratory of Software Science] lisatud EXCITE info
en:strukt:cs [2016/12/14 17:03] (current)
Tarmo Uustalu [Laboratory of Software Science]
Line 5: Line 5:
 Project administrators: [[en:strukt:inimesed?pid=21|Eve Kann]], phone +372 620 4211, [[en:strukt:inimesed?pid=151|Tiina Laasma]], phone +372 620 4226 Project administrators: [[en:strukt:inimesed?pid=21|Eve Kann]], phone +372 620 4211, [[en:strukt:inimesed?pid=151|Tiina Laasma]], phone +372 620 4226
   
-The [[http://cs.ioc.ee/|Laboratory of Software Science]] is leading Estonian research unit in computer science, more precisely software science.+The [[http://cs.ioc.ee/|Laboratory of Software Science]] is among the leading Estonian research units in computer science, specifically software science.
  
 The research directions of the Laboratory of Software Science are automata theory, functional and dependently typed programming, semantics of programming languages, program analyses and program logics, ontology engineering in information systems, software process improvement, software composition and visual specification, tools for modelling and simulation and cyber defense. The research directions of the Laboratory of Software Science are automata theory, functional and dependently typed programming, semantics of programming languages, program analyses and program logics, ontology engineering in information systems, software process improvement, software composition and visual specification, tools for modelling and simulation and cyber defense.
  
-The Laboratory of Software Science together with the [[phon|Laboratory of Phonetics and Speech Technology]] constituted the IoC team of the [[:en:projektid:excs|Estonian Centre of Excellence in Computer Science, EXCS]]. EXCS was of the seven Estonian national centres of excellence in research 2008-2015 and one of the 12 centres during the period 2011-2015.+The Laboratory of Software Science together with the [[phon|Laboratory of Phonetics and Speech Technology]] constituted the IoC team of the [[en:projektid:excs|Centre of Excellence in Computer Science, EXCS]]. EXCS was of the seven Estonian national centres of excellence in research 2008-2015 (five more centres were added for 2011-2015).
  
-In 2016-2023, the Laboratory of Software Science with the [[cc|Laboratory of Control Systems]] constitutes the IoC team of Excellence in IT in Estonia, EXCITE, one of the nine new Estonian national centres of excellence in research.+From 2016, the Laboratory of Software Science with the [[cc|Laboratory of Control Systems]] is part of [[en:projektid:excite|Excellence in IT in Estonia, EXCITE]], one of the nine new Estonian national centres of excellence in research 2016-2023.