³» ÇÁ·ÎÇÊ ¸¸µé±â
°ø°³ ¾×¼¼½º
¸ðµÎ º¸±âÀÚ·á 48°³
ÀÚ·á 1°³
°ø°³
ºñ°ø°³
ÀçÁ¤ Áö¿ø ¿ä±¸»çÇ× ±âÁØ
°øµ¿ ÀúÀÚ
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twentecs.rwth-aachen.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochumrub.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Tim QuatmannRWTH Aachen Universitycs.rwth-aachen.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Matthias VolkAssistant Professor, Eindhoven University of Technologytue.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Ufuk TopcuThe University of Texas at Austinutexas.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Christian DehnertRWTH Aachen Universitycs.rwth-aachen.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen Universitycs.rwth-aachen.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Milan CeskaBrno University of Technologyfit.vutbr.czÀÇ À̸ÞÀÏ È®ÀεÊ
- Murat CubuktepeUniversity of Texas at Austinutexas.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Arnd HartmannsUniversity of Twenteutwente.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, Germanyinformatik.uni-freiburg.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Bernd BeckerProfessor of Computer Science, University of Freiburginformatik.uni-freiburg.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twenteutwente.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Bettina KönighoferAssistant Professor, Graz University of Technology, Austriaiaik.tugraz.atÀÇ À̸ÞÀÏ È®ÀεÊ
- Roman AndriushchenkoPh.D. student, Brno University of Technologyvutbr.czÀÇ À̸ÞÀÏ È®ÀεÊ
- Roderick BloemGraz University of Technologyiaik.tugraz.atÀÇ À̸ÞÀÏ È®ÀεÊ
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, Italyunitn.itÀÇ À̸ÞÀÏ È®ÀεÊ
- Gereon KremerCertora Ltdcs.stanford.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Ulrich LoupRWTH Aachen Universitycs.rwth-aachen.deÀÇ À̸ÞÀÏ È®ÀεÊ
Æȷοì