Damian Nadales

Damian Nadales is a researcher and developer with a background in functional programming, formal semantics, formal program verification, and model-based testing. He gained his PhD in computer science from Eindhoven University of Technology in The Netherlands. In his doctoral dissertation he defined the formal semantics of a language for modeling, simulating, and model-checking hybrid systems. After leaving academia in 2012 he embarked on a quest to find pragmatic ways of using formal methods in industry. He has since worked for three of the most prominent Dutch companies (Océ, ASML, and Philips) as well as TNO, the Dutch research institute. Damian Joined IOHK as a formal methods engineer in 2018.

Damian works for Input Output Research Limited.