/11 Jul 2019/0 Comments Dr. Claire Loiseaux 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