José Pedro Magalhães

About me

I am currently a PhD student at Department of Information and Computing Sciences of Utrecht University in the Netherlands. My PhD topic is Real-Life Datatype Generic Programming, and my supervisor is Johan Jeuring.

Previously, I have graduated from Minho University in Computer Science and Systems Engineering (Licenciatura em Engenharia de Sistemas e Informática—I find the English translation doubtful but apparently that's how the International Relations Office does it). I have been a Summer Student at CERN and an intern at Philips Research.

My full name is José Pedro Rodrigues Magalhães, where "José Pedro" are the first names and "Rodrigues Magalhães" are the last names. This is me pronouncing it. I tend to omit my first last name (Rodrigues), especially because, in Portuguese in general, the last last name is the "most important" one. This might help. To make matters more confusing, when addressed by the given name only I prefer being called Pedro or José Pedro, not just José.

Dreixel is a nickname I invented many years ago. Inspired by some space science-fiction series, I decided I needed a cool name too. Dreixel it was. Some years later I came across the internet and was asked for a nickname—dreixel it was.

Interests

Besides my research interests, I also enjoy doing some other stuff.
Music is a very important hobby of mine. I studied music as a side-study for 12 years (here), completing Organ studies at Conservatory level (which, in Portugal, is the pre-University level for musical education). So, I like music very much, and I tend to prefer 20th century and contemporary classical:

Pierre Boulez - Second notation for piano (Trés vif)

I also maintain (or try to maintain) Hauptwerk—a classical music blog.

Latest news

New draft: "A Formal Comparison of Approaches to Datatype-Generic Programming"

A new draft paper is available: A Formal Comparison of Approaches to Datatype-Generic Programming, with Andres Löh.

Posted on: Friday, 23/12/2011, 11:59 (GMT)