A strong background in mathematics has led him to research in artificial intelligence resulting in the generation of computer proofs of high level number theory theorems. He possesses a quick wit and takes great pleasure in all types of food.
CPMA 515: Advanced Discrete Math
Programs from the book "Data Structures in C" with Adam Drozdek