Debasmita Lohar

Debasmita Lohar

Postdoctoral Researcher



The true measure of success is how many times you can bounce back from failure.  - Stephen Richards
Contact Me

About Me

Hello! I am a Postdoctoral Researcher in the Application-oriented Formal Verification group led by Prof. Dr. Bernhard Beckert at KASTEL -- Institute of Information Security and Dependability, Karlsruhe Institute of Technology.

I did my PhD at Saarland University in collaboration with the Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, under the supervision of Assoc. Prof. Dr. Eva Darulova.

My primary research areas are: Program Analysis, Approximate Computing, Probabilistic Analysis.

News

  • Our paper on Guaranteeing Safe Control under Finite Precision has been accepted at FMCAD 2025.

  • I have an open master's thesis project. Check out the call for topics.

  • We are organizing a research seminar on LLMs in Formal Verification for Computer Science Masters at KIT.
  • Publications

    • Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision, Samuel Teuber, Debasmita Lohar, and Bernhard Beckert, accepted at FMCAD 2025.

    • Towards Precision-Aware Safe Neural-Controlled Cyber-Physical Systems, Harikishan T S, Sumana Ghosh, and Debasmita Lohar, ESWEEK-ESL 2024. (Preprint) (Presentation) (Tool: Nexus)

    • Sound Mixed Fixed-Point Quantization of Neural Networks, Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, and Eva Darulova, ESWEEK-TECS 2023. (Paper) (Presentation) (Tool: Aster)

    • A Two-Phase Approach for Conditional Floating-Point Verification, Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, and Maria Christakis, TACAS 2021. (Paper) (Talk) (Tool: Blossom)

    • Sound Probabilistic Numerical Error Analysis, Debasmita Lohar, Milos Prokop, and Eva Darulova, iFM 2019. (Paper) (Presentation) (Tool: PrAn)

    • Discrete Choice in the Presence of Numerical Uncertainties, Debasmita Lohar, Eva Darulova, Sylvie Putot, and Eric Goubault, ESWEEK-TCAD 2018. (Paper) (Presentation) (Code)

    • Work-in-Progress: Verifying Stability Guarantees of Control Software Implementations in the Presence of Sensor Level Faults, Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, and Soumyajit Dey, EMSOFT 2017. (Paper)

    • Failure Estimation of Behavioral Specifications, Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, and Soumyajit Dey, SETTA 2016. (Paper) (Tool: ProPFA)

    • Integrating Formal Methods with Testing for Reliability Estimation of Component Based Systems, Debasmita Lohar and Soumyajit Dey, ISSRE 2015. (Paper)

    View on DBLP

    web counter free