I am a postdoc at the Computer Science Department at University of Florida, USA. My current research focuses on categorical models for several flavors of compositionally 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:
- Chemical space exploration
- Categorical models of chemistry
- Discrete mathematics
- 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).
Contact
Email: Wilmer.Leal at mis.mpg.de
Office C3 01
Max Planck Institute for Mathematics in the Sciences
Inselstraße 22
04103 Leipzig, Germany