Debasmita Lohar

“The true measure of success is how many times you can bounce back from failure.” — Stephen Richards

Email: debloh [at] itu [dot] dk

Address: SQUARE Group, Software Engineering Section
IT University of Copenhagen
Rued Langgaards Vej 7, 2300 Copenhagen

About Me

Hi! I am an Assistant Professor in the Software Engineering section at the IT University of Copenhagen.

Before this, I was a Postdoctoral Researcher at the Karlsruhe Institute of Technology, working with Bernhard Beckert. I obtained my PhD from Saarland University in collaboration with the Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, where I was advised by Eva Darulova.

I am generally interested in program analysis, approximate computing, and probabilistic methods, with applications in embedded systems, scientific computing, and machine learning.

Recent Publications

Cost of Soundness in Mixed-Precision Tuning

Anastasia Isychev and Debasmita Lohar — OOPSLA-PACMPL 2025.

Paper Code

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

Samuel Teuber, Debasmita Lohar, and Bernhard Beckert — FMCAD 2025.

Paper Extended Version

Towards Precision-Aware Safe Neural-Controlled Cyber-Physical Systems

Harikishan Thevendhriya, 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

Teaching

Karlsruhe Institute of Technology

Floating-Point Analysis as a part of Formal Systems II: Applications (KIT‑SS25) — Day 1 · Day 2
LLMs in Formal Verification (KIT‑SS25)
Neural Networks in Formal Verification (KIT‑WS24/25)

Saarland University

Advanced Program Analysis (UdS‑SS19)
Program Analysis (UdS‑WS18/19)

Indian Institute of Technology Kharagpur

Fault Tolerant Systems (Spring 2016, 2015, 2014)
Theory of Computation (Fall 2015)
Computer Organization and Architecture Lab (Fall 2014)