# Eduardo González Vaquero

Canonical: https://eduardito.dev/en/

## Navigation
- [home](https://eduardito.dev/en/)
- [experience](https://eduardito.dev/en/experience/)
- [education](https://eduardito.dev/en/education/)
- [projects](https://eduardito.dev/en/projects/)
- [blog](https://eduardito.dev/en/blog/)
- [contact](https://eduardito.dev/en/contact/)

mathematician · AI engineer · ML systems · python · rust

I build production AI systems: from models to APIs, pipelines, and deployment in scalable environments.
Background in Mathematics and Formal Methods, with a focus on performance, scalability, and getting the design right from the start.


**Location:** Madrid, Spain
**Skills:** Python, Rust, Artificial Intelligence, Machine Learning, MLOps, DevOps

## Current Role

**Data Scientist @ Habla Computing** - Nov 2025 - Present
Designing and training ML/DL models for financial use cases, while improving internal products, technical tooling, and development workflows.

## Projects (6 total)

- **FBool** (active): A Rust/Python library for computing metrics on boolean functions, aimed at formal computation and complexity analysis.
- **electosim-rs** (maintenance): A Rust library for simulating seat allocation under different electoral methods.
- **mdona-scrapper** (maintenance): A Python tool to extract and structure Mercadona invoices.

## Recent Posts

- [Specs over vibes — formal verification and static analysis in the AI coding era](https://eduardito.dev/en/blog/specs-over-vibes/)

## Links

- [GitHub](https://github.com/edugzlez)
- [LinkedIn](https://www.linkedin.com/in/eduardo-gonz%C3%A1lez-vaquero-638b9641/)
- [ORCID](https://orcid.org/0009-0001-6329-1525)

## Source
- Markdown: https://eduardito.dev/en.md
- HTML: https://eduardito.dev/en/