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
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
Co-authors
9 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
Patrick Cousot
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
Magnus Myreen
Magnus Myreen
Chalmers University of Technology
Tyler Sorensen
Tyler Sorensen
Assistant Professor, UC Santa Cruz
Alastair Donaldson
Alastair Donaldson
Imperial College London
Ganesh Gopalakrishnan
Ganesh Gopalakrishnan
Professor of Computer Science, University of Utah