-
understanding of electrical and electromagnetic phenomena, the related modelling methods and relevant practical applications. We are the largest university-level teaching organization in our field in Finland
-
research interests encompass a broad range of topics, including discrete mathematics, finite model theory, and the complexity of logical systems, as well as the foundations of AI, explainability, and answer
Searches related to model checking
Enter an email to receive alerts for model-checking positions