For a Human-Centered AI

Jeff Kramer at the SEFM conference organized by FBK

September 11, 2017

The fifteenth edition is being held in Trento from September 6 to 10, and aims to bring together leading researchers and professionals from academia, industry and administration to advance the state of the art in Formal Methods.

“The challenge of change” is the title of the talk that Jeff Kramer, a professor at Imperial College in London, United Kingdom, held on September 7 at the SEFM 2017 (Software Engineering and Formal Methods) Conference, organized by Alessandro Cimatti (ES Research Unit at FBK’s ICT Center) and Marjan Sirjani (Malardalen University).

One of the great challenges of our time – in Kramer ‘s opinion – is the ability to design standalone adaptive systems that can handle unforeseen and unplanned changes that occur in the short run. These unexpected changes can occur in the system environment, system capabilities, or requirements and goals that the system should achieve.

Jeff Kramer is a professor at Imperial College London. He was director of the Department of Computing from 1999 to 2004, chair of the Faculty of Engineering from 2006 to 2009 and Senior Doctor from 2009 to 2012.

His research work mainly deals with software engineering and focuses on software architecture, behavior analysis, use of modeling in requirement development and architectural approaches in adaptive software systems. He has been a major investigator in research projects that developed the CONIC and DARWIN architectural environments for distributed programming and research associated with software architectures and their analysis.

Kramer He was co-chair of ICSE ’99 program, chairman of the ICSE steering committee from 2000 to 2002 and co-chair of ICSE 2010 in Cape Town. IEEE TSE Director from 2006 to 2009, received the most influential paper award at ICSE 2003 and received the ACM SIGSOFT Outstanding Research 2005 Award and the ACM SIGSOFT Distinguished Service 2011 Award. He is co-author of books on concurrency and distributed systems and computer networks and author of over 200 newspaper and conference publications. Kramer is a Fellow of the Royal Academy of Engineering, a specialized engineer, an IET member, an ACM Fellow, a member of BCS, a fellow of the City and Guilds of London Institute and a member of Academia Europaea.



The author/s