연구실 목록
Richard Trefler 교수 연구 프로필
워털루 대학교 · 컴퓨터과학부
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 11. 2. 확인
소개
워털루 대학교 컴퓨터과학부 소속 Richard Trefler 교수의 등록된 연구 분야는 automated reasoning, model checking, embedded systems, automata on infinite objects, analysis of parameterized systems입니다.
연구 키워드
automated reasoningmodel checkingembedded systemsautomata on infinite objectsanalysis of parameterized systems
같은 학과의 다른 연구실
- Ali José Mashtizadeh 교수 연구실
Operating systems, distributed systems, storage
- Anamaria Crisan 교수 연구실
Human-centered AI, data visualization, healthcare data science
- Arne Storjohann 교수 연구실
symbolic and exact linear algebra, Computing matrix canonical forms, Algorithms for sparse and black-box matrices
- Bernard Wong 교수 연구실
Distributed systems and networking
- Bin Ma 교수 연구실
Bioinformatics, protein sequencing algorithms
- Charles Clarke 교수 연구실
Search, information retrieval, data science