Patrik Jansson
Links:
Official work page,
Google Scholar Citations,
GitHub,
ACM author profile,
ACM member,
CiteSeerX,
LinkedIn,
Facebook,
Google+,
Twitter.
Who am I? (CV)
I am a Computer Science Professor in the
Functional Programming division,
at the
CSE Department,
Chalmers University of Technology and
University of Gothenburg, Sweden.
I am also deputy head of the CSE department.
My research area is Software Technology and I specialise in Generic
Programming, Functional Programming and Program Verification.
In parallel I have spent a few years building a multi-disciplinary
community and research agenda
called "Global Systems
Science" together with researchers in economics, climate change,
risk&resiliance, etc. (in addition to computer science and
mathematics).
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. For European students, applications for Erasmus exchange is
possible throughout the academic year. (See
here for details.)
Already studying here? The FP group is looking for good MSc
students interested in doing MSc thesis projects (some
project ideas).
Research Interests
Papers listed
(@Chalmers
and @Google
Scholar.
My research area is Software Technology and I specialise in Generic
Programming and Program Verification.
My local research neighbourhood contains
Functional Programming
Programming Logic,
Language Technology
and
Formal Methods.
I'm a member of the
IFIP Working
Group 2.1 on Algorithmic Languages and Calculi.
I have an active collaboration with
the Potsdam Institute of Climate
Impact Research (PIK) about functional programming, generic
programming (in Agda, Haskell and C++), high-level modelling and e-science.
(Contact:
Nicola Botta)
I've been involved in Chalmers eScience Initiative (one of Chalmers' applications for strategic research areas 2009) which later turned into the Chalmers eScience Center.
I started out (in 1995) 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:
Pedagogical work
I'm looking for good MSc students interested in doing a MSc thesis
project (some
project ideas) with me as supervisor or examiner.
(Prerequisites include a strong background in Functional Programming.)
- Domain Specific Languages of Mathematics: 2017, 2018
- Advanced Functional Programming: 2010, 2011, 2012, 2013, 2014, 2015
- Category Theory and Functional Programming 2010
- Head of the 5-year education programme in Computer Science and Engineering (Civilingenjör Datateknik, Chalmers): 2011-2013.
- MSc thesis projects: Seven during 2009, 1-2 per year otherwise
- Deputy Project Leader of the IMPACT project 2008-2010 (pedagogical project to improve Chalmers MSc programmes)
- 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
Family
Tünde
Fülöp, Julia Jansson, Endre Jansson.