Johan Boye



Address

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
Email: jb@trab.se

(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)


    Publications