³» ÇÁ·ÎÇÊ ¸¸µé±â
°ø°³ ¾×¼¼½º
¸ðµÎ º¸±âÀÚ·á 59°³
ÀÚ·á 1°³
°ø°³
ºñ°ø°³
ÀçÁ¤ Áö¿ø ¿ä±¸»çÇ× ±âÁØ
°øµ¿ ÀúÀÚ
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twentecs.rwth-aachen.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Sebastian JungesAssistant Professor, Radboud University, Nijmegenru.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Ufuk TopcuThe University of Texas at Austinutexas.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen Universitycs.rwth-aachen.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Bernd BeckerProfessor of Computer Science, University of Freiburginformatik.uni-freiburg.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, Germanyinformatik.uni-freiburg.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Murat CubuktepeUniversity of Texas at Austinutexas.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Thom BadingsPhD Candidate, Radboud Universityru.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Christian DehnertRWTH Aachen Universitycs.rwth-aachen.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Thiago D. SimãoAssistant Professor at Eindhoven University of Technologytue.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Steven CarrUniversity of Texas at Austinutexas.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- Marnix SuilenPhD Candidate, Radboud Universityscience.ru.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twenteutwente.nlÀÇ À̸ÞÀÏ È®ÀεÊ
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College Londoncs.uni-saarland.deÀÇ À̸ÞÀÏ È®ÀεÊ
- Roderick BloemGraz University of Technologyiaik.tugraz.atÀÇ À̸ÞÀÏ È®ÀεÊ
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKcs.ox.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Federico OlmedoUniversity of Chiledcc.uchile.clÀÇ À̸ÞÀÏ È®ÀεÊ
- Hasan A PoonawalaAssistant Professor, Mechanical Engineering, University of Kentuckyuky.eduÀÇ À̸ÞÀÏ È®ÀεÊ
- David ParkerProfessor of Computer Science, University of Oxfordcs.ox.ac.ukÀÇ À̸ÞÀÏ È®ÀεÊ
- Jan KřetínskýMasaryk University Brno; Technical University of Munichfi.muni.czÀÇ À̸ÞÀÏ È®ÀεÊ
Æȷοì
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
rub.deÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö