Quality assessment
The most important first step in taking control of the development of a large software project is to assess the quality of the work done so far. This allows the deployment of targeted measures that either analyse specific parts of the project in-depth or take concrete steps to improve the code base.
Quality assessment encompasses many things, from concrete metrics and performance measures to high-level specification and checking of component design.
|
Pavel Avgustinov Pavel has worked on software quality from the start of his academic career. As an undergraduate, he helped design the abc compiler for AspectJ as an extensible, well-engineered research platform. His doctoral research has centered on language features for runtime verification, which can check a program’s compliance to its specification at runtime. Pavel is part of the team developing the query optimizer at the core of Semmle’s technology. He is also leading the effort of applying ODASA to our code base. Pavel has a BA in Mathematics and Computer Science from the University of Oxford, and will soon complete his doctoral thesis at the same institution. |
|
|
Torbjorn Ekman Torbjorn’s experience in software quality ranges from tool-oriented approaches using static analysis to process-oriented activities in software configuration management. He has been actively researching these subjects with large industrial partners such as ABB, Ericsson, and Telelogic, within the LUCAS centre for applied software research. At Semmle he combines these topics and leads the effort to create integrated analyses for source code, version history, and bug reports. Torbjorn has an MSc in Computer Science and Engineering and a PhD in Computer Science, both from Lund University. |
|
