Andrew Habib

E-mail: [firstname].a.[lastname][at]
Phone: +49-6151-1622391

TU Darmstadt
Software Lab
Mornewegstrasse 32, Room 4.3.08
64293 Darmstadt, Germany

About me

I am a research assistant and PhD student at the Software Lab (SOLA), TU Darmstadt, where I am advised by Prof. Dr. Michael Pradel. My chief interest is security and reliability of software systems. This includes static and dynamic program analysis and transformation, [automatic] debugging and testing, information flow control, programming languages, abstract interpretation, formal methods, analysis and verification of security protocols and related topics.


  • Oct. 2015 - Present Research Assistant and PhD Student at TU Darmstadt, Germany
  • Aug. 2013 - July 2015 Master of Science (M.Sc.) in Engineering, Security, and Mobile Computing (NordSecMob), with a double degree from
    • The Technical University of Denmark (DTU), Denmark; focus: reliable software systems
    • The Norwegian University of Science and Technology (NTNU), Norway; focus: information security
  • Sept. 2006 - June 2011 Bachelor of Science (B.Sc.) with double major in Computer Science and Mathematics from The American University in Cairo (AUC), Egypt
    • Summer 2008 Exchange student at Portland State University (PSU), Portland, Oregon, USA


ASE 2018 How Many of All Bugs Do We Find? A Study of Static Bug Detectors
Andrew Habib, Michael Pradel
ASE 2018 Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning
Andrew Habib, Michael Pradel
OOPSLA 2016 Finding Concurrency Bugs Using Graph-Based Anomaly Detection in Big Code
Andrew Habib

Previous Work

  • Masters Thesis: A Typing System for AIF Set-Based Abstraction
    Supervisor Professor: Sebastian Mödersheim
  • Independent Research: Adopting the Decentralized Label Model (DLM) to C Language
    Supervisor Professor: Flemming Nielson
  • Informal Poster Session: More than 20 Years of Shellshock
    NordSec 2014, Tromsø, Norway