Perry Alexander
Distinguished Professor at The University of Kansas
Lawrence, Kansas, United States
Summary
👤
Senior🎓
Top SchoolPerry Alexander is the AT&T Foundation Distinguished Professor and long-time director of the Information and Telecommunication Technology Center at the University of Kansas, bringing over two decades of academic leadership and 14 years framed as an active software/engineering researcher. His work sits at the intersection of formal methods, program verification and synthesis, and trusted computing, with a current focus on frameworks for establishing trust in remote systems and remote attestation. A functional-programming and formal-methods enthusiast, he leads the KU software lab group and blends deep theoretical insight with practical systems thinking. He has a rare combined BSEE/BSCS/MSEE/PhD background in computer science and electrical engineering from KU and a career spanning faculty roles back to the early 1990s. Colleagues know him for translating rigorous verification techniques into usable tools for real-world secure systems — and for still searching for his turntable remote.
13 years of coding experience
University of Kansas
Github Skills (9)
attestation7
beancount7
tla6
sarif6
blockchain4
security2
container1
virtual-machine1
integrity1
Programming languages (4)
Github contributions (5)
ku-sldg/coqMusings
Jun 2019 - Nov 2023
Contributions:8 pushes, 1 branch in 4 years 6 months
ku-sldg/ku-sldg.github.io
Dec 2015 - Oct 2024
Contributions:47 pushes in 8 years 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.