Avatar

Miguel Ángel Pastor Olivar

Software Architect

Independent Contractor

Biography

I am a proud dad and husband, software architect, speaker, and writer. Passionate reader, chef aficionado, former surf player and current cyclist and runner.

I am unsuccessfully pursuing to move my Phd research forward.

Interests

  • Distributed Systems
  • Cloud Computing
  • Concurrency, high scalability, reliability and performance
  • Programming languages and paradigms
  • Formal methods

Education

  • Master/PhD in Sofware Development Research, 2011

    Universidad Politécnica de Madrid

  • MSc in Computer Engineering, 2006

    Universidad de Oviedo

  • BSc in Computer Engineering, 2004

    Universidad de Oviedo

Recent Posts

Are You Sure You Want to Use MMAP in Your Database Management System?

This year I’ve decided to start writing a quick summary of some of the papers and books I read. I don’t know how long this …

2021 in books, papers and talks

This year I have read/watched very few tech-related things outside of $job but I would like to share with all of you a few of the ones …

Formal methods introduction (I)

Disclaimer: By no means, I am an expert on this topic; I would say I am a beginner on all this stuff. During my Ph.D. time (which I’ve …

InfluxDB: building your own clustering

A while ago I published a short Twitter thread explaining a few of the problems I had run into while running their [enterprise] …

A few books I would like to read

I like reading, a lot, but, sadly, I don’t read as much as I used to do a few years ago (for many different reasons). However, I keep …