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

Bookkeeping for Bad Angels: Safe Neural Control under Budgeted Updates and Perturbations

Samuel Teuber, Debasmita Lohar, and Bernhard Beckert (Under Review), 2026.

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

Service

Organization

2027: ETAPS Workshops Co-Chair (with Raúl Pardo)
2026: SOAP @ PLDI Co-PC Chair (with Yue Li)

Program Committee and Reviewing

2026: ACM REP'26 PC, Science of Computer Programming Reviewer, SOSYM Reviewer
2025: EMSOFT'25 AEC, PLDI'25 AEC
2024: SETTA'24 PC
Older: CAV'23 AEC, TACAS'22 AEC, CAV'21 AEC, TACAS'21 AEC, EMSOFT'19 Work-in-progress PC

Teaching

Karlsruhe Institute of Technology, Germany

Floating-Point Analysis as a part of Formal Systems II: Applications (Summer 2025) — Day 1 · Day 2
LLMs in Formal Verification (Summer 2025)
Neural Networks in Formal Verification (Winter 2024/2025)

Teaching Assistantship

Advanced Program Analysis (Summer 2019), Saarland University, Germany
Program Analysis (Winter 2018/2019), Saarland University, Germany
Fault Tolerant Systems (Spring 2016, 2015, 2014), Indian Institute of Technology Kharagpur, India
Theory of Computation (Fall 2015), Indian Institute of Technology Kharagpur, India
Computer Organization and Architecture Lab (Fall 2014), Indian Institute of Technology Kharagpur, India