연구실 목록
Anca Jurcut 교수 연구 프로필
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 10. 31. 확인
소개
유니버시티 칼리지 더블린 컴퓨터과학부 소속 Anca Jurcut 교수의 등록된 연구 분야는 formal verification, cybersecurity입니다.
연구 키워드
formal verificationcybersecurity
같은 학과의 다른 연구실
- Abey Campbell 교수 연구실
- Alexey Lastovetsky 교수 연구실
high performance heterogeneous computing, energy efficient computing
- Alzubair Hassan 교수 연구실
cryptography, network security, privacy-preserving in machine learning, adaptive security
- Andrew Hines 교수 연구실
speech, audio, video signal processing, Quality of Experience (QoE)
- Anh Vu Vo 교수 연구실
LiDAR, urban spatial datasets
- Aonghus Lawlor 교수 연구실
Recommender Systems, AI for Sports Science, Medical Imaging