Prof. Bengt Jonsson — Research Profile
Uppsala University · Division of Computer Systems, Department of Information Technology
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. Bengt Jonsson at Uppsala University Division of Computer Systems, Department of Information Technology lists formal methods, real-time and distributed systems, semantics of concurrent systems, verification of concurrent systems as their registered research area.
Research keywords
Other labs in this department
- Chang Hyun Park Lab
virtual memory and address translation, cache hierarchy, non-volatile memory, heterogeneous memory systems, virtualization technology, high speed I/O devices
- Christian Rohner Lab
- David Black-Schaffer Lab
performance, computer architecture, memory systems, simulation, runtimes, scheduling, efficiency, active teaching, commercialization
- Didem Gürdür Broo Lab
robotics, multi-agent systems, sustainability, data science, design thinking, future studies, transdisciplinary research, cyber-physical systems, autonomous systems, human-centered design, systems thinking
- José Mairton Barros da Silva Júnior Lab
wireless communications, machine learning, optimization, federated machine learning, distributed machine learning, wireless networks and communications, distributed optimization, 6g
- Konstantinos Sagonas Lab
computer science