Department of Computer Science
Main research areas:
- Formal methods: deductive verification, model based testing, model checking
- Semantics of programming languages, category theory, program transformations, program synthesis
- Machine learning: evolutionary algorithms, neural networks, automata learning
- Automated theorem proving, constraint solving, planning with time and resource constraints, planning with partial knowledge
- Knowledge representation, ontology, semantic web
Keywords:
testing and verification of embedded and dependable systems, modelling real-time and hybrid dynamic systems, on-line testing, model learning, model-based tester synthesis, swarm intelligence, distributed coordination algorithms, human-machine interactions, human adaptive robotics, self-learning assistive medical robots.
Current projects
- EU FP6 IST STREP no 045255 „Knowledge Environment for Interacting ROBOt SWARMs“ (2006-2009)
- EU EUREKA ITEA 2 project D-MINT “Deployment of Model-Based Technologies to Industrial Testing” (2008-2010)
- EU FP6 IST NOE project no 507728 European Robotics Research Network EURON-II
- Embedded systems test, verification and debug (Technology Development Centre ELIKO, 2008-2009)
- Nordic Research Board project „Nordic Network on Dependability - NODES“ (2006-2011)
- Laboratory for Synthesis and Analysis of Embedded Systems – ASSA. (Enterprise Estonia, 2005-2008).
- Advanced Rescuing through Global Ontologies, Navigation, Assisted Decision-Making, and UbiquiTous Sensing - ARGONAUTS, (Archimedes project no EU28690 2008)
External relations
Tokyo Denki University, Japan
MicroSoft Research, Redmond, USA
Technical University of Berlin, Germany
Fraunhofer Institute FOCUS, Germany
Linköping University, Sweden
Royal Institute of Technology, Sweden
Tampere University of Technology, Finland
TUCS, Finland
Oulu University, Finland
TKK, Finland
INRIA, France
Oslo University, Norway
University of Genova, Italy
Technical University of Denmark, Denmark