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 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, etc.
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. Poster.

Previous Work

Master thesis, DTU (2015)
A Typing System for AIF Set-Based Abstraction
Supervisor: Sebastian Mödersheim

Independent research, DTU (2014)
Adopting the Decentralized Label Model (DLM) to C Language
Supervisor: Flemming Nielson

Informal poster session, NordSec conference (2014)
More than 20 Years of Shellshock
Tromsø, Norway