³» ÇÁ·ÎÇÊ ¸¸µé±â
°ø°³ ¾×¼¼½º
¸ðµÎ º¸±âÀÚ·á 10°³
ÀÚ·á 0°³
°ø°³
ºñ°ø°³
ÀçÁ¤ Áö¿ø ¿ä±¸»çÇ× ±âÁØ
°øµ¿ ÀúÀÚ
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruzcs.ucsc.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- John PowerHonorary Professor in Computing, Macquarie Universitybath.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Glynn WinskelUniversity of Cambridgecl.cam.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Prakash PanangadenProfessor of Computer Science, McGill Universitycs.mcgill.caÀÇ À̸ÞÀÏ È®ÀεÊ
- Radu MardareProfessor, University of Strathclydestrath.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Marcelo FioreProfessor in Mathematical Foundations of Computer Sciencecl.cam.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Mogens NielsenProfessor of Computer Science, Aarhus Universitycs.au.dkÀÇ À̸ÞÀÏ È®ÀεÊ
- Luca CardelliUniversity of Oxfordcs.ox.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Robert HarperProfessor of Computer Science, Carnegie Mellon Universityandrew.cmu.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- David MacQueenProfessor Emeritus of Computer Science, University of Chicagocs.uchicago.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Klaus KeimelProfessor of Mathematics, Technische Universitaet Darmstadtmathematik.tu-darmstadt.deÀÇ À̸ÞÀÏ È®ÀεÊ
- matthew hennessyProfessor of Computer Sciencecs.tcd.ieÀÇ À̸ÞÀÏ È®ÀεÊ
- Martin HylandProfessor of Mathematical Logic, Cambridgedpmms.cam.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Rob van GlabbeekUNSWcs.stanford.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and Physicsfmf.uni-lj.siÀÇ À̸ÞÀÏ È®ÀεÊ
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvaniacis.upenn.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Butler LampsonTechnical Fellow, Microsoft Researchlampsons.usÀÇ À̸ÞÀÏ È®ÀεÊ
- John C MitchellProfessor of Computer Science, Stanford UniversityStanford.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Andrew J. MillarUniversity of Edinburghed.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Argyris ZardilisSainsbury Laboratory, Cambridge Universityslcu.cam.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
Æȷοì
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
inf.ed.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ