Software Architect
CurrentAssisting several departments in designing and implementing their software control systems using model based engineering methods, where formal verification is a key aspect. Next to this I'm identifying gaps in processes and tooling capabilities, to derive requirements for next generation tooling.