CMSV Scientist Is Keynote Speaker at SEFM 2010 Conference-Silicon Valley Campus - Carnegie Mellon University

CMSV Scientist Is Keynote Speaker at SEFM 2010 Conference-Silicon Valley Campus - Carnegie Mellon University

CMSV Scientist Is Keynote Speaker at SEFM 2010 Conference

National Research Council (CNR) Research Area Auditorium (venue of 2010 SEFM)
National Research Council (CNR) Research Area Auditorium (venue of 2010 SEFM)

Carnegie Mellon Silicon Valley Senior Systems Scientist Dimitra Giannakopoulou will deliver a keynote address at the 8th International Conference on Software Engineering and Formal Methods (SEFM). The conference will take place in Pisa, Italy on September 13–18, 2010.

The aim of the SEFM conference is to bring together researchers and practitioners from academia, industry, and government to advance the state-of-the-art in formal methods, to scale up their application in software industry, and to encourage their integration with practical engineering methods. The scientific program will include invited talks, paper and tool presentations, tool demonstrations, tutorials, and workshops.

Giannakopoulou’s keynote address is titled “Fly Me to the Moon: Verification of Aerospace Systems.” In her talk, she will discuss two inherently different approaches towards achieving the goal of advanced formal verification techniques that provide desired correctness guarantees for Aerospace Systems—guarantees critical for safety. The first approach aims at scaling exhaustive verification techniques by applying divide-and-conquer principles. It involves automated compositional verification algorithms for model checking both finite and infinite-state software components. The second approach does not perform exhaustive verification but it is more versatile. It uses a model checker to automatically generate tests for aerospace algorithms and only requires knowledge of the types of inputs that the algorithms process. She will discuss experiences with formal verification of aerospace systems and analyze the applicability of the two approaches in several settings.

“Being invited to give a keynote is an honor and an important recognition of my work by the research community,” said Giannakopoulou. “I am particularly pleased to be giving a talk in a conference that emphasizes the practical application of formal methods, since this has always driven my research work.”

Giannakopoulou’s research involves the design and analysis of distributed and component-based systems, with a focus on model checking and software architectures. Lately, her research has focused on automating assume-guarantee verification by generating assumptions. Most recently, she gave a keynote talk at the 35th EUROMICRO conference on Software Engineering and Advanced Applications in Patras, Greece and was co-recipient of the Outstanding Technology Development Award for Java PathFinder (JPF), in the 2009 Federal Laboratory Consortium Far West Region Awards. Giannakopoulou will act as program co-chair for the upcoming 2011 Conference on Fundamental Approaches to Software Engineering (FASE), European Joint Conferences on Theory and Practice of Software (ETAPS).