Linköping University - Formal methods in verification of real-time and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques.
From the Usability Matters Group at the Linköping University in Sweden. Their goal is to make computer systems more usable. The 1995 essay "Perspectives on Usability" by Jonas Löwgren is available for download in PDF format.
Generation of efficient compilers and interpreters from Natural Semantics Specifications. Semantics for real programming languages like Java, Pascal, Modelica were developed.