ProfessorsProfessors of Queen Mary University of LondonDino Distefano

Dino Distefano

Queen Mary University of London

H-index: 25

Europe-United Kingdom

About Dino Distefano

Dino Distefano, With an exceptional h-index of 25 and a recent h-index of 14 (since 2020), a distinguished researcher at Queen Mary University of London, specializes in the field of Software Verification, Program Analysis, Programming Languages, Formal Methods, Logic.

His recent articles reflect a diverse array of research interests and contributions to the field:

InfERL: scalable and extensible Erlang static analysis

FAUSTA: scaling dynamic analysis with traffic generation at whatsapp

Static resource analysis at scale

Dino Distefano Information

University	Queen Mary University of London
Position	Facebook and
Citations(all)	4079
Citations(since 2020)	1259
Cited By	3430
hIndex(all)	25
hIndex(since 2020)	14
i10Index(all)	31
i10Index(since 2020)	16
Email	Access Email
University Profile Page	Queen Mary University of London
Google Scholar	View Google Scholar Profile

Dino Distefano Skills & Research Interests

Software Verification

Program Analysis

Programming Languages

Formal Methods

Logic

Top articles of Dino Distefano

Title	Author(s)	Publication Date
InfERL: scalable and extensible Erlang static analysis	Ákos Hajdu Matteo Marescotti Thibault Suzanne Ke Mao Radu Grigore ...	2022
FAUSTA: scaling dynamic analysis with traffic generation at whatsapp	Ke Mao Timotej Kapus Lambros Petrou Ákos Hajdu Matteo Marescotti ...	2022/4/4
Static resource analysis at scale	Ezgi Çiçek Mehdi Bouaziz Sungkeun Cho Dino Distefano	2020