Nestor Catano

Formal methods and cybersecurity researcher with extensive experience in the achievement of research funding and the leading of European research projects. International renowned expert in automated program synthesis for the Event-B formal method. He has recently engaged in program repair for cyber-resilient systems research work. He is the designer and main implementer of the EventB2Java program synthesis tool which is freely available from the Internet. In a previous life, he engaged in R&D work seeking to extend the Java Pathfinder NASA program analysis tool with symbolic execution techniques to monitor the validity of temporal properties. He is the main designer and implementer of the Chase program analysis tool. His work has been published in international conferences and journal venues. He is also the author of a book on program synthesis for Event-B that has been published by Morgan & Claypool.