Cooperation

The Department of Software Science aims to be a partner to:

enterprises, offering research-based practical solutions via joint research and development project and co-supervision of theses on all levels of university education;
the society and the state, as a responsible visionary and authoritative professional adviser, offering research based and practically relevant expert advice that is in accordance with the professional ethics of engineers and researchers;
other universities and academic organisations, contributing jointly to advancing the boundaries of research and technology.

On the School of IT website you can find information about ways of cooperation between the university and partner and also how we ensure the confidentiality of information. The Department of Software Science research groups competences are divided into the following fields of cooperation:

ARTIFICIAL INTELLIGENCE AND LANGUAGE TECHNOLOGIES

Applied Artificial Intelligence Group
Machine learning, automated commonsense reasoning, ontology based reasoning, AI methods in spatial data analysis, recommendation systems, logic-based software systems, robotics software, control , navigation and mapping of manipulators
High-assurance Software Laboratory: Formal methods group
Software verification and testing, navigation of autonomous land and water vehicles, movements-based health diagnostics
Laboratory of Language Technology
Natural language processing (NLP), speech technology, phonetics, speech corpora, deep learning applications
Nonlinear Control Systems Group
Non-linear control systems, algebraic methods, power systems, time series analysis
AIRE - AI & Robotics Estonia
Research groups from the Department of Software Science participate in a number of collaborative projects through AIRE

Centre for Digital Forensics and Cyber Security
Cyber security, digital forensics, cryptography, cyber incident handling and cyber security exercises
Trustworty Software Technologies: : Compositional Systems and Methods group
Compositionality, programming languages, trustworthy software, string diagrams, proof systems, relational methods, quantum computing
Trustworty Software Technologies: Logic and Semantics group
Functional and dependently-typed programming, software verification and testing, formal languages and compiler technologies

Laboratory for Proactive Technologies
Cyber-physical-systems, spontaneous sensor networks, deep learning, supranational comprehensive situational awareness, artificial vision, segmentation in 2D and 3D environments
Nonlinear Control Systems Group
Non-linear control systems, algebraic methods, power systems, time series analysis

Applied Artificial Intelligence Group
Machine learning, automated commonsense reasoning, ontology based reasoning, AI methods in spatial data analysis, recommendation systems, logic-based software systems
Information Society Technologies
Architecture of data interoperability frameworks, over public service design, eIDAS frameworks, eID user acceptance, e-court systems, blockchain-based e-governance, frameworks for collective intelligence, Big Data and IoT integration, web annotations and Open Linked Data, large-scale decision support systems

Centre for Digital Forensics and Cyber Security
Cyber security, digital forensics, cryptography, cyber incident handling and cyber security exercises
Information Society Technologies
Architecture of data interoperability frameworks, over public service design, eIDAS frameworks, eID user acceptance, e-court systems, blockchain-based e-governance, frameworks for collective intelligence, Big Data and IoT integration, web annotations and Open Linked Data, large-scale decision support systems
Next Gen Digital State Research Group
Public sector digital transformation, development of public services, data ex-change platforms and automation

Business Information Technology Group
Professional applications, depend-able, interoperable and evolutionarily changeable enterprise applications, business software, future professionals, professional education