Debasmita Lohar

Debasmita Lohar

PhD Student

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 PhD student under the supervision of Dr. Eva Darulova at Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, Germany.

My primary research areas are: Program Analysis, Approximate Computing, Bounded Model Checking.

Prior to this, I have completed Master of Science (MS) by Research under the supervision of Dr. Soumyajit Dey in the Department of Computer Science & Engineering of Indian Institute of Technology, Kharagpur, India.

Research Activities


  • I won the Best Presentation Award at the iFM PhD Symposium 2019.

  • The Probabilistic Error Analysis presented at iFM 2019 is now available in GitHub.

  • We are offering summer internship. Interested students can apply through DAAD Rise portal. The description of the project can be found here.

  • Our benchmarks are available for download now.

  • Research Tools

  • Daisy: a framework for verifying and optimizing numerical programs

  • ProPFA: Probabilistic Path-based Failure Analyzer

  • MS Thesis

    Formal Methods for Probabilistic Failure Analysis of Behavioral Specifications

    Download Thesis


    View on DBLP

    Selected Projects

    Memory Safety Verification of FreeRTOS protocols

    Automated Reasoning Group, Amazon Web Services (AWS), Boston, United States
    Supervisor: Mark Tuttle
    Duration: May 2019 - July 2019

    This project was focused on verifying memory safety of network protocols of Amazon's FreeRTOS using Bounded Model Checking. All proofs are available in Github.

    Automated Verification and Approximation

    Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, Germany
    Supervisor: Dr. Eva Darulova
    Duration: July 2016 - September 2016

    The motivation of this project was to statically infer properties of a program in presence of imprecise probabilistic inputs. The probabilistic analysis can be found in Github.

    RTOS Validation and Development Support

    Indian Institute of Technology (IIT), Kharagpur, India
    Supervisors: Prof. (Dr.) Pallab Dasgupta and Dr. Soumyajit Dey
    Sponsor: Hindustan Aeronautics Limited
    Duration: October 2015 - June 2016

    This project was focused on formal verification of a real time operating system of a safety critical avionic system.

    Architecture and Algorithmic Optimizations for Speech based Communication Interfaces on Mobile Devices

    Indian Institute of Technology (IIT), Kharagpur, India
    Supervisor: Dr. Soumyajit Dey
    Sponsor: Intel Semiconductor (US) Limited
    Duration: September 2013 - January 2016

    The main objective of this project was to present a hardware-software co-processing speech recognizer where the hardware accelerator would accelerate computationally intensive parts of the algorithm.

    web counter free