Nestor Catano
MICS Student
Focus
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.
Specialization
Cybersecurity
Software Development
Biography
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
