Jeremy Gibbons Professor of Computing, University of Oxford
Jeremy Gibbons is a Computer Scientist and Professor of Computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford.
Bartosz Milewski President and Founder, Reliable Software
I have been educated in Poland, where I got my PhD in Theoretical Physics. I had several postdoc positions in Europe and in the United States. Then I suddenly found myself working for Microsoft designing and implementing a search engine. That didn’t work very well, since Microsoft was in denial about the Internet. I quit and started my own micro company, Reliable Software, which makes a distributed version control system. I wrote a book “C++ in Action, Industrial Strength Programming in C++.” I started digging into Computer Science, enlisting in graduate courses at the University of Washington. I became fascinated with multithreading and joined Walter Bright and Andrei Alexandrescu in designing and implementing the D programming language. Interest in C++ template metaprogramming and concurrency naturally led me to Haskell, and then to category theory.
Rob Norris Software Developer, Gemini Observatory
My name is Rob and I live in Portland, Oregon with my wife Joanna, daughter Ada, and cat Chicken. I am interested in alpine climbing and functional programming, but not really done much climbing since Ada was born. I have also been eating a lot of cookies, so if you want to climb Nanga Parbat I will need some time to train first. I write software for the Gemini Observatory, mostly involving tools that astronomers use to plan and execute science observations. The name tpolecat is borrowed from a friend of mine who always signed up for online stuff as Tangley Polecat to better identify spam, and several others of us followed suit. I was unsure when joining Twitter and other such things so I used the fake name and somehow it has stuck.