For a better experience, click the Compatibility Mode icon above to turn off Compatibility Mode, which is only for viewing older websites.

Geoffrey Mainland

Assistant Professor

Computer Science

Geoffrey Mainland is an assistant professor of computer science at Drexel University. Mainland's research focuses on high-level programming language and runtime support for non-general purpose computation. His work seeks to make it easier to exploit the power of special-purpose devices, like GPUs, that require specialized programming models for optimal efficiency. After obtaining an bachelor of arts degree in physics from Harvard, Mainland spent three years working in Silicon Valley. He then returned to Harvard, where he completed his doctorate in computer science in 2011. He was also a postdoctoral researcher with the Programming Principles and Tools group at Microsoft Research Cambridge (UK). Mainland's research interests span both the systems and programming languages communities. He has published papers at conferences such as Networked Systems Design and Implementation (NSDI) and the International Conference on Functional programming (ICFP).

Education

  • Harvard University
    • PhD in Computer Science, May 2011
    • Advised by Dr. Greg Morrisett and Dr. Matthew Welsh.
  • Harvard University
    • AB in Physics, Magna Cum Laude, June 2000

Research/Teaching Interests

High-level programming languages and runtime support for non-general purpose computation

Select Publications

  • Geoffrey Mainland. Explicitly heterogeneous metaprogramming with MetaHaskell. In Proceedings of the 17th ACM SIGPLAN International Conferenceon Functional Programming(IFCP ’12), pages 311—322, Copenhagen, Denmark, 2012.
  • Gavin Bierman, Claudio Russo, Geoffrey Mainland, Erik Meijer, and Mads Torgersen. Pause ’n’ play: Formalizing asynchronous C♯. In Proceeedings of the ƻƿth European Conference on Object-Oriented Programming (ECOOP’12), Lecture Notes in Computer Science, pages 233—257, Beijing, China, jan 2012.
  • Geoffrey Mainland and Greg Morrisett. Nikola: Embedding compiled GPU functions in Haskell. In Proceedings of the third ACM Symposium on Haskell(Haskell’10), pages 67–78, Baltimore,Maryland, USA, 2010.

Awards & Recognition

  • Siebel Scholar, Class of 2011 Fall 2010
  • Certificate of Distinction in Teaching, Harvard University Fall 2004