³» ÇÁ·ÎÇÊ ¸¸µé±â
°ø°³ ¾×¼¼½º
¸ðµÎ º¸±âÀÚ·á 106°³
ÀÚ·á 2°³
°ø°³
ºñ°ø°³
ÀçÁ¤ Áö¿ø ¿ä±¸»çÇ× ±âÁØ
°øµ¿ ÀúÀÚ
- 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ÀÇ À̸ÞÀÏ È®ÀεÊ
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvaniaseas.upenn.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Shuvendu LahiriSenior Principal Researcher, Microsoft Researchmicrosoft.comÀÇ À̸ÞÀÏ È®ÀεÊ
- Shaz QadeerSoftware Engineer, Metameta.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ÀÇ À̸ÞÀÏ È®ÀεÊ
- Petros ManiatisStaff Research Scientist, Googlegoogle.comÀÇ À̸ÞÀÏ È®ÀεÊ
- Nicholas HopperProfessor of Computer Science & Engineering, University of Minnesotaumn.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Æȷοì
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
eecs.berkeley.eduÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö