Andrew Habib

E-mail: [firstname].a.[lastname]
Phone: +49-6151-1622391
TU Darmstadt
Hochschulstrasse 10
Robert-Piloty-Gebäude (S2|02), room D216
64289 Darmstadt

About me

I am a research assistant and PhD student at the Software Lab (SOLA), TU Darmstadt, where I am advised by 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.
Currently, I focus on utilizing ideas and techniques from machine learning to improve software and its development process.

Education and Experience

May – Aug. 2019
Graduate research intern at IBM Research
Thomas J. Watson Research Center, Yorktown Heights, NY, USA
Augmenting machine learning pipelines and hyperparameters search spaces with type checks.
Mentors: Martin Hirzel and Avi Shinnar

Oct. 2015 – Present
Research assistant and PhD student at the Software Lab
TU Darmstadt, Darmstadt, Germany
Superviser: Michael Pradel

Aug. 2013 – July 2015
Master of Science (M.Sc.) in Engineering, Security, and Mobile Computing (NordSecMob)
Coursework on reliable software systems and information security.
    The Technical University of Denmark (DTU), Copenhagen, Denmark
    The Norwegian University of Science and Technology (NTNU), Trondheim, Norway

Jan. 2013 – June 2013
Business Intelligence Consultant at Teradata
EMEA Region, Cairo, Egypt

Summer 2008
Exchange student
Portland State University, Portland, OR, USA

Sept. 2006 – June 2011
Bachelor of Science (B.Sc.) in Computer Science and Mathematics
The American University in Cairo (AUC), Cairo, Egypt


Peer-reviewed Conferences
ASE 2018 How Many of All Bugs Do We Find? A Study of Static Bug Detectors
Andrew Habib, Michael Pradel
[pdf] [slides] [implementation]
ASE 2018 Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning
Andrew Habib, Michael Pradel
[pdf] [slides] [implementation]
Technical Reports, Posters, Theses, etc.
2020 Type Safety with JSON Subschema
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel. Technical Report.
[pdf] [tool]
2019 Neural Bug Finding: A Study of Opportunities and Challenges
Andrew Habib, Michael Pradel. Technical Report.
OOPSLA 2016 Finding Concurrency Bugs Using Graph-Based Anomaly Detection in Big Code
Andrew Habib. Student Research Competition.
[pdf] [poster]
2015A Typing System for AIF Set-Based Abstraction
Andrew Habib. Master thesis, DTU.
Supervised by Sebastian Mödersheim
2014Adopting the Decentralized Label Model (DLM) to C Language
Andrew Habib. Independent research, DTU.
Supervised by Flemming Nielson and Hanne Riis Nielson
NordSec 2014More than 20 Years of Shellshock
Alberto Rico Simal, Andrew Habib, Dheeraj Kumar Bansal. NordSecMob Student poster session.


  • IEEE TSE 2020: Reviewer
  • FSE 2017: Student Volunteer
  • OOPSLA 2016: Student Volunteer