Francisco studied mathematics as an undergraduate at Lisbon Institute of Technology, Portugal. He then went on to study in Belgium, where he completed an MSc in computer science at KU Leuven and was awarded the distinction magna cum laude.
His thesis involved the design of a programming language with user-defined Implicit Type Conversions (ITC). This work tackles known issues with the approach currently taken by mainstream languages to support ITC, such as transitivity and scoping. In addition, it resulted in the extension of the KUL Haskell Compiler in accordance with the theory developed.
Francisco joined Adelard in 2020 and has been involved in assessing C&I systems for nuclear power plants.