FERNANDO LUCATELLI NUNES

Some Projects and Collaborations

• Formalised reasoning about expectations

  ERC Starting Grant FoRECAST — Formalised Reasoning about Expectations: Composable, Automated, Speedy, Trustworthy. PI / grant holder: Matthijs Vákár.

  • Role: contributor to the formal-methods and semantic side of the project.
  • Supervision: co-supervision of Diogo Simm with Matthijs Vákár.

  computer scienceformal methodsprobabilistic programmingautomatic differentiation

• Grothendieck descent theory, fibrations, and factorizations

  Fields Research Fellowship, Fields Institute for Research in Mathematical Sciences, Canada, 2023. PI: Fernando Lucatelli Nunes.

  • Collaboration: Walter Tholen.
  • Focus: descent theory, fibrations, monads, and categorical factorization phenomena.

  pure mathematicsdescent theoryfibrationsfactorizations

• Grothendieck descent, Galois theory, and presentations of categorical structures

  Oberwolfach Leibniz Fellowship, Mathematisches Forschungsinstitut Oberwolfach, Germany, 2022. PI: Fernando Lucatelli Nunes.

  • Collaborators: Maria Manuel Clementino, Rui Prezado, Lurdes Sousa, Matthijs Vákár.
  • Focus: Grothendieck descent theory, categorical Galois theory, and presentations of categorical structures.

  pure mathematicsGalois theorypresentationscategorical structures

• Higher-order monad-based programming and reasoning

  DFG Project HOMBRe — Higher-Order Monad-based Programming and Reasoning. PI / grant holder: Sergey Goncharov.

  • Context: collaboration with Sergey Goncharov began during my research fellowship at the University of Birmingham under HOMBRe.
  • Status: ongoing collaboration, with the intention of contributing further to the project’s research directions.

  computer sciencemonadshigher-order programmingsemantics

• Doctoral supervision and funded Ph.D. projects

  Doctoral projects in mathematics and computer science, supported through institutional and competitive funding schemes.

  • Students: see Ph.D. students.

  supervisiondoctoral fundingresearch community

For a fuller record of publications, appointments, talks, teaching, supervision, and academic service, please see my Curriculum Vitae.