Master project in logic
The project is in proof theory where we investigate incompleteness phenomena - given a formal framework built over a datastructure there will be properties which can be expressed in the language and are true - but cannot shown to be true in the formal framework. The project can be extended to a ph.d.-project.
Developing programs with interruptions, dialogues etc. using either Common Lisp or Haskell. This is especially important for webservers - and can be done in a nicely structured way in functional languages using continuations, monads and other techniques.
| Type: | 60 ECTS |
| Veileder(e): | Herman Ruge Jervell |
| Tilknyttet forskningsgruppe(r): | LNS |