Alexandre Rademaker

I am an adjunct professor at the Applied Mathematics School of Getulio Vargas Foundation (EMAp/FGV). Enthusiastic of Lean and functional programming. Researcher on AI, Computational Linguistics and formal verification.

See subscribers

The Good Science Project

by Stuart Buck

What's New Under the Sun

by Matt Clancy

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts