Carol Karp

Carol Karp
Carol Karp
Born	Carol Ruth van der Velde; August 10, 1926; Forest Grove, Ottawa County, Michigan
Died	August 20, 1972 (aged 46); Arlington, Virginia
Occupation	Mathematician
Known for	Languages with Expressions of Infinite Length (1964); Karp Prize;
Academic background
Education	Manchester University (BA, 1948); Michigan State University (MA, 1950); University of Southern California (PhD, 1959);
Thesis	Languages with Expressions of Infinite Length (1959)
Doctoral advisor	Leon Henkin
Academic work
Discipline	Mathematician
Sub-discipline	Mathematical logic; Formal language theory;
Institutions	University of Maryland, College Park (1959–1972)

Carol Karp, born Carol Ruth Vander Velde (10 August 1926 in Forest Grove, Ottawa County, Michigan – 20 August 1972 in Arlington, Virginia), was an American mathematician of Dutch ancestry best known for her work on infinitary logic. She also played viola in an all-women orchestra. She is the namesake of the Association for Symbolic Logic's Karp Prize.