Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 31084 | 4938 |
h-rodyklė | 67 | 36 |
i10-rodyklė | 145 | 72 |
Viešas pasiekiamumas
Peržiūrėti viską10 straipsnių
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzPatvirtintas el. paštas cs.ucsc.edu
- John PowerHonorary Professor in Computing, Macquarie UniversityPatvirtintas el. paštas bath.edu
- Glynn WinskelUniversity of CambridgePatvirtintas el. paštas cl.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityPatvirtintas el. paštas cs.mcgill.ca
- Radu MardareProfessor, University of StrathclydePatvirtintas el. paštas strath.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer SciencePatvirtintas el. paštas cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityPatvirtintas el. paštas cs.au.dk
- Luca CardelliUniversity of OxfordPatvirtintas el. paštas cs.ox.ac.uk
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityPatvirtintas el. paštas andrew.cmu.edu
- David MacQueenProfessor Emeritus of Computer Science, University of ChicagoPatvirtintas el. paštas cs.uchicago.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtPatvirtintas el. paštas mathematik.tu-darmstadt.de
- matthew hennessyProfessor of Computer SciencePatvirtintas el. paštas cs.tcd.ie
- Martin HylandProfessor of Mathematical Logic, CambridgePatvirtintas el. paštas dpmms.cam.ac.uk
- Rob van GlabbeekUNSWPatvirtintas el. paštas cs.stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsPatvirtintas el. paštas fmf.uni-lj.si
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaPatvirtintas el. paštas cis.upenn.edu
- Butler LampsonTechnical Fellow, Microsoft ResearchPatvirtintas el. paštas lampsons.us
- John C MitchellProfessor of Computer Science, Stanford UniversityPatvirtintas el. paštas Stanford.edu
- Andrew J. MillarUniversity of EdinburghPatvirtintas el. paštas ed.ac.uk
- Argyris ZardilisSainsbury Laboratory, Cambridge UniversityPatvirtintas el. paštas slcu.cam.ac.uk
Stebėti
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Patvirtintas el. paštas inf.ed.ac.uk