David Naumann presents invited talk at the European Symposium on Programming
Naumann spoke in a joint session of the European Joint Conferences on Theory and Practice of Software
HOBOKEN, N.J. - Professor David Naumann of Stevens Institute of Technology’s Department of Computer Science, was the invited speaker for the European Symposium on Programming. He spoke in a joint session of the European Joint Conferences on Theory and Practice of Software (ETAPS), comprised of five main conferences and many workshops, with more than 500 participants. ETAPS took place March 20-28 in Paphos, Cyprus.
Naumann's talk was entitled "Dynamic Boundaries: Global Invariants for Local Reasoning.” It addressed a fundamental challenge in software design: encapsulation of mutable state shared between software components.
Naumann and his collaborators, including Ph.D. student Stan Rosenberg and former Stevens faculty member Anindya Banerjee, propose a novel form of interface specification, which leverages off-the-shelf automated theorem provers to provide secure compartmentalization of software modules.
Naumann's research is supported by awards from the National Science Foundation and has been conducted with collaborators at Microsoft Research and IMDEA Software, Madrid.
For more information, please visit: http://www.etaps10.cs.ucy.ac.cy/
About Stevens Institute of Technology
Founded in 1870 and celebrating 140 Years of Innovation, Stevens Institute of Technology, The Innovation University TM , lives at the intersection of industry, academics and research. The University's students, faculty and partners leverage their collective real-world experience and culture of innovation, research and entrepreneurship to confront global challenges in engineering, science, systems and technology management.
Based in Hoboken, N.J. and with a location in Washington, D.C., Stevens offers baccalaureate, master’s, certificates and doctoral degrees in engineering, the sciences and management, in addition to baccalaureate degrees in business and liberal arts. Stevens has been recognized by both the US Department of Defense and the Department of Homeland Security as a National Center of Excellence in the areas of systems engineering and port security research. The University has a total enrollment of more than 2,200 undergraduate and 3,700 graduate students with almost 450 faculty. Stevens’ graduate programs have attracted international participation from China, India, Southeast Asia, Europe and Latin America as well as strategic partnerships with industry leaders, governments and other universities around the world. Additional information may be obtained at www.stevens.edu and www.stevens.edu/press.