연구실 목록
Jean Goubault-Larrecq 교수 연구실
Topologie et applications informatiques
정보 출처2026. 10. 31. 확인
이 연구실은 아직 소개를 준비 중이에요
지금까지 확인된 정보예요. 곧 더 자세한 소개가 채워질 거예요.
- 학과
- 형식기법연구소
- 교수 소개
- Jean Goubault-Larrecq
대학원 지원 마감
형식기법연구소
Master in Computer Science
2027-28France Excellence Eiffel scholarship — internal deadline
2026년 11월 26일
이 날짜는 Eiffel 장학금 학내 마감(석사 코디네이터에게 연락) · 정규 지원은 2027년 2월부터 별도, 2027 Inception 일정은 아직 미공지
같은 학과의 다른 연구실
- Alain Finkel 교수 연구실
- Burkhart Wolff 교수 연구실
- Frédéric Boulanger 교수 연구실
Model, System, Control, Verification, Validation, Diagnostic, Cyberphysical/Hybrid/Critical systems, Model-driven engineering, Domain Specific Languages, Semantics of Modeling Languages
- Thomas Nowak 교수 연구실
- Uli Fahrenberg 교수 연구실
Formal models of computation, Games, Logic & decision problems, Expressiveness, Satisfiability/Realizability, Satisfiability modulo theories (SMT), Decidability/Complexity, Automated system design