Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Patrik Jansson [Me]

Patrik Jansson

Who am I? (CV)

I am an Associate Professor (Docent) at the CSE Department, Chalmers University of Technology in Gothenburg, Sweden (where I also received my PhD degree in June '00). (Official work page) My research area is Software Technology and I specialise in Generic Programming and Program Verification. I am vice head of department responsible for the undergraduate education at the CSE Department and a member of the departmental steering group.

[ Me, Tünde, Julia, startpage, travel, sitemap, find lowest price.. ]

Research Interests

My research area is Software Technology and I specialise in Generic Programming and Program Verification. My research neighbourhood contains Functional Programming, Programming Logic, Software Methodologies and Systems, Language Technology and Formal Methods. I started out with Polytypic Programming [På svenska]. I have also worked with functional programming; recently "Functional Generic Programming - where type theory meets functional programming" (polytypism, Generic Haskell, ...) together with Ulf Norell, Marcin Benke, Peter Dybjer. 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 am the advisor of the following PhD students:

Ulf Norell (since 2002, lic 2004, PhD 070924 (prel.))
Nils Anders Danielsson (since 2003, lic 2005, PhD 071205 (prel.))

Selected papers: (bibliography)

Polytypic Programming in Haskell, Ulf Norell and Patrik Jansson. IFL'03, in press for LNCS nnnn, 2004.
Universes for Generic Programs and Proofs in Dependent Type Theory, Marcin Benke, Peter Dybjer and Patrik Jansson. Nordic Journal of Computing 10 (4), pages 265-289, 2003.
Polytypic Data Conversion Programs, Patrik Jansson and Johan Jeuring, Science of Computer Programming 43(1), pages 35-75, 2002.
Functional Polytypic Programming. Patrik Jansson, PhD thesis, Chalmers University of Technology and Göteborg University, 2000.
Generic Programming - An Introduction, Roland Backhouse, Patrik Jansson, Johan Jeuring and Lambert Meertens, Lecture notes for the summer school on Advanced Funcational Programming 1998. In Lecture Notes in Computer Science, volume 1608, 1999.
Polytypic Unification, Patrik Jansson and Johan Jeuring, bibtex, J. of Functional Programming 8 (5), accompanying material, September 1998.
PolyLib - a polytypic function library, Patrik Jansson and Johan Jeuring, bibtex, WGP'98, June 1998.

Pedagogical work

Director of Undergraduate Studies: 2002-
Database Systems: 01, 00.
Functional Polytypic Programming: 00.
Programming Languages: 01, 00.
Ada programming for GU: 98, 97, D1: 96, 95, F1: 96, 95.
Haskell for D1: 95, 96.

Tünde

My wife; Tünde Fülöp has her own workpage.

How to reach me

Email: NOpatrikjSP@csA.chalmersM.se
Phone: +46 31 772 5415, Fax: +46 31 16 56 55
Room: 5117 in the EDIT building
The departments postal address, etc.

Misc

How to Have Your Abstract Rejected
Learn Hungarian on a Summer school in Hungary or (for Swedes) from books.

Last modified: 070813 21:52:15. by

Patrik Jansson / NOpatrikjSP@csA.chalmersM.se

Disclaimer