Val Tannen

Professor

Computer and Information Science

Office: Amy Gutmann Hall, 409

Research Areas

  • Databases
  • Logic
  • Computation

Awards

2023: Best Paper, VLDB

2023: Academia Europaea

2013: Fellow of the ACM

Projects/Papers

Provenance Analysis and Semiring Semantics for First-Order Logic
DBSP: Incremental Computation on Streams and Its Applications to Databases
Evaluating Datalog over Semirings: A Grounding-based Approach

Students

PhDs:

Jesse Comer (co-advised with Andre Scedrov)

Lawrence Dunn (co-advised with Stephan Zdancewic)