To the top

Page Manager: Webmaster
Last update: 4/19/2017 1:56 PM

Tell a friend about this page
Print version

Patrik Jansson - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Patrik Jansson

Associate Professor

Patrik Jansson
Associate Professor
patrik.jansson@chalmers.se
+46 31-772 5415

Room number: 5468
Visiting Address: Rännvägen 6 b , 41258 Göteborg


Department of Computer Science and Engineering (More Information)
412 96 Göteborg
www.chalmers.se/sv/institutioner/cse
cse@cse.gu.se
Fax: +46 317723663
Visiting Address: Rännvägen 6 B , 412 58 Göteborg

Latest publications

Contributions to a computational theory of policy advice and avoidability
N. Botta, Patrik Jansson, Cesar Ionescu
Journal of Functional Programming, Journal article 2017
Journal article

Sequential decision problems, dependent types and generic solutions
N. Botta, Patrik Jansson, Cesar Ionescu, D. R. Christiansen, E. Brady
Logical Methods in Computer Science, Journal article 2017
Journal article

Certified context-free parsing: A formalisation of valiant’s algorithm in Agda
Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science, Journal article 2016
Journal article

An Agda formalisation of the transitive closure of block matrices (Extended Abstract)
Adam Sandberg Eriksson, Patrik Jansson
TyDe 2016 Proceedings of the 1st International Workshop on Type-Driven Development, Conference paper 2016
Conference paper

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
Cezar Ionescu, Patrik Jansson
Proceedings 4th International Workshop on Trends in Functional Programming in Education, Conference paper 2015
Conference paper

GSS: Towards a Research Program for Global Systems Science
Carlo Jaeger, Patrik Jansson, Sander van der Leeuw, Michael Resch, J. David Tabara
Germany, Global Climate Forum e.V., Book 2013
Book

Dependently-typed programming in scientific computing: Examples from economic modelling
Cezar Ionescu, Patrik Jansson
24th Symposium on Implementation and Application of Functional Languages (IFL 2012), Conference paper 2013
Conference paper

Global Systems Science orientation paper - background material
Carlo C. Jaeger, Patrik Jansson, Sander van der Leeuw, Michael Resch, J. David Tàbara et al.
Report 2013
Report

Testing versus proving in climate impact research
Cezar Ionescu, Patrik Jansson
Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES’11), Conference paper 2013
Conference paper

Showing 1 - 10 of 53

2017

Contributions to a computational theory of policy advice and avoidability
N. Botta, Patrik Jansson, Cesar Ionescu
Journal of Functional Programming, Journal article 2017
Journal article

Sequential decision problems, dependent types and generic solutions
N. Botta, Patrik Jansson, Cesar Ionescu, D. R. Christiansen, E. Brady
Logical Methods in Computer Science, Journal article 2017
Journal article

2016

Certified context-free parsing: A formalisation of valiant’s algorithm in Agda
Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science, Journal article 2016
Journal article

An Agda formalisation of the transitive closure of block matrices (Extended Abstract)
Adam Sandberg Eriksson, Patrik Jansson
TyDe 2016 Proceedings of the 1st International Workshop on Type-Driven Development, Conference paper 2016
Conference paper

2015

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
Cezar Ionescu, Patrik Jansson
Proceedings 4th International Workshop on Trends in Functional Programming in Education, Conference paper 2015
Conference paper

2013

GSS: Towards a Research Program for Global Systems Science
Carlo Jaeger, Patrik Jansson, Sander van der Leeuw, Michael Resch, J. David Tabara
Germany, Global Climate Forum e.V., Book 2013
Book

Dependently-typed programming in scientific computing: Examples from economic modelling
Cezar Ionescu, Patrik Jansson
24th Symposium on Implementation and Application of Functional Languages (IFL 2012), Conference paper 2013
Conference paper

Global Systems Science orientation paper - background material
Carlo C. Jaeger, Patrik Jansson, Sander van der Leeuw, Michael Resch, J. David Tàbara et al.
Report 2013
Report

Testing versus proving in climate impact research
Cezar Ionescu, Patrik Jansson
Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES’11), Conference paper 2013
Conference paper

Showing 1 - 10 of 53

Page Manager: Webmaster|Last update: 4/19/2017
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?