Dr. Perry Alexander

The University of Kansas

Perry Alexander

Home
Publications
Teaching
Research
Awards
Personal
Blog

Active Projects

Toolkit for Evolving Ecosystem Envelopes (TEEE)


Toolkit for Evolving Ecosystem Envelopes (TEEE) - The objective of the KU TEEE subcontract is developing techniques for automatically synthesizing protocols for measuring system properties. Adventium Labs is the prime contractor on this effort.

Sponsors: DARPA through Adventium Labs

Programming Langauges in Haskell


Programming Langauges in Haskell - The objective of PLIH is development of an online textbook in support of teaching programming languages in Haskell. The repo is currently private and will be opened up in January 2017. If you are interesting in playing before that, drop me a line. The text will be free for anyone who wants to use it.

Sponsors: None

ArmoredSoftware


ArmoredSoftware - The objective of ArmoredSoftware is development of trustworthy cloud applications that perform appraisal, attestation and measurement. This is joint work with Southern Cross Engineering.

Sponsors: DoD, Kansas Board of Regents

Inactive Projects

Virtual Vector Laboratory


Virtual Vector Laboratory - The objective of the Virtual Vector Laboratory is to develop techniques for automatically recognizing insect carriers of human diseases. This is joint work with The KU Biodiversity Institute and Spencer Museum of Art.

Sponsors: KU Research Investment Council

ACHILLES


ACHILLES - The objective of ACHILLES is defining malice in networked, embedded devices such as printers and MFDs. This is joint work with Adventium Labs.

Sponsors: DARPA

Verified TPM


Verified TPM - The objective of the Verified TPM project is to formally specify and verify critical properties of the TPM 1.2.

Sponsors: Battelle, DoD

Static Analysis of Niche Species Models


Static Analysis of Niche Species Models - The objective of the Niche Modeling static analysis project is to use model checking techniques to statically analyze species distribution models.

Sponsors: KU Initiative for Maximizing Student Diversity (IMSD)

Information for Students