연구실 목록
Xinyu Wang 교수 연구 프로필
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 11. 2. 확인
대학원 지원 마감
컴퓨터공학과
PhD in Computer Science and Engineering
Fall 2027지원 마감
2026년 12월 15일
지원은 Rackham Graduate School 온라인 지원서로, 가을 입학만
출처: cse.engin.umich.edu2026년 11월 2일 확인MS/MSE in Computer Science and Engineering
Fall 2027지원 마감
2027년 1월 15일
출처: cse.engin.umich.edu2026년 11월 2일 확인
소개
미시간 대학교 컴퓨터공학과 소속 Xinyu Wang 교수의 등록된 연구 분야는 Programming Languages, Formal Methods, Software Engineering입니다.
연구 키워드
Programming LanguagesFormal MethodsSoftware Engineering
같은 학과의 다른 연구실
- Alanson Sample 교수 연구실
Human-computer interaction, wireless technology, embedded systems
- Alexander Rodríguez 교수 연구실
Artificial intelligence, machine learning, multi-agent systems, computational epidemiology, public health
- Amrita Roy Chowdhury 교수 연구실
Cryptography, Differential Privacy, Machine Learning
- Ang Chen 교수 연구실
Systems, networking, security
- Anhong Guo 교수 연구실
Human-computer interaction, artificial intelligence, accessibility, augmented reality, human-AI interaction
- Atul Prakash 교수 연구실
Computer systems security; Security and privacy of machine learning models; trustworthy AI; and trustworthy computing infrastructures