³» ÇÁ·ÎÇÊ ¸¸µé±â
°ø°³ ¾×¼¼½º
¸ðµÎ º¸±âÀÚ·á 102°³
ÀÚ·á 4°³
°ø°³
ºñ°ø°³
ÀçÁ¤ Áö¿ø ¿ä±¸»çÇ× ±âÁØ
°øµ¿ ÀúÀÚ
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeleyeecs.berkeley.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Randal BryantCarnegie Mellon Universitycs.cmu.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI Internationalsri.comÀÇ À̸ÞÀÏ È®ÀεÊ
Wenchao LiAssistant Professor, Boston Universitybu.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Ashish TiwariComputer Scientist, SRI International; Researcher Microsoftcsl.sri.comÀÇ À̸ÞÀÏ È®ÀεÊ
Shuvendu LahiriSenior Principal Researcher, Microsoft Researchmicrosoft.comÀÇ À̸ÞÀÏ È®ÀεÊ
George J. PappasUPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvaniaseas.upenn.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Shaz QadeerSoftware Engineer, Metafb.comÀÇ À̸ÞÀÏ È®ÀεÊ
Natarajan ShankarSRI International Computer Science Laboratorycsl.sri.comÀÇ À̸ÞÀÏ È®ÀεÊ
Ofer StrichmanTechnion, Haifa, Israelie.technion.ac.ilÀÇ À̸ÞÀÏ È®ÀεÊ
Daniel HolcombAssociate Professor, University of Massachusettsengin.umass.eduÀÇ À̸ÞÀÏ È®ÀεÊ
David WagnerProfessor of Computer Science, UC Berkeleycs.berkeley.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Orna KupfermanProfessor of Computer Science, The Hebrew Universitycs.huji.ac.ilÀÇ À̸ÞÀÏ È®ÀεÊ
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. Annasssup.itÀÇ À̸ÞÀÏ È®ÀεÊ
Stephen FreundComputer Science, Williams Collegecs.williams.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Nicholas HopperProfessor of Computer Science & Engineering, University of Minnesotaumn.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Petros ManiatisStaff Research Scientist, Googlegoogle.comÀÇ À̸ÞÀÏ È®ÀεÊ
ÆÈ·Î¿ì
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
eecs.berkeley.eduÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö