Claire got a PhD in Formal Methods in 1994 and started her career at Bull, joined Trusted Logic in 1999, created Trusted Labs in 2005... Read More