Laure Millet Email & Phone Number | I am a system engineer specialized in formal methods. My professional activities have focused on the development, and verification of high hazard software intensive systems. I work on client projects and research activities that focus on system engineering and safety engineering methodology for compliance with safety-related standards including EN50126, IEC 61508, DO-178C and ISO 26262. My work ranges from proposing practical solutions to meet the standards requirements, developing prototypes, writing functional and technical requirements, developing artifacts for certification and applying new verification methods that include the use of formal methods; thus, ensuring the systems correctness at an early design phase. While I mainly worked for the transport industry (automotive and rail) on the development of safe autonomous systems, I am interested in any complex systems. During my PhD, my research activities were centered on the verification and synthesis of distributed algorithms, with an emphasis on autonomous mobile robot protocols.

Laure Millet

I am a system engineer specialized in formal methods. My professional activities have focused on the...
Canada

*50 free lookup(s) per month.

Laure Millet’s Phone Numbers

Get LAURE’s Phone Number (For Free)

Social Media

Laure Millet’s Location Canada

Laure Millet’s Current Industry Critical Systems Labs

Laure Millet’s Prior Industry Upmc Sorbonne Universities | Lip6 | Laboratoire Dinformatique De Paris 6

Find accurate emails & phone numbers for over 700M professionals.

Software Engineer: Formal Methods Specialist

2016-10-01 00:00:00 - Present

ATER

2015-09-01 00:00:00 - 2016-09-01 00:00:00

PHD student

2012-10-01 00:00:00 - 2015-09-01 00:00:00

Stagiaire

2012-04-01 00:00:00 - 2012-10-01 00:00:00

No Skills Available

No Languages Available

Laure Millet is a I am a system engineer specialized in formal methods. My professional activities have focused on the development, and verification of high hazard software intensive systems. I work on client projects and research activities that focus on system engineering and safety engineering methodology for compliance with safety-related standards including EN50126, IEC 61508, DO-178C and ISO 26262. My work ranges from proposing practical solutions to meet the standards requirements, developing prototypes, writing functional and technical requirements, developing artifacts for certification and applying new verification methods that include the use of formal methods; thus, ensuring the systems correctness at an early design phase. While I mainly worked for the transport industry (automotive and rail) on the development of safe autonomous systems, I am interested in any complex systems. During my PhD, my research activities were centered on the verification and synthesis of distributed algorithms, with an emphasis on autonomous mobile robot protocols.

Laure Millet has prior
experience in the following industries:
Upmc Sorbonne Universities | Lip6 | Laboratoire Dinformatique De Paris 6

Laure Millet has the following professional experience:
Critical Systems Labs | Upmc Sorbonne Universities | Lip6 | Laboratoire Dinformatique De Paris 6