³» ÇÁ·ÎÇÊ ¸¸µé±â
°ø°³ ¾×¼¼½º
¸ðµÎ º¸±âÀÚ·á 9°³
ÀÚ·á 0°³
°ø°³
ºñ°ø°³
ÀçÁ¤ Áö¿ø ¿ä±¸»çÇ× ±âÁØ
°øµ¿ ÀúÀÚ
- Marcello BonsangueProfessor of Computer Science, Leiden Universityliacs.leidenuniv.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Alexandra SilvaCornell Universitycornell.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofutwente.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Filippo BonchiCNRS ENS-Lyonens-lyon.frÀÇ À̸ÞÀÏ È®ÀεÊ
- Farhad ArbabProfessor of Computer Science, Leiden Universityliacs.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Catuscia PalamidessiInrialix.polytechnique.frÀÇ À̸ÞÀÏ È®ÀεÊ
- Christel BaierTU Dresdentu-dresden.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Helle Hvid HansenAssociate Professor at University of Groningenrug.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Bart JacobsProfessor of Software Security and Correctness, Radboud University Nijmegencs.ru.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Marjan SirjaniMälardalen Universitymdh.seÀÇ À̸ÞÀÏ È®ÀεÊ
- Davide SangiorgiProfessor of Computer Science, University of Bolognacs.unibo.itÀÇ À̸ÞÀÏ È®ÀεÊ
- Jurriaan RotRadboud Universitycs.ru.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Joost WinterUniversity of Warsawmimuw.edu.plÀÇ À̸ÞÀÏ È®ÀεÊ
- Erik P. de VinkAssociate Professor, Eindhoven University of Technologywin.tue.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Enric Cosme LlópezUniversitat de Valènciauv.esÀÇ À̸ÞÀÏ È®ÀεÊ
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de Valènciauv.esÀÇ À̸ÞÀÏ È®ÀεÊ
- Prakash PanangadenProfessor of Computer Science, McGill Universitycs.mcgill.caÀÇ À̸ÞÀÏ È®ÀεÊ
- Henning BasoldLIACS - Leiden Universityliacs.leidenuniv.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Meng SunProfessor, School of Mathematical Science, Peking Universitymath.pku.edu.cnÀÇ À̸ÞÀÏ È®ÀεÊ