연구실 목록
Dan Marsden 교수 연구 프로필
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 10. 31. 확인
소개
노팅엄 대학교 컴퓨터과학부 소속 Dan Marsden 교수의 등록된 연구 분야는 logic, category theory, foundations of computer science, monad theory, graphical languages, categorical semantics, finite model theory입니다.
연구 키워드
logiccategory theoryfoundations of computer sciencemonad theorygraphical languagescategorical semanticsfinite model theory
같은 학과의 다른 연구실
- Adam Walker 교수 연구실
- Aislinn Gomez Bergin 교수 연구실
emerging technologies, mental health, Responsible Research and Innovation, Large Language Models
- Alexander Turner 교수 연구실
movement disorders, gait and ambulation, transparent machine learning models
- Alfie Cameron 교수 연구실
responsibility and ethics in technologies, EDI, justice, RRI
- Aly Magassouba 교수 연구실
collaborative robots, natural language processing, multimodal models
- Andrew Crabtree 교수 연구실