GradNova

Math and Computer Science Intersection

1 faculty research Math and Computer Science Intersection on GradNova.

K

Katherine Kosaian

Assistant Professor

Computer Science

University of Iowa

Interactive Theorem Proving

Math and Computer Science Intersection

Logic, Programming, and Type Systems

+4