Val B. Tannen
Professor
Computer and Information Science (CIS)
Research Expertise: Databases | Logic | Programming Languages
Val's work is centered around data management technologies and their applications in life sciences. He and his group are currently working on models and systems for data sharing, data provenance and uncertain information. His research has been applied in genomics and bioinformatics as well as in phyloinformatics and systematic biology. Val's past work also includes research in programming languages and high-performance computing. In addition, he maintains a special interest in applications of mathematical logic to computer science.
Member of:- Institute for Research in Cognitive Science (IRCS)
- Penn Center for Bioinformatics (PCBi)
- Penn Genome Frontiers Institute (PGFI)
Recent Publications 
- Putting Lipstick on Pig: Enabling databasestyle workflow provenance, Amsterdamer, Y. | Davidson, S.B. | Deutch, D. | Milo, T. | Stoyanovich, J. | Tannen, V., Proceedings of the VLDB Endowment, 2011
- Enabling privacy in provenance-aware workflow systems, Davidson, S.B. | Khanna, S. | Roy, S. | Stoyanovich, J. | Tannen, V. | Chen, Y. | Milo, T., CIDR 2011 - 5th Biennial Conference on Innovative Data Systems Research, Conference Proceedings, 2011
- Reconcilable Differences, Green, T.J. | Ives, Z.G. | Tannen, V., Theory of Computing Systems, 2011
- Queries with difference on probabilistic databases, Khanna, S. | Roy, S. | Tannen, V., Proceedings of the VLDB Endowment, 2011
- Provenance for aggregate queries, Amsterdamer, Y. | Deutch, D. | Tannen, V., Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2011