dlohar.github.io - Debasmita Lohar

Description: Responsive HTML5 Website landing Page for Developers

Example domain paragraphs

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.

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

View on DBLP

Links to dlohar.github.io (1)