Debasmita Lohar
Assistant Professor at IT-Universitetet i København
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolDebasmita Lohar is an Assistant Professor in the Software Engineering Section at the IT University of Copenhagen with a decade of research and engineering experience spanning program analysis, probabilistic methods, and approximate computing. She earned her PhD in collaboration with MPI-SWS and has held postdoctoral roles at KIT and research internships at AWS and Microsoft Research, where she applied formal verification and bounded model checking to real-world embedded systems. Her work bridges deep theoretical methods and practical security engineering—evidenced by contributions that add CBMC memory-safety proofs to Amazon FreeRTOS networking code. She mentors students on static and probabilistic analysis and has a track record of translating abstract interpretation and probabilistic analyses into verifiable tools for scientific computing and machine learning workloads. Colleagues describe her as a researcher who consistently brings formal rigor to systems problems that have immediate practical impact.
9 years of coding experience
2 years of employment as a software developer
B.Tech Computer Science and Engineering, B.Tech Computer Science and Engineering at Heritage Institute of TechnologyHigher Secondary Science, Higher Secondary Science at Jadavpur VidyapithDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Universität des SaarlandesMaster of Science (MS) Computer Science and Engineering, Master of Science (MS) Computer Science and Engineering at Indian Institute of Technology, Kharagpur
German, Hindi, Bengali, English
Github Skills (6)
c1710
memory-safety10
security-testing10
cbmc10
formal-verification10
c1110
Programming languages (3)
Github contributions (5)
aws/amazon-freertos
May 2019 - Sep 2019
DEPRECATED - See README.md
Role in this project:
Security Engineer & Automation Engineer
Security Engineer & Automation EngineerContributions:14 commits, 31 PRs, 61 comments in 4 months
Contributions summary:Debasmita's commits primarily focus on adding CBMC memory safety proofs for various functions within the FreeRTOS+TCP library, including DNS and HTTPS client APIs, and TCP-related operations like HandleState, PrepareSend and ReturnPacket. The user is working on the "aws/amazon-freertos" repository, which is a FreeRTOS based project and demonstrating expertise in formal verification and automated testing methods. The changes reveal the user's focus on automated security checks of the code and its behaviour, ensuring memory safety.
markdown
dlohar/daisy
Sep 2018 - Jul 2023
Contributions:1 release, 2 PRs, 23 pushes in 4 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.