연구실 목록
Lars-Henrik Eriksson 교수 연구 프로필
웁살라 대학교 · 컴퓨팅과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 10. 31. 확인
소개
웁살라 대학교 컴퓨팅과학과 소속 Lars-Henrik Eriksson 교수의 등록된 연구 분야는 programming languages, formal methods, logic in computer science, computer science, computing science, programming입니다.
연구 키워드
programming languagesformal methodslogic in computer sciencecomputer sciencecomputing scienceprogramming
같은 학과의 다른 연구실
- Björn Victor 교수 연구실
cyber security, pedagogical development, process calculi, semantics of computer programs
- Davide Vega D'Aurelio 교수 연구실
natural language processing, data science, game theory, social network analysis, computational social science, information networks, socio-technical systems
- Di Yuan 교수 연구실
network optimisation, mathematical optimisation, communication systems
- Ece Calikus 교수 연구실
data science, computational social science, social data mining, ai and machine learning
- Elias Castegren 교수 연구실
programming languages, parallel programming, theorem proving
- Eva Darulova Bruggisser 교수 연구실
programming languages, program verification, program synthesis, approximate computing