web analytics

Welcome to my homepage!

I am a postdoc at the Computer Science Department and a computer scientist in residence at the Department of Chemical Engineering at the University of Florida, USA. My current research focuses on categorical models for several flavors of compositionality in chemistry.

Before moving to the USA, I was a PhD student at Bioinformatics Group, University of Leipzig and at the Max Planck Institute for Mathematics in the Sciences, Germany. My advisors were Peter F. Stadler & Juergen Jost.

My main fields of interest are:

  • Categorical models of chemistry
  • Mathematics of data
  • Chemical space exploration
  • Hypernetwork science
  • Computational history of chemistry

What is new?

Great news from the council for the Lindau Nobel Laureate Meetings!

"Dear Wilmer Leal,

Herewith, we would like to inform you that you have been nominated by the Max Planck Society for participation in the 71st Lindau Nobel Laureate Meeting (dedicated to Chemistry) - from 26 June to 1 July 2022. 

The 71st Lindau Nobel Laureate Meeting will provide an open exchange of scientific expertise and inspire cross-cultural and intergenerational encounters among scientists from all over the world. Up to 40 Nobel Laureates and approximately 600 highly-talented young scientists from all over the world will participate in this meeting. For every meeting, over a thousand candidates are nominated. Congratulations, you are one of them"

The ACT school 2020 and the paper that came out of it!

After attending the ACT school 2020 at MIT, our group is working on Dialectica categories for Petri nets, under the supervision of Professor Valeria de Paiva.

Check our preprint Dialectica Petri nets! (joint work with Elena Di Lavore & Valeria de Paiva).


Email: wleal at ufl.edu
Department of Computer & Information Science & Engineering
University of Florida
432 Newell Dr
Gainesville, FL 32611

My profiles on social media

Google Scholar