Johannes Borgström 교수 연구 프로필
웁살라 대학교 · 컴퓨팅과학과
소개
웁살라 대학교 컴퓨팅과학과 소속 Johannes Borgström 교수의 등록된 연구 분야는 programming languages, semantics, probabilistic programming, compilation, process calculi, program equivalences, operational semantics입니다.
연구 키워드
같은 학과의 다른 연구실
- 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