Val Tannen's Home Page

Val Tannen
Department of Computer and Information Science
University of Pennsylvania
3330 Walnut Street
Philadelphia, Pennsylvania 19104
Office: Levine North 570
Tel: +1 (215) 898-2665
FAX: +1 (215) 898-0587

Fall 2015 teaching: Friendly Logics CIS 682, lecture TR 5-6:30 in Moore 212, office hours by appointment

Research groups: Databases , Logic and Computation, Center for Bioinformatics .

Some of my DB publications

Slides for the EDBT 2010 Keynote "Provenance for Database Transformations" [.pdf]
A. and N. Tannen's reaction to being told that a monad on C is nothing else but a monoid in the monoidal category of endofunctors C->C.
Le doute est un état mental désagréable, mais la certitude est ridicule.
Val Tannen (