Elias Castegren 교수 연구 프로필
소개
Prof. Elias Castegren at Uppsala University Division of Computing Science, Department of Information Technology lists programming languages, parallel programming, theorem proving as their registered research area.
연구 키워드
같은 학과의 다른 연구실
- 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
- Eva Darulova Bruggisser 교수 연구실
programming languages, program verification, program synthesis, approximate computing
- Georgios Fakas 교수 연구실
database, data mining, big data, social networks, geospatial data, database technologies, keyword search and ranking, graphs