Val Tannen
Val Tannen | |
|---|---|
| Born | 1953 (age 70–71) Romania |
| Alma mater | MIT |
| Awards |
|
| Scientific career | |
| Fields | Computer Science |
| Institutions | University of Pennsylvania |
| Doctoral advisor | Albert Meyer |
| Doctoral students |
|
| Website | https://www.cis.upenn.edu/~val/home.html |
Val Tannen is a computer scientist known for his contributions to the fields of database systems and programming languages. He is currently professor in the Department of Computer and Information Science at the University of Pennsylvania.
Biography[edit]
Tannen was born in Romania and received his undergraduate degree from the Polytechnic Institute of Bucharest. After emigrating to the US, he received his PhD from Massachusetts Institute of Technology under the supervision of Albert Meyer. He has held numerous international visiting positions.[1]
Contributions[edit]
Tannen has contributed to the principles of both programming languages and databases and also to the unification of the two subjects. One of Tannen’s major contributions is the use of structural recursion to define a query language for nested relations. This not only provided a basis for query optimization on nested relations, it became – through the use of comprehensions – a standard technique for embedding relational databases in programming languages.[2] Another is the invention of provenance semirings which give a generalization of many adjuncts to relational databases, such as probabilistic databases, C-tables and bag semantics as well as providing a general formalism for data provenance.[3] In addition to databases and programming languages, Tannen has contributed to bioinformatics and to systematic and evolutionary biology.[4]
Awards and honors[edit]
- 2023 Foreign member of Academia Europaea[5]
- 2017 10 years Mendelzon Test-of-Time Award from the Symposium on Principles of Database Systems[6]
- 2013 Fellow of the Association for Computing Machinery[7]
- 2014 20 years Test-of-Time Award from the Intl. Conf. on Database Theory[8]
- 1990 - 1995 Presidential Young Investigator from the US National Science Foundation
References[edit]
- ^ "Academia Europaea web page". Retrieved 9 April 2024.
- ^ Buneman, Peter; Naqvi, Shamim; Tannen, Val; Wong, Limsson (1995). "Principles of programming with complex objects and collection types". Theoretical Computer Science. 149 (1): 3–48. doi:10.1016/0304-3975(95)00024-Q.
- ^ Green, Todd J.; Karvounarakis, Grigoris; Tannen, Val (2007-06-11). "Provenance semirings". Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. ACM: 31–40. doi:10.1145/1265530.1265535. ISBN 978-1-59593-685-1.
- ^ Davidson, S. B.; Overton, C.; Tannen, V.; Wong, L. (1997-04-01). "BioKleisli: a digital library for biomedical researchers". International Journal on Digital Libraries. 1 (1): 36–53. doi:10.1007/s007990050003. ISSN 1432-5012.
- ^ "Academia Europaea web page". Retrieved 9 April 2024.
- ^ "ACM PODS Alberto O. Mendelzon Test-of-Time Award". Retrieved 9 April 2024.
- ^ "Val Tannen". Retrieved 9 April 2024.
- ^ "ICDT Test-of-Time Awards". Retrieved 9 April 2024.