20032022

Research activity per year

Personal profile

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being
  • SDG 7 - Affordable and Clean Energy
  • SDG 13 - Climate Action

Education/Academic qualification

Computer Science and Engineering, Ph.D., Online Testing of Real-time Systems

1 Aug 200330 Jun 2010

Award Date: 25 Jun 2010

Keywords

  • Work and Labour Market
  • embedded systems
  • formal methods
  • real-time systems
  • software validation
  • testing
  • timed automata
  • program synthesis
  • machine learning
  • verification
  • uppaal
  • C++
  • Java
  • simulation
  • Statistical Analysis
  • statistical model-checking

Fingerprint

The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
  • 1 Similar Profiles

Collaborations from the last five years

Dive into details by clicking on the dots.