E-Mail: xmukhop@fi.muni.cz
ORCID:
0009-0006-6397-3100Address:
Faculty of Informatics Masaryk University Botanická 68a 602 00 Brno / Česká republika
Diganta Mukhopadhyay
Office: C512
E-Mail: xmukhop@fi.muni.cz
ORCID: 0009-0006-6397-3100
Address:
E-Mail: xmukhop@fi.muni.cz
ORCID:
0009-0006-6397-3100Address:
I started my PhD under Professor Kretinsky at LiVe-Lab in Masaryk University in Brno, Czech Republic in January 2026.
Previously, I was a Researcher at TCS Research in Pune, India.
My research interests revolve around establishing safety of neural networks. To that end, I am interested in monitoring and abstraction of neural networks. Monitoring of neural networks is useful in detecting potentially unsafe situations during runtime, and has the advantage of being highly scalable and not directly dependent on formal safety specifications. Abstraction of neural networks extends the scalability of existing neural network verification techniques, allowing safety to be established for larger networks in more complicated systems.
Research Areas
Runtime Monitoring of Neural Network
We develop runtime monitors for neural networks to improve their reliability.
Abstraction of Neural Network
We abstract neural networks to improve verification speed.