Prof. Mohamed Faouzi Atig — 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. Mohamed Faouzi Atig at Uppsala University Division of Computer Systems, Department of Information Technology lists model checking, verification of infinite-state systems, weak memory models, automata theory as their registered research area.
Research keywords
Other labs in this department
- Bengt Jonsson Lab
formal methods, real-time and distributed systems, semantics of concurrent systems, verification of concurrent systems
- 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