-
), Mathematics and Modelling (master's program), and a Master of Science program in Engineering Mathematics. In addition to these programs, we are responsible for mathematics and mathematics didactics in about 20
-
mathematics as a major: Applied Mathematics program (bachelor's program), Mathematics and Modelling (master's program), and a Master of Science program in Engineering Mathematics. In addition to these programs
-
combination with machine learning and/or data mining techniques • Explainable AI/ML using visualization • AI/ML-empowered visual analytics of multivariate networks (network embeddings, …) • Large Language Model
Searches related to model checking
Enter an email to receive alerts for model-checking positions