Agustin Martinez Sune

5.0

(2 reviews)

US$10.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 | 2 endorsements

Haskell

4 years experience

Python

5 years experience | 1 endorsement

C++

5 years experience

Dafny

2 years experience | 1 endorsement

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.

Haskell

Python 3

Ethereum

Haskell

Python 3

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.

Java

SQL

GitHub

Java

SQL

GitHub

Python 3

OWASP

AWS CodeGuru