ncc.jpg

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

Last updated:

December 8, 2019