Jean Frédéric Etienne Email and Phone Number
Formal Methods Software Engineer
at
Input Output Hk
Jean Frédéric Etienne Company Details
Company
Input Output Hk
Location
Hong Kong, Central And Western District, Hong Kong
Industry
Computer Software
Jean Frédéric Etienne's Experience and Education
Input Output Hk
Formal Methods Software Engineer
2020-10 to Unknown
Hong Kong, Central And Western District, Hong Kong
Formal Methods And Safety Analysis Engineer
2008-10-01 to 2015-12
Paris, île De France, France
Frequently Asked Questions about Jean Frédéric Etienne
What company does Jean Frédéric Etienne work for?
Jean Frédéric Etienne works for Input Output Hk
What is Jean Frédéric Etienne's role in his workplace?
Jean Frédéric Etienne's role in his workplace is
Formal Methods Software Engineer .
Which industry does Jean Frédéric Etienne work in currently?
Jean Frédéric Etienne works in the industry
Computer Software.
What schools did Jean Frédéric Etienne attended?
Jean Frédéric Etienne attended
Conservatoire National Des Arts Et Métiers,
Sorbonne Université,
and
University Of Mauritius.
What are some of Jean Frédéric Etienne's skills?
Jean Frédéric Etienne has skills like
Formal Verification,
Formal Languages,
Model Checking,
Ocaml,
Embedded Systems,
Rams,
Software Development,
C,
Algorithm Optimization,
Coq,
Sat,
Smt,
Theorem Proving,
and
Hazard Analysis.
Who are Jean Frédéric Etienne's peers at other companies?
Jean Frédéric Etienne's peers at other companies are
Jared Corduan,
Daniel Martineau,
Revel Dos Santos,
Priyanka Singh,
Bijendra Sharma,
Alexander Vavilov,
and
Jacob Dybas.