All speakers
DF

David Fuenmayor

Researcher

Researcher exploring automated reasoning and formal methods with Elixir.