Oct 2020 – Feb 2022 · 1 yr 4 mos

• Worked on Apache BookKeeper as a committer and Apache Pulsar as a contributor. Projects included:
• formal verification of the BookKeeper protocol and subsequent fixes.
• improving the observability of BookKeeper to aid us during production incidents (using USE method performance troubleshooting).
• formally verifying the changes to the BookKeeper protocol to allow it run without the journal and assisted in the implementation.
• contributing changes to the Pulsar C++ client.

May 2020 – Oct 2020 · 5 mos

• RabbitMQ core team member.

Sep 2019 – May 2020 · 8 mos · Barcelona

• Member of the RabbitMQ core team.

Nov 2013 – Sep 2019 · 5 yrs 10 mos · Barcelona

• Roles including architect, technical lead, trainer and data engineer.
• Specialist in data systems:
• SQL Server performance.
• Database integrations.
• RabbitMQ and Apache Kafka.
• Neo4J.
• Other experience:
• AWS cloud automation (Terraform, Ansible, AWS CLI, bash, python).
• Airbus ARINC data bus real-time consumption/decoding in C++ with ZeroMQ.
• C# library development.
• Search and analytics with Elasticsearch.
• Data engineering pipelines

Jul 2008 – Jul 2013 · 5 yrs · Greater Barcelona Metropolitan Area

• SQL Server performance.
• C# business application development.

Feb 2006 – Feb 2007 · 1 yr · Greater Madrid Metropolitan Area

• Development of real-time trading software in C++ with Tibco RV for messaging.

Jul 2001 – Jul 2002 · 1 yr · Hampshire

• Java development of client-server systems with Oracle database.