Lars-Henrik Ericsson is our new secretary!
Lars holds a Ph.D. from the Royal Institute of Technology in Stockholm (1993). His thesis concerned a proof-theoretical approach to logic programming. Between 1995 and 2001 he was a formal methods consultant. Lars-Henrik mainly worked with railway signalling applications and with development of tools and methodology for FM. Since 2001 he holds a position as senior lecturer in Computer Science at Uppsala University. His scientific interests have always been related to applications of logic in computer science.
Lars-Henrik Ericsson succeeds Nico Plat who stepped down as a member of the Board on April 2nd, 2009, having served as Secretary of the Association since its foundation and having also served on the predecessor groups VDM Europe and FME as an expert panel of the EU.
FME thanks his former secretary for his excellent services and wishes its new secretary all the best in his new position.