Snail mail: Am Campus 1, 3400 Klosterneuburg, Austria
Email: mahyar.karimi (at) ist (dot) ac (dot) at
I'm interested in topics from formal methods and verification. My focus so far has been on runtime verification (in particular, monitoring), and verifiable machine learning. I like to explore formal methods in its other directions as well.
Please visit my Google Scholar page. You can identify me with my ORCID iD.