포항공과대학교
Formal Reasoning & Verification Lab
컴퓨터공학과 · 배경민 교수
Formal Methods, Automated Verification, Trustworthy AI, Computational Logic
공개 기준 대기 중3명부터 공개
학교·연구실 이름순
컴퓨터공학과 · 배경민 교수
Formal Methods, Automated Verification, Trustworthy AI, Computational Logic
전자전기공학과 · 유선철 교수
컴퓨터공학과 · 조은경 교수
Human-Computer Interaction, Computer-Supported Cooperative Work, Health Informatics
반도체공학과 · 송재용 교수
컴퓨터공학과 · 고성안 교수
Data Science, LLMs, Visualization, HCI, Social Computing/Science
컴퓨터공학과 · 황인석 교수
Mobile Computing, Human-Computer Interaction, Applied AI
친환경소재학과 · 김경덕 교수
배터리공학과 · 홍지현 교수
산업경영공학과 · 조현보 교수
전자전기공학과 · 백창기 교수
반도체공학과 · 정성웅 교수
전자전기공학과 · 이선규 교수
학교 이메일 확인 후 평가를 남길 수 있습니다. 연구실 소속을 확인한 것은 아닙니다.
후기는 검토와 공개 지연을 거칩니다. 소수 응답은 공개하지 않습니다.
잘못된 정보는 정정하고, 신고·정정 요청과 이의제기를 받습니다.