Projects

Machine enabled compliance checking in the legal and financial domain.

Smart software for managing and understanding industrial assets.

Using Semantic Web based technologies to create smarter, automated clinical software.

The automated analysis of software using ontologies and dynamic program information.