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

Spring 2023 teaching: CIS 1600
interactive sessions (Sec001 TR 10:15-11:45 | Sec002 TR 13:45-15:15)
both in Skirkanich Aud.
Office hours: by appointment, also TBA for important course milestones.

Research groups: Databases , Logic and Computation.

Most of my publications (DBLP)

Fellow of the ACM and Member of Academia Europaea
Slides for the EDBT 2010 Keynote "Provenance for Database Transformations" [.pdf]
Slides for the PODS 2017 Test of Time Award/Gems of PODS talk "The Semiring Framework for Database Provenance" [.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 (