Gary Klimowicz

South Burlingame & the Pearl

Former tech executive looking forward to the opportunity to dig deep into some new technology areas for fun.


common lisp, ACL2, Z


  • cl-pdx

    A meetup for people interested in Common Lisp.

Topics I would like mentoring in

formal systems, theorem proving, formal specifications, semantics