معرفی
Bengt Jonsson is a researcher at Uppsala University, Sweden, with a focus on formal verification, concurrency, and automata learning. His work addresses challenges in software testing, protocol verification, and concurrent systems analysis, often collaborating with institutions like KTH Royal Institute of Technology and academic peers such as Parosh Aziz Abdulla and Konstantinos Sagonas.
- Research Fields: Formal Verification, Concurrency, Automata Theory, Software Testing, Distributed Systems, Protocol Verification
Recent publications highlight advancements in stateless model checking, dynamic partial order reduction, and automated detection of state machine bugs in protocol implementations. His 2023 CONCUR Test-Of-Time Award underscores his contributions to theoretical computer science. Collaborative efforts span network protocol analysis, cache performance modeling, and register automata learning, with practical applications in IoT security and multicore parallelization.
- Scientific Awards:
- CONCUR Test-Of-Time Award (2023)
