Sudeep Kanav

I am a software developer at heart who has slowly moved to academia in the past few years. I am interested in abstract ideas that can be connected to reality.

Since April 2023, I am a postdoctoral researcher at the Learning in Verification lab in the Faculty of Informatics, Masaryk University, Brno, where I am working with Prof. Jan Křetínský. I am working with the PhD students in the areas of safety of neural networks and explainable representation of strategies for probabilistic models (MDP/POMDP). I did my PhD with Prof. Dirk Beyer at SoSy Lab in LMU, Munich on the topic of cooperative verification.

Before starting my PhD in Oct 2019, I was working as a research scientist at fortiss GmbH from Jan 2016 to Sep 2019. I finished my masters in computer science from TU Munich majoring in formal methods with focus on theorem proving. From Oct 2007 to Mar 2012, I was working as a software developer in Perot Systems, which was later bought by Dell.

Selected Publications

Following is a list of selected publications. Full list can be found on my Google Scholar profile.

Monitizer: Automating Design and Evaluation of Neural Network Monitors CAV 2024

Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretìnskỳ, Stefanie Mohr, and Sabine Rieder

CoVeriTeam Service: Verification as a Service ICSE (Tool Demonstrations) 2023

Dirk Beyer, Sudeep Kanav, and Henrik Wachowitz

Tools

I am a major contributor to the following projects:

CoVeriTeam: a framework for creating and executing tool combinations
CoVeriTeam Service: a webservice for CoVeriTeam
Monitizer: a tool for optimization and evaluation of neural network monitors

Long time back, I also contributed to Isabelle

Academic activities

Reviewing:

TACAS ’20, ESEC/FSE ’20, SEFM ’20, ISOLA ’20, ICSE ’21, VMCAI ’21, TACAS ’21, ESEC/FSE ’21, SEFM ’21, ICSE ’22, TACAS ’22, ESEC/FSE ’22, ISOLA 2024

Artifact evaluation:

CAV ‘22, SPIN ‘24

Service:

Co-organizing the statistical model checking track at AISoLa 2024
Co-organizing the foundations of computing seminar at Faculty of Informatics, Masaryk University
Volunteered at ETAPS 2022
Supported software verification competition 2021 and 2022
Organized a mini-workshop with Georgian students on verification research (Nov 2021)
Helped with the organization of VMCAI 2020 winter school

Teaching

Courses and Seminars:

Seminar: Cooperative Verification in Summer 2022
Seminar: Machine Learning in Software Engineering in Summer 2022
Seminar: Tools for Software Verification in Winter 2021
Seminar: Software Quality Assurance in Summer 2021
Practical: Advanced Software Engineering in Summer 2021
Seminar: Software Quality Assurance in Winter 2020

Thesis Supervision:

Penelope Powers. Mutation based Automatic Program Repair in CPAchecker. LMU Munich, 2022.
Tobias Kleinert. Developing a Verifier Based on Parallel Portfolio with CoVeriTeam. LMU Munich, 2022.