Jade Alglave
Scholar

Jade Alglave

Google Scholar ID: Rt3myI4AAAAJ
ARM and University College London
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,307
 
H-index
22
 
i10-index
24
 
Publications
20
 
Co-authors
21
list available
Contact
No contact links provided.
Publications
2 items
Ceci n'est pas une pipe: AI systems as semantic abstractions
2026
Cited
0
I hope we don't do to trust what advertising has done to love
2026
Cited
0
Resume (English only)
Co-authors
21 total
Susmit Sarkar
Susmit Sarkar
Professor of Computer Science, University of St Andrews
Michael Tautschnig
Michael Tautschnig
Queen Mary University of London
Daniel Kroening
Daniel Kroening
Amazon
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Patrick Cousot
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
Magnus Myreen
Magnus Myreen
Chalmers University of Technology
Co-author 8
Co-author 8