Open to opportunities

Felipe Gorostiaga

@felipegorostiaga

Message

I build reliable, secure software and lead architecture for distributed systems.

Argentina

Message

What I'm looking for

I'm looking to build reliable, secure, and resilient systems with pragmatic, rigorous teams that value ownership, open collaboration, and high-quality software delivery.

At DeepAgro, I lead engineering for an AI-driven agriculture company, setting technical direction and delivering backend microservices over Redis and REST APIs. I also secure recognition models running on hardware owned by end users.

Previously, I designed and led the architecture of NeuralSoft's large-scale business management system end-to-end. My PhD and postdoctoral work at IMDEA Software Institute focused on formal methods, program verification, synthesis, and monitoring asynchronous real-time distributed systems, including efficient algorithms for high-throughput event and data streams.

Experience

Work history, roles, and key accomplishments

Current

Technical Lead

Current

DeepAgro

Jan 2025 - Present (1 year 8 months)

Lead the engineering area of an AI-driven agriculture company, owning technical direction and outcomes end-to-end. Architected backend microservices over Redis and REST APIs, and secured recognition models executing on user-owned hardware.

Technical Leadership Microservices Redis REST APIs AI Security

Predoctoral & Postdoctoral Researcher

IMDEA Software Institute

Jan 2017 - Dec 2025 (8 years 11 months)

Pursued a PhD (cum laude) and postdoc in formal methods, program verification and synthesis, and monitoring of asynchronous, real-time distributed systems, under the supervision of Dr. César Sánchez.

Formal Methods Verification Program Synthesis Distributed Systems Monitoring Research