E-mail: fm@csd.uu.se.
Professor in the Department of Information Technology at Uppsala University.
Recent Teaching:
Background: Faron Moller joined Uppsala University in January 1996. Previously he was Vikariat Professor of Distributed Systems at the Department of Teleinformatics at KTH, and a member of the Formal Design Techniques group at the Swedish Institute of Computer Science (from March 1994), where he was the site leader for the ESPRIT BRA Concur2. Previous to this he was a Senior Research Fellow at the Laboratory for the Foundations of Computer Science (LFCS) in Edinburgh funded by the ESPRIT BRAs Concur (1989-1991) and Concur2 (1992-1994). Prior to this he spent one year as a lecturer at the University of Strathclyde in Glasgow, having finished his PhD studies in Edinburgh in 1988 under the supervision of Professor Robin Milner, FRS. His research directions are currently focussed on decidability and complexity issues for infinite-state systems, particularly with a view to exploiting decomposability results, but also include formalisms for real-time systems and automated and semi-automated proof systems.
Here are some useful URLs:
Faron Moller fm@csd.uu.se <!-- Latest update: unrecorded.>