Johan Boye


I have recently (Nov 10, 97) taken up a position at Telia Research AB. My new address is:
Johan Boye
Telia Research AB
Spoken Language Processing
S-136 80 Haninge, SWEDEN

(Former) Research Interests

Logic programming, esp. static analysis and verification of logic programs, integration of functional and logic programming.

(Former) Teaching Activities

  • Formal Languages and Automata Theory (TDDA89)
  • Introduction to Rewriting Systems (TDDB40) (used to be TDDA30 Programming Theory 2)