Vladimir Krsmanovic
Contact
| Reactive Systems Group |
| CISPA Helmholtz Center for Information Security |
| Saarland University Campus |
| Building: E 9.1, Room: 1.12 |
| Phone: |
+49 681 87083 2549 |
| eMail: |
vladimir.krsmanovic at cispa.de |
| Office Hours: |
Whenever my door is open |
About Me
I am a graduate student at Saarland University working with the Reactive Systems Group at CISPA Helmholtz Center for Information Security .
Most of my work focuses on how we can combine symbolic methods and deep learning. My work generally (but not completely) falls in these directions:
- Neural Guided Symbolic Methods: How can we use deep learning to help improve formal methods
- Symbolically Regularized Neural Methods: How can we use formal methods to help improve deep learning methods
I also work on applying formal methods and deep learning to real life problems, such as law and regulations, autonoums systems and real life hardware.
Teaching
| Winter 2024 |
Assistant for Automata, Games, Verification course at the Reactive Systems Group. |
| Winter 2023 |
Assistant for Verification course at the Reactive Systems Group. |
| Summer 2022 |
Assistant for “Theorethical Computing” course at University of Novi Sad, Faculty of Sciences |
Are you a student at UdS and looking to do a bachelor or master thesis in verification or deep learning for formal methods? If so, feel free to write me an email with a short introduction about yourself and what you are interested in.
| “[VK24]” |
Contrastive Neural Model Checking Master Thesis. Saarland University, 2024. |
