Perry Alexander
Location: (Lawrence, KS)
Personal Research Web Page: http://www.ittc.ku.edu/~alex/
Keywords: formal methods, verification, synthesis, system-level design, system semantics, composition, model-based design
Posted on: Thursday, April 29th, 2010
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Other, Software Engineering
Research Interests:
My research interests are in the application of formal methods to system-level design. Specifically, development of semantics and language-based techniques for representing, synthesizing and verifying complex, heterogeneous systems. Of specific interest is investigating system-level impacts of security requirements on high-assurance systems, and techniques for synthesizing such systems from specifications. My current applications include defining a coalgebraic semantics for the Rosetta specification language and using Rosetta to specify, synthesize and verify elements of high-assurance operating systems, software defined radios, and smart grid components.
Contact Information:
Email: email obfuscated - click to reveal.edu
Telephone: 785.864.7741
Mail: ITTC - The University of Kansas, 2335 Irving Hill Rd, Lawrence, KS 66045
