博文
The verification group at Oxford
||||
来源于 :)OXFORD UNIVERSITY COMPUTING LABORATORY
Verification
The verification group at Oxford is internationally recognized as among the largest and strongest in the world. Our work spans a wide range of research, from fundamental investigations into the decidability and complexity of model checking for various types of infinite-state systems, through process calculi, logics and semantic models, all the way to practical, machine-assisted methods applicable to real-world problems and programming languages. We also have strong industrial links. Our key strengths include concurrency, abstraction, industrial-scale hardware verification, software model checking, and verification of real-time and probabilistic systems, with applications in security protocols, power management, nanotechnology, and biology. A major source of impact is the adoption by others of verification tools resulting from our research: FDR (model checker), Casper (security protocol compiler), SatAbs (SAT-based model checker for C with predicate abstraction), CBMC (bounded model checker for C) and PRISM (probabilistic model checker). All are highly cited and widely used in industrial contexts, both for research and teaching.
people
|
Faculty |
Andrew Ker | Daniel Kroening | Marta Kwiatkowska | Gavin Lowe | Tom Melham | Luke Ong | Joel Ouaknine | Bill Roscoe | James Worrell |
|
Research |
Philip Armstrong | Doina Bucur | Chris Chilton | Alastair Donaldson | Matthew Hague | Nannan He | Mark Kattenbelt | Stefan Kiefer | Andrzej Murawski | Gethin Norman | David Parker | Hongyang Qu | Philipp Ruemmer | Ashutosh Trivedi | Thomas Wahl |
|
Students |
Sara Adams | Peter Boehm | Christopher Broadbent | Chris Chilton | Vijay D'Silva | Lu Feng | Matthias Fruth | Christoph Haase | Leopold Haller | Ziyad Hanna | David Hopkins | Mark Jenkins | Alexander Kaiser | Allaa Kamil | Eric Kerfoot | Maneesh Khattri | Tomasz Mazur | Toby Murray | Long Nguyen | Hristina Palikareva | Steven Ramsay | Georg Weissenbacher | Yong Xie |
|
Administration |
info
The Computing Laboratory
https://m.sciencenet.cn/blog-89075-277683.html
上一篇：Linus Torvalds Bio
下一篇：伯努利(Amir Pnueli)
