Patrik Jansson

Who am I? (CV)

I am an Associate Professor (Docent) in the Functional Programming research group, in the Software Engineering and Technology division at the CSE Department, Chalmers University of Technology and University of Gothenburg, Sweden (Official work page). My research area is Software Technology and I specialise in Generic Programming and Program Verification. I am chair of the Workshop on Generic Programming 2009 and deputy project leader of the Chalmers IMPACT project.

Do you want to work with us? Check the departmental vacancies page.

Do you want to study computer science here? Applications to our MSc programmes are welcome yearly Nov. to mid Jan. (deadline was 20090115). For European students, applications for Erasmus exchange is possible throughout the academic year. (See here for details.)

Already studying here? I'm currently looking for good MSc students interested in doing a MSc thesis project (some project ideas) during 2009 with me as supervisor or examiner.

Research Interests

(papers: ACM author profile, CiteSeerX) My research area is Software Technology and I specialise in Generic Programming and Program Verification. My local research neighbourhood contains Functional Programming Programming Logic, Software Methodologies and Systems, Language Technology and Formal Methods.

I'm a member of the IFIP Working Group 2.1 -- Algorithmic Languages and Calculi.

I have an active collaboration with the Potsdam Institute of Climate Impact Research (PIK) about functional programming, generic programming (in Haskell and C++), high-level modelling and e-science. (Contacts: Daniel Lincke, Cezar Ionescu, Nicola Botta, Carlo Jaeger)

I've been involved in Chalmers eScience Initiative (CeSI) - one of Chalmers' applications for strategic research areas 2009 and I'm actively involved in setting up a Gothenburg eResearch Center.

I started out with Polytypic Programming [På svenska]. I have also worked with functional programming; specifically "Functional Generic Programming - where type theory meets functional programming" (polytypism, Generic Haskell, ...). I have also worked in the Cover project --- Combining verifiaction methods for software development (Haskell + QuickCheck + FOL + Agda). I have written a compiler for the language extension PolyP (Haskell extended with polytypic functions).

PhD students

I was the advisor of the following PhD students:

Ulf Norell (PhD 2007) - now (2008-2009) PostDoc in the Computing Science division at Chalmers.
Nils Anders Danielsson (PhD 2007) - now (2008-2010) PostDoc in the Functional Programming Laboratory at the U. of Nottingham.

Pedagogical work

I'm looking for good MSc students interested in doing a MSc thesis project (some project ideas) during 2010 with me as supervisor or examiner. (Prerequisites include a strong background in Functional Programming.)

Advanced Functional Programming: 2010
MSc thesis projects: Seven during 2009
Deputy Project Leader of the IMPACT project 2008,2009
Member of the steering group of the IMPACT project 2007
Vice Head of Department for Education: 2005,2006,2007,2008
Program Verification: 2006
Director of Undergraduate Studies: 2002,2003,2004,2005
Database Systems: 01, 00.
Functional Polytypic Programming: 00.
Programming Languages: 01, 00.
Ada programming for CS (GU): 98, 97, CSE (D1): 96, 95, Eng.Phy. (F1): 96, 95.
Haskell for CSE (D1): 95, 96.

How to reach me

Travel / vacation / etc.,
Email: NOpatrikjSP@AMchalmers.se
Phone: +46 31 772 5415,
Room: 6125 in the EDIT building
The departments postal address, etc.

Family

Tünde Fülöp, Julia Jansson, Erik Jansson.

Patrik Jansson / NOpatrikjSP@AM.chalmers.se

Disclaimer