³» ÇÁ·ÎÇÊ ¸¸µé±â
°ø°³ ¾×¼¼½º
¸ðµÎ º¸±âÀÚ·á 1°³
ÀÚ·á 0°³
°ø°³
ºñ°ø°³
ÀçÁ¤ Áö¿ø ¿ä±¸»çÇ× ±âÁØ
°øµ¿ ÀúÀÚ
- Andrew KennedyFacebook Londonfb.comÀÇ À̸ÞÀÏ È®ÀεÊ
- Martin HylandProfessor of Mathematical Logic, Cambridgedpmms.cam.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Gavin BiermanOracleoracle.comÀÇ À̸ÞÀÏ È®ÀεÊ
- Neelakantan R. KrishnaswamiUniversity of Cambridgecl.cam.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Valeria de PaivaUniversity of Birminghamtopos.instituteÀÇ À̸ÞÀÏ È®ÀεÊ
- Chung-Kil HurSeoul National Universitysf.snu.ac.krÀÇ À̸ÞÀÏ È®ÀεÊ
- Luca CardelliUniversity of Oxfordcs.ox.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Vivek NigamAppleapple.comÀÇ À̸ÞÀÏ È®ÀεÊ
- John HughesProfessor of Computer Science and Engineering, Chalmers Universitychalmers.seÀÇ À̸ÞÀÏ È®ÀεÊ
- Cédric FournetMicrosoft Researchmicrosoft.comÀÇ À̸ÞÀÏ È®ÀεÊ
- Lennart BeringerPrinceton Universitycs.princeton.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Claudio RussoMicrosoft Research Ltdmicrosoft.comÀÇ À̸ÞÀÏ È®ÀεÊ
- Eugenio MoggiProfessor of Computer Science, Genova Universityunige.itÀÇ À̸ÞÀÏ È®ÀεÊ
- Philip WadlerUniversity of Edinburgh and IOHK/IOGinf.ed.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Conor McBrideReader, University of Strathclydestrath.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Jan HoffmannCarnegie Mellon Universitycmu.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Pierre-Evariste DagandCNRSevr.istÀÇ À̸ÞÀÏ È®ÀεÊ
- nicolas tabareauInriainria.frÀÇ À̸ÞÀÏ È®ÀεÊ
- Lars BirkedalDept. of Computer Science, Aarhus Universitycs.au.dkÀÇ À̸ÞÀÏ È®ÀεÊ
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin Citiesumn.eduÀÇ À̸ÞÀÏ È®ÀεÊ