연구실 목록
Xiyue Zhang 교수 연구 프로필
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 10. 31. 확인
대학원 지원 마감
컴퓨터과학부
PhD / MSc by research in Computer Science
September 2027Overseas applicants
2027년 7월 31일
지원 마감
Home applicants
2027년 8월 16일
지원 전 지도교수 적합성 양식(Supervisor Suitability Form) 제출 필요. 대학 장학금(Bristol PGR Scholarships) 2027 마감은 아직 미공지
출처: bristol.ac.uk2026년 11월 2일 확인
소개
브리스톨 대학교 컴퓨터과학부 소속 Xiyue Zhang 교수의 등록된 연구 분야는 Trustworthy AI, Code Generation, Formal Verification, Software Engineering for AI입니다.
연구 키워드
Trustworthy AICode GenerationFormal VerificationSoftware Engineering for AI
같은 학과의 다른 연구실
- Aaron Zhang 교수 연구실
- Aisling O'Kane 교수 연구실
Human-Computer Interaction
- Alex Kavvos 교수 연구실
Logic and Programming Languages
- Alin Achim 교수 연구실
Statistical Signal Processing, Inverse Problems, Earth Observation, Synthetic Aperture Radar, Biomedical Image Processing
- Alma Oracevic 교수 연구실
- Andrew Calway 교수 연구실
Computer Vision