Dino Distefano — Co-Founder

I'm the co-inventor of Infer (fbinfer.com) an open source static analyzer for C/ObjectiveC/C++/Java. Infer was first developed at Monoidics Ltd (up to 2013), and now at Meta. My research focuses on automatic software verification, program analysis, and automatic detection of critical software bugs such as null pointer de-reference and memory leaks. I have direct experience with program analysis tools development. These days I'm mostly involved in research linking programming reasoning techniques with LLM. I spent 5 years leading the Developer Infrastructure Org at WhatsApp. My org was building tools and infrastructure to make WhatsApp developers more efficient in their job while building secure, reliable, and privacy aware software for WhatsApp users. We contributed to the Erlang ecosystem, building tools like EqWAlizer, PrivacyCAT, FAUSTA and others. Before Infer, I was involved in the development of several automatic program analyzers such as: - jStar an automatic verification tool Java programs in collaboration with University of Cambridge - I've collaborated to the developement of Terminator a tool developed at Microsoft Research Lab in Cambridge (see http://research.microsoft.com/TERMINATOR/) -I've collaborated to the developement of SLAyer a tool developed at Microsoft Research Lab in Cambridge (see http://research.microsoft.com/SLAyer/) - Space Invader at University of London. Specialties: Design and development of automatic software verification tools and program analyzers (using OCaml) Formal verification, model checking. Program Analysis: abstract interpretation, shape analysis, numerical analysis, termination analysis, etc. Programming languages: OCaml, Java, C, Python Press Coverage: Fox News; The Guardian; The Telegraph; SBS Radio (Australia); Times Higher Education Magazine; WIRED (Italy); Computer World; PC World; Corriere della Sera; Il Sole 24 Ore; RAI Unomattina; RAI Tg2 Ore 13; Panorama; Radio 2 Caterpillar; Rainews24; ANSA; La Repubblica; La Sicilia; La Gazzetta del Sud; Sicilia & Donna; Il Tirreno; Magazine “I love Sicilia”; Catania Today; InformationAge. Program Committee Member for International Conferences: CAV 2017, NFM 2017, CAV 2015, POPL 2014; FM 2014; FASE 2014; NFM 2012; FM 2012; CONCUR 2011; VMCAI 2011; ICFEM 2011; ESOP 2010; APLAS 2010; SAC 2010; ISMM 2009.

Stackforce AI infers this person is a Software Verification and Program Analysis expert in the tech industry.

Location: London, England, United Kingdom

Experience: 26 yrs 1 mo