Seymour Ginsburg (1928-2004) was a pioneer of automata theory, formal language theory, and database theory, in particular; and computer science, in general. His work was influential in distinguishing theoretical Computer Science from the disciplines of Mathematics and Electrical Engineering. During his career, Ginsburg published over 100 papers and three books on various topics in theoretical Computer Science.
Seymour Ginsburg received his B.S. f...
more
Seymour Ginsburg (1928-2004) was a pioneer of automata theory, formal language theory, and database theory, in particular; and computer science, in general. His work was influential in distinguishing theoretical Computer Science from the disciplines of Mathematics and Electrical Engineering. During his career, Ginsburg published over 100 papers and three books on various topics in theoretical Computer Science.
Seymour Ginsburg received his B.S. from City College of New York in 1948, where along with fellow student Martin Davis he attended an honors mathematics class taught by Emil Post. He earned a Ph.D. in Mathematics from the University of Michigan in 1952, studying under Ben Dushnik.
Ginsburg's professional career began in 1951 when he accepted a position as Assistant Professor of Mathematics at the University of Miami in Florida. He turned his attention wholly towards Computer Science in 1955, when he moved to California to work for the Northrop Corporation. He followed this with...
less
