Scholar
Andrei Popescu
Google Scholar ID: nxOkXN0AAAAJ
University of Sheffield
proof assistants
information flow security
logical foundations
syntax with bindings
datatypes
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,191
H-index
24
i10-index
51
Publications
20
Co-authors
17
list available
Publications
1 items
Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
2026
Cited
0
Co-authors
7 total
Jasmin Blanchette
Ludwig-Maximilians-Universität München
Dmitriy Traytel
University of Copenhagen
Grigore Rosu
University of Illinois at Urbana Champaign
Nicholas Smallbone
Chalmers University of Technology
Daniel GAINA
Institute of Mathematics for Industry, Kyushu University
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Helmut Seidl
Professor für Informatik, School of CIT, TU München
