Software Developer, Formal Methods, and Cybersecurity Specialist with knowledge of programming, including imperative and Object-Oriented programming with JAVA and C. Able to assess, understand and improve code written in PYTHON and PHP. Experienced OCAML functional programmer. LOGICIAN, expert in modeling software and hardware systems using discrete mathematics. Formal methods scientist and tool developer. Expert user of formal methods technology and languages such as EVENT B and JML.