Arnd Hartmanns
University of Twente
Netherlands
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Mathematical Logic
10%
Biostatistics
10%
Mathematics
20%
Computer Science
20%
Discrete Event Systems
10%
Model Checking
10%
Machine Learning
10%
Ask ApplyKite AI
Articles4
Collaborators3
Sean Sedwards
Research Assistant Professor
University of Waterloo
CANADA
Holger Hermanns
Professor
Saarland University
GERMANY
Carlos E. Budde
Assistant professor (RTDa)
University of Trento
ITALY
How do I reach out?
Sign in for free to see their profile details and contact information.