Faculty leader of @ku-sldg. Interested in all things formal methods, functional programming, and trusted computing related.
-
ITTC - The University of Kansas
- 2335 Irving Hill Rd, Lawrence, KS 66045
- http://perry.alexander.name
Highlights
- Pro
Block or Report
Block or report palexand
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.