Daniel Smania

10,152
reputation

I am a Full Professor in the Department of Mathematics at ICMC–USP, São Carlos, Brazil. My research focuses on deterministic dynamical systems from a more theoretical perspective. This includes the study of renormalization of one-dimensional maps using both real and complex methods, deformation and linear response of such maps, as well as transfer operator techniques in ergodic theory.

I am a (very) amateur programmer, coding mostly for fun in C, C++, JavaScript, and Python. Lately, I've been particularly interested in learning Lean4 for the formalization of mathematics, with a big boost from some vibe coding.