연구실 목록
Uli Fahrenberg 교수 연구실
Model Checking and Synthesis
정보 출처2026. 10. 31. 확인
대학원 지원 마감
형식기법연구소
Master in Computer Science
2027-28France Excellence Eiffel scholarship — internal deadline
2026년 11월 26일
이 날짜는 Eiffel 장학금 학내 마감(석사 코디네이터에게 연락) · 정규 지원은 2027년 2월부터 별도, 2027 Inception 일정은 아직 미공지
소개
파리사클레 대학교 형식기법연구소 소속 Uli Fahrenberg 교수의 등록된 연구 분야는 Formal models of computation, Games, Logic & decision problems, Expressiveness, Satisfiability/Realizability, Satisfiability modulo theories (SMT), Decidability/Complexity, Automated system design입니다.
연구 키워드
Formal models of computationGamesLogic & decision problemsExpressivenessSatisfiability/RealizabilitySatisfiability modulo theories (SMT)Decidability/ComplexityAutomated system design
같은 학과의 다른 연구실
- 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
- Jean Goubault-Larrecq 교수 연구실
- Thomas Nowak 교수 연구실