Not getting noticed by recruiters?
Personalise & tailor resume for every job you apply
Visit any jobs page and click on magic cap button to generate a tailored resume from your regular resume
Use ChatGPT to customise your resume for every job that you apply to
Use AI to auto fill job forms
Ask for Referral for any job post
Dino Distefano
Research Engineer at Anthropic and Professor of Software Verification at Queen Mary University of London
About
Dino Distefano is an Engineering Manager at Facebook and a Full Professor of Software Verification at Queen Mary University of London. He is also the co-inventor of Infer, an open-source static analyzer for C/ObjectiveC/C++/Java. With over 19 years of relevant experience, Dino's research focuses on automatic software verification, program analysis, and automatic detection of critical software bugs such as null pointer de-reference and memory leaks. Dino has direct experience with program analysis tools development and has been involved in the development of several automatic program analyzers, including jStar, Terminator, SLAyer, and Space Invader. He specializes in the design and development of automatic software verification tools and program analyzers using OCaml. His expertise also includes formal verification, model checking, abstract interpretation, shape analysis, numerical analysis, termination analysis, and programming languages such as OCaml, Java, and C. Dino's contributions to the field of software verification have been recognized by several international conferences, and he has served as a program committee member for various conferences such as 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, and ISMM 2009. Dino has been featured in various press coverages, including 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”, and Catania Today. Dino holds a PhD in Computer Science from the University of Twente and an MSc in Computer Science from the Università di Pisa. He has worked as a Senior Software Engineer and Research Scientist, and he is also the Co-Founder and Chief Science Officer of Monoidics Ltd.
Education Overview
• university of twente
• universit di pisa
Companies Overview
• anthropic
• queen mary university of london
• monoidics ltd
• university of london
• university of twente
Experience Overview
21.3 Years
Find anyone’s contact
Experience
No data found
Skills
Boost your visibility and stand out to employers with referrals from your LinkedIn connections.
Contact Details
Email (Verified)
ddiXXXXXXXXXXXXXXXXukMobile Number
+91XXXXXXXXXXEducation
No data found
Frequently asked questions
What company does Dino Distefano work for?
Dino Distefano works for anthropic
What is Dino Distefano role in their workplace?
Dino Distefano's role in their workplace is Research Engineer
What is Dino Distefano's tenure in their workplace?
Dino Distefano's tenure in their workplace is 0.25 years
What is Dino Distefano's total experience?
Dino Distefano's total experience is 21.33 years
What is Dino Distefano's LinkedIn profile?
What is Dino Distefano's email address?
What is Dino Distefano's phone/WhatsApp number?
What schools did Dino Distefano attend?
Dino Distefano has attended university of twente, universit di pisa
What companies has Dino Distefano worked with?
Dino Distefano has worked with anthropic, queen mary university of london, whatsapp, facebook, monoidics ltd, university of london, university of twente
What are some of Dino Distefano's skills?
Dino Distefano has skills in Collaboration, Design, Education, iOS, Java, Mobile and more.
I don’t want my profile to be displayed. How can I request deletion?
Find anyone’s contact and let Weekday reach out to them on your behalf
Start hiring nowStop manually filling job applications. Use AI to auto-apply to jobs
Look for jobs now
