Kungliga Tekniska Högskolan, the Royal Institute of Technology (KTH), is one of Swedens largest and most prestigious engineering schools. The School of Computer Science and Communication (CSC) produces annually almost 200 graduates in programs such as Computer Science, Media Technology, Man-Machine Interaction, and Scientific Computing. As part of the Theory Section at CSC, the logic and semantics group, in part earlier at the Swedish Institute of Computer Science, has been engaged in specification, verification, and testing of concurrent and distributed system since the early 80s. Important contributions have been made in areas such as program logics and program verification, semantics, and computer security. Of particular relevance to the present project is work executed on scalable network management, including security, in the context of the ACCESS Linnaeus Center at KTH, an excellence centre focusing on communication and control in large and adaptive distributed systems.
Principal investigators of KTH
is professor in teleinformatics at the School of Computer Science and Communication at KTH, where he leads a research group on Formal Methods and Security. Dam holds a Ph.D. in Computer Science from University of Edinburgh. Dam has made important research contributions in the area of logic and semantics, including program logics and verification techniques, process algebra, distributed algorithms and protocols, information flow security, authorization and PKI, and network management. He was co-founder and board chairman of the company Axiomatics AB, in 2001. He has authored about 63 refereed papers of which 18 are journal publications. Dam has been partner in several European projects, including the projects LOMAPS, VERIFICARD, S3MS, and HATS. He has organized several workshops on semantics and software security, is a member of the NordSec steering group, and appears regularly as PC member in a conference/workshop series such as CONCUR, ESOP, and AMAST.
Roberto Guanciale received his MSc and PhD in computer science in 2004
and 2009, respectively, from
University Of Pisa and IMT Lucca. Roberto has authored several papers
on languages for distributed systems and process algebra.
He has participated in FP6/7 funded projects Sensoria and Venis
His current research interests are related to applications of
multiparty computation and formal verification.
Dilian Gurov is an associate professor at the Department
of Theoretical Computer Science at KTH. He obtained his PhD
from the University of Victoria, Canada, in 1998. After five
years at the Swedish Institute of Computer Science (SICS) he
joined KTH in the spring of 2002. Gurov's research interests
are in the field of program correctness and formal methods.
Gurov has more than 30 research papers in established
scientific journals and conferences, and has participated in
several European and Swedish projects. He has supervised three
doctoral students, and has been on programme committees for a
number of conferences and workshops, such as WING~2014,
FMSPLE~2013, FoVeOOS~2011 (co-chair), ACM SAC~2010, and