Agustin Martinez Sune

5.0

(4 reviews)

US$13.00

For every 15 mins

Sessions/Jobs

First 15 mins free for your first session

ABOUT ME

Computer Science Ph.D. | Formal Verification and AI Safety

I am passionate about teaching computer science topics and have dedicated most of my career to it, in addition to scientific research.

I have hands-on expertise in a specialized field known as formal methods and formal verification. As more professionals begin to adopt these technologies, my goal is to support them on their journey.

In addition to this, I have a deep enthusiasm for teaching fundamental technical computer science subjects, which I have been doing throughout my years in academic teaching.

Spanish, English

Buenos Aires (-03:00)

Joined February 2024

EXPERTISE

Formal Verification

7 years experience | 5 endorsements

Haskell

4 years experience

Python

5 years experience | 1 endorsement

C++

5 years experience

Dafny

2 years experience | 4 endorsements

REVIEWS FROM CLIENTS

Agustin's profile has been carefully vetted and approved as a Codementor. Connect with Agustin now, and leave a review for them once you're done!

SOCIAL PRESENCE

GitHub

gpt-latex-translator

A tool to translate LaTeX documents using OpenAI's ChatGPT API.

Python

chorgram

Haskell

EMPLOYMENTS

Formal Verification Engineer

Nethermind

2022-03-01-2023-03-01

Key developer of Horus, the first automated verification tool for Cairo, a programming language for writing programs that produce zero-kn...

Key developer of Horus, the first automated verification tool for Cairo, a programming language for writing programs that produce zero-knowledge proofs. To reach a verdict, Horus produces SMT queries codifying program semantics and the target properties.

Python

Haskell

Ethereum

Python

Haskell

Ethereum

Solidity

Formal Verification

Ethereum Smart Contracts

GitHub Actions

Applied Scientist Intern

Amazon Web Services (AWS)

2021-08-01-2021-11-01

Member of the Automated Reasoning Group. Devised three distinct methodologies to extract ground truth and assess recall of automated bug-...

Member of the Automated Reasoning Group. Devised three distinct methodologies to extract ground truth and assess recall of automated bug-finding tools for cybersecurity risks, including CodeGuru Reviewer.

Python

Java

SQL

Python

Java

SQL

GitHub

OWASP

AWS CodeGuru