Internal links

Starting page

Curriculum vitae (pdf)

Research

PhD thesis

All news

Ars Magica

Contact information

Email:
dreixel@gmail.com

Mobile phone:
+44 744 6060115

Mail:
José Pedro Magalhães
Wolfson Building
Parks Road, Oxford OX1 3QD
United Kingdom

me_xs

External links

Me elsewhere

Hauptwerk—My blog

Google+

Haskellers

LinkedIn

Facebook

Other interests

The League of Gentlemen Dancer in the Dark Karlheinz Stockhausen Marilyn Manson Nina Simone French and Saunders Steve Reich Absolutely Fabulous Yves Klein Olivier Messiaen Johann Sebastian Bach Ornatos Violeta Cradle of Filth Prepared piano Christo and Jeanne-Claude Tom Waits Conlon Nancarrow Henri Matisse Pierre Boulez Let Them Eat Cake QueenAdreena Onda Choc Radiohead South Park Muse Babylon 5 John Cage

About me

I am currently a research assistant in the Programming Languages group at the Department of Computer Science of the University of Oxford, working on the Unifying Theories of Generic Programming project. I'm also co-founder at Chordify, responsible for the functional back-end.

Previously I was a PhD student at the Department of Information and Computing Sciences of Utrecht University in the Netherlands. My PhD topic was Real-Life Datatype Generic Programming, supervised by Johan Jeuring, Andres Löh, and Doaitse Swierstra.

Before that I graduated from Minho University in Computer Science and Systems Engineering (Licenciatura em Engenharia de Sistemas e Informática).

I have also been a Summer Student at CERN, an intern at Philips Research, and a research intern at Microsoft Research Cambridge.

Names

My full name is José Pedro Rodrigues Magalhães, where "José Pedro" is the given name and "Rodrigues Magalhães" is the surname. This is me pronouncing it. I tend to omit my first surname (Rodrigues). This might help understanding Portuguese names. 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

More paper drafts

Paper drafts updated: two new available, two updated.

Posted on: Tuesday, 18/06/2013, 04:39 (GMT)