Providing installation, technical support and general assistance to those requiring computer support in their home. We make house calls in the Lexington, Kentucky area!
- University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.