Skip to main content

Alejandro Gomez Londono

Alejandro Gomez Londono
Proof Engineer

Research Interests

Ale's research interests include formal verification, functional programming, and verified stacks.

Contact Details

Email:Alejandro.Gomez@data61.csiro.au

More contact information is available at the Contact page.

Photo of Alejandro Gomez Londono

Projects

Current