Kent Petersson

Working 50% at Ericsson Microwave Systems, Mölndal and 50% at Department of Computing Science.

• Phone: +46 31 7470533
• Email: Kent.Petersson@emw.ericsson.se

How to reach me (see  also above)

• Email: kentp@cs.chalmers.se
• Phone: work +46 31 7721028, home +46 31 191443
• Room: 2425, Matematiskt Centrum
• Fax: +46 31 165655
• Postal address: Dept of Computing Science, Chalmers, S-41296 Göteborg, Sweden
• Visiting address: Matematiskt centrum, Eklandagatan 86, Göteborg

Research Interests

• Martin-Löf's type theory
• Type systems in programming languages

Some books and papers

• Kent Petersson: Beräkningsbarhet för dataloger. Från lambda till P, Bokförlaget Aquila, 1988.
• Bengt Nordström, Kent Petersson, Jan M Smith: Programming in Martin-Löf's type theory. An introduction Oxford University Press, 1990.
  The book is now out of print but a postscript (and a pdf) version is available on the web
• Kent Petersson, Jan M Smith: Program Derivation in Type Theory: A Partitioning Problem ,

Computer Languages, vol. 11, No. 3/4, 1986, pp. 161 -- 172.
• Annika Aasa, Kent Petersson, Dan Synek: Concrete Syntax for Data Types in Functional Languages

Proc. of the 1988 ACM Conference on LISP and Functional Programming, pages 96 -- 105, Snowbird, Utah, July 1988.
• Kent Petersson, Dan Synek: A Set Constructor for Inductive Sets in Martin-Löf's Type Theory

Proc. of the 1989 Conference of Category Theory and Computer Science, Manchester, U.K., September 1989. LNCS vol 389, pages 128 - 141.
• Bengt Nordström, Kent Petersson, Jan M Smith: Martin-Löf's Type Theory
• Kent Petersson: Syntax and Semantics of Programming Languages (.ps, .pdf) Lecture Notes, 1990

Teaching 1999/2000

•  "Datalogins Grunder" , självstudievariant HT 99.
• Semantics of programming languages (INN230) , march - june 2000 (in swedish).

Some Master's theses that I have been involved in

• Juni 1999
  Carl Åsman och Marcus Engene (Gu):
   Software Patterns. (in pdf)
• Juni 2000
  Stefan Wendt (Högskolan i Skövde):
  Beskrivning av objektorienterade system med hjälp av designmönster (in pdf)
• November 2000
  Anders Petersson (Cth):
  High level architecture (in pdf)
• June 2001
  Lars Kristiansson (Gu):
  Programunderhåll och refactoring med Rational Rose applicerat på IN-tjänster (in pdf)
• December 2001
  Eva Ljunggren och Joakim Viker (Gu):
  Prestanda och portabilitet för komponentbaserade system. (in pdf)

This document was last modified 2002-01-07 klockan 23:33
Kent Petersson ( kentp@cs.chalmers.se).