FERNANDO LUCATELLI NUNES

Ph.D. in Mathematics     Ph.D. in Computer Science

I am particularly interested in work that combines conceptual depth with tangible impact.

I work on the theory and applications of low- and higher-dimensional generalized categorical structures. My research is driven both by foundational questions in pure mathematics and by challenges arising in computer science, especially in the semantics, implementation, and engineering of modern programming languages and software systems. For me, putting theory into practice is not an afterthought, but a disciplined way of developing solutions whose relevance endures.

I welcome discussions and collaborations, especially with prospective PhD students and researchers interested in categorical structures, programming language theory, formal methods, or closely related areas. If this resonates with you, please feel free to get in touch.

Research

Selected Talks

Academic positions/stays

Mathematical Genealogy

Further information

Organization of seminars/events : Online Algebra, Logic and Topology Seminar