Nestor Catano

MICS Student


Software engineer with extensive experience in Java, Objective Caml, Python, Lisp, and Scheme. Interested in leveraging strong technical skills and current studies in cybersecurity in a security engineering role.


Software Development


I am a software engineer and a computer scientist; my main research area is the use of formal methods for software engineering. I specialize in program specification and verification using JML and design-by-contract, and in the use of correctness-by-construction techniques with Event-B to develop critical systems. My main research goal is to use formal methods techniques and to develop software tools that improve the quality of software systems.

I earned a PhD in Computer Science from The University Paris 7. I am currently part of the Master in Information and Cybersecurity at UC Berkeley

Last updated:

January 21, 2021