J
Jacob Errington
Research Interests
Compilers
Functional Programming
Programming Languages
Genetic Associations and Epidemiology
Genetic and Phenotypic Traits in Livestock
Logic, Programming, and Type Systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge