Patrick Nicodemus

math.wisc.edu/~nicodemus [email protected]

University of Pennsylvania Philadelphia, Pennsylvania Computational biology in Python and R. Formally verified mathematics in Coq.