# eduardito.dev full context

## Profile
Eduardo González Vaquero - mathematician · data scientist · python · rust · ai
Location: Madrid, Spain
Summary: Data scientist with a mathematics background focused on data systems, applied machine learning, and platform quality.

Skills: Python, Rust, Artificial Intelligence, Machine Learning, MLOps, DevOps

## 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

## Experience
- Data Scientist at Habla Computing (Nov 2025 - Present): Designing and training ML/DL models for financial uses cases and improving the company’s own products and projects.
- AI and Backend Engineer at The Cliff (Mar 2025 - Oct 2025): Built a SaaS platform using AI to analyse corporate financial health.
- AI and Backend Engineer at Ravenloop (Apr 2024 - Feb 2025): Machine learning and deep learning models applied to cybersecurity use cases.
- Co-founder / AI Engineer at Incontradigma (Oct 2021 - May 2024): Co-founded an AI company focused on football analytics using computer vision.
- Data Engineer at Altoro (Jan 2020 - Jun 2021): First professional stage focused on ETL workflows and open data.

## Education
- PhD in Computer Engineering - Complutense University of Madrid (2024 - Present)
- MSc in Formal Methods in Computer Engineering - Autonomous University of Madrid (2021 - 2023)
- BSc in Mathematics - Complutense University of Madrid (2017 - 2021)

## Projects
### FBool
Status: active
Period: 2026 - now
Summary: A Rust/Python library to compute metrics on boolean functions.
Stack: Rust, Python
Highlights: Main code in Rust | Python wrapper using PyO3 bindings

### electosim-rs
Status: maintenance
Period: 2024 - Now
Summary: A Rust library for the calculation of seats according to different electoral methods.
Stack: Rust
Highlights: 

### mdona-scrapper
Status: maintenance
Period: 2024 - Now
Summary: Mercadona's invoice scrapper.
Stack: Python
Highlights: 

### homography-rs
Status: maintenance
Period: 2024 - Now
Summary: A Rust library for computing the homography matrix between two planes in a 2D space. It is based on the Direct Linear Transformation (DLT) algorithm and it is designed to be used in computer vision applications.
Stack: Rust
Highlights: 

### resultadoselecciones.es
Status: maintenance
Period: 2024 - Now
Summary: Website to show the results of the Spanish elections.
Stack: Typescript, NextJS, React, PostgreSQL
Highlights: 

### Electoral Calculator ElectoSIM
Status: maintenance
Period: 2014 - Now
Summary: A web-based electoral simulator with multiple districts and a large configuration.
Stack: Javascript, jQuery, HTML
Highlights: Pure JavaScript, jQuery and HTML project

## Blog posts
### Specs over vibes — formal verification and static analysis in the AI coding era
URL: https://eduardito.dev/blog/specs-over-vibes/
Published: 2026-04-13
Excerpt: LLMs are getting remarkably good at writing formally verified code. Adding natural-language prompts isn't what moves the needle — writing precise specs is.
Tags: ai-generated code, vibe coding, vericoding, formal methods, static analysis

## Canonical machine-readable URLs
- Sitemap: https://eduardito.dev/sitemap.xml
- RSS: https://eduardito.dev/rss.xml
- LLMs short: https://eduardito.dev/llms.txt