Research Area:
Verification and Reliable Systems
Description
Our main focus is on the modular verification of systems. We place particular emphasis on software systems, addressing the problems peculiar to them and exploiting the advantages they confer. Our verification work is strongly informed by our expertise in programming languages and software engineering. A second focus is the design and implementation of reliable and validated numerical algorithms, including nonlinear and differential equations, using interval reasoning. A third emphasis is on creating support for non-traditional programming languages such ass access-control policies and spreadsheets.
Faculty
Topics or Projects
|
Page Owner: Kathy Kirman
|
Last Modified: Wed Jun 27 12:26:37 2007
|
