Nestor Catano

Alumni (MICS 2022)

Focus

Security, Software Development, Data Science, Software Verification

Specialization

Cybersecurity
Software Development

Biography

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.