Machine Learning Engineer at Fever

Hi! I'm Miguel Ángel.

I build AI products and agent platforms. My work covers architecture, implementation and product decisions, from the first prototype to production use by customers and teams.

About me

Areas of interest

machine learning systemsapplied AIproduction MLMLOpsML platformsLarge Language Modelsdistributed systemsAPI designcloud architecture

mathematical modellingformal logiccomputability theorygraph theoryphilosophy of computationmathematics

technical leadershipsocial entrepreneurshipeducation & mentorshiphuman-centered designspeaker

Blog

Programming, mathematical logic and distributed systems, explained through examples, code and proofs.

All notes

Article series · 6 parts

Intro to incompleteness

A computational approach to Gödel’s First Incompleteness Theorem, using Python programs and Turing machines.

Start reading

17 Oct

Building PictoMaker: an AI-powered predictive pictogram keyboard

And, along the way, an introduction to AAC systems and language models

Selected projects

A selection of applications, research projects, talks and workshops.

All