International Lecture Series Corfu, Greece

John Hatcliff

In early October 2016, CS faculty membersJohn Hatcliff and Robby co-organized an international lecture series for Ph.D. students in Corfu, Greece. The five-day event, entitled School on Tool-based Rigorous Engineering of Software Systems (STRESS), focuses on development environments for modeling, implementing and verifying software-based systems. The school was attended by nearly 30 Ph.D. students from all over the world, and included lectures from professors from Germany, Ireland, Denmark, France and the United States. KSU CS faculty member Pavithra Prabhakar, one of the featured lecturers, presented techniques that she and her students have developed for modeling and verifying hybrid systems, i.e., systems that include both discrete and continuous dynamics. Many automated systems such as medical devices, robots, self-driving vehicles and airplanes that involve controlling physical processes benefit from using hybrid systems techniques to model both their control logic and the real-world elements they monitor and control. Dr. Prabhakar's research is funded by a CAREER award from the National Science Foundation. Dr. Hatcliff and Dr. Robby's participation was funded by the Lucas-Rathbone Professorship of Engineering funded by established by Michele Munson, a 1996 graduate of Kansas State University in electrical engineering and physics, and her husband, Serban Simu, of Berkeley, California.

KSU CS faculty member Pavithra Prabhakar presents a lecture on hybrid systems.

The STRESS program covers both technical and soft skills including developing effective team work, negotiation skills and resolving ethical dilemmas. In the activity shown, student teams collaborate to build "the tallest structure" out of marshmellows and spaghetti.

Students work on in-class exercises.

Students take part in mock negotiation activities.

Prof. Kim Larsen, Aalborg University, Denmark, presents a lecture on modeling real-time systems using the Uppaal tool.

More information about the STRESS program and its lecturers can be found at