palexand Goto Github PK
Name: Perry Alexander
Type: User
Company: ITTC - The University of Kansas
Bio: Faculty leader of @ku-sldg. Interested in all things formal methods, functional programming, and trusted computing related.
Location: 2335 Irving Hill Rd, Lawrence, KS 66045