As a computer scientist, have worked on software quality related aspects including code analysis and process compliance for safety related certifications. Currently studying formal analysis methods for practical implementation.