Welcome to my homepage

garden

I am a postdoc researcher in mathematics and theoretical computer science. My research interests focus on dynamical systems, ordinary differential equations, analog models of computation, computable analysis, computability and complexity theory, set descriptive theory, logic, formal systems and theorem proving.

Professional experience:

🎓 Postdoctoral researcher (2024-Present)

🏛️ Karlsruhe Institute of Technology, Karlsruhe, Germany

🎓 Postdoctoral researcher (2022-2024)

🏛️ École Polytechnique & Université Paris Est Créteil Val de Marne, Paris, France

🎓 Scientific visits and collaborations (2020-2022)

🏛️ Kyushu university & Kyoto univerisity, Fukuoka & Kyoto, Japan

🎓 PhD in Information security (2017-2022)

🏛️ Instituto Superior Tecnico, Lisbon, Portugal


stones