Andrei Popescu
Scholar

Andrei Popescu

Google Scholar ID: nxOkXN0AAAAJ
University of Sheffield
proof assistantsinformation flow securitylogical foundationssyntax with bindingsdatatypes
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,191
 
H-index
24
 
i10-index
51
 
Publications
20
 
Co-authors
17
list available
Contact
No contact links provided.
Publications
1 items
Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
2026
Cited
0
Resume (English only)
Co-authors
17 total
Jasmin Blanchette
Jasmin Blanchette
Ludwig-Maximilians-Universität München
Dmitriy Traytel
Dmitriy Traytel
University of Copenhagen
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Grigore Rosu
Grigore Rosu
University of Illinois at Urbana Champaign
Nicholas Smallbone
Nicholas Smallbone
Chalmers University of Technology