Mark Tarver                                                         Instructor Address Department of Computer Science Computer Science 1409 Stony Brook University Stony Brook, NY 11794 Phone: (631) 632-8470     Fax: (631) 632-8334 E-mail: dr.mtarver@ukonline.co.uk   Education M.Sc. in Computer Science, University of Leeds, UK, 1989. Ph.D. in Philosophical Logic, University of Warwick, UK, 1985 B.Phil. in Philosophy, University of Oxford, UK, 1981 B.A. in Philosophy, University of Reading, 1978 Previous Appointments University of Leeds, UK. Past and Present Research Interests Functional Programming Automated Reasoning Natural Language Processing Intelligent Agents Support by Funding Agencies and Industry None Courses Taught CSE 113: Foundations of Computer Science CSE 394: Functional Programming Honors and Awards 2003 Promising Innovation Award from Stony Brook Publications/Patents 20 papers 1 copyright 1 book