People

Dr Ken Pierce

Ken's research interests are in the areas of secure and dependable systems, fault tolerance, formal methods, and autonomous systems.  His homepage is here.