Professor of Computer Science at University of Oxford, UK. Daniel has 15 years of experience in building software verification tools. Author of the CBMC
verification framework. CBMC is used by Siemens, Toyota, Bosch, Blackberry, Tata Group and many more.
Lecturer (Assistant Professor) in Computer Science at
University of Sussex, UK. Significant experience as software
development project lead in the embedded systems industry. Research
track record in program analysis.
Associate Professor of Computer Science at University of Oxford, UK. Vojtech is an expert on systems' performance and reliability. In DiffBlue, he oversees the development of the web application stack, and is part of the team that develops methods for measuring code coverage.
Associate Professor of Computer Science at University of Oxford, UK. His scientific research interests are in the analysis, verification, and control of probabilistic and hybrid systems. In DiffBlue, he oversees the integration of learning with testing and verification.
After obtaining her PhD from the National University of Singapore on the verification of heap manipulating programs, Cristina joined University of Oxford as a research assistant. Her interests and expertise lie in the areas of program verification, program synthesis, software engineering and yoga.
System and Software engineer specializing in full life cycle development of embedded systems. PhD student in Computer Science at Oxford specializing in linear hybrid system analysis. In diffBlue he works on trace generation and machine learning algorithms for error classification.
Software and systems engineer with significant experience in using formal verification in the railway domain. Research track record in formal model-based safety analysis.
Pascal is a PhD student in Computer Science at Oxford, specializing in techniques for improving code coverage and automated repair of errors in programs.
Rajdeep is a PhD student in Computer Science at Oxford, specializing mainly in the automated analysis of hardware design.
Besides working for DiffBlue, Martin is a research assistant at the University of Oxford. He specialises in program abstractions and analysis of floating-point programs.
Daniel is a PhD student in Computer Science at Oxford, specializing in the automated analysis of concurrent programs.
Joyita's experience spans startups to the BBC to stock exchange trading systems, her interests are in user centered design, responsive frameworks and data visualisation
Chris' PhD examined partial evaluation from a systems perspective, executing FS-related syscalls at specialisation time and verifying the results at runtime. Most recently he worked for Cancer Research UK improving various biological software.
Marcelo is a PhD student in Computer Science at Oxford, specializing in analysis of code whose correctness depends on relations between objects (such as Java's Comparator interfaces) and in concurrent software.