Val Tannen Explained

Val Tannen
Birth Place:Romania
Field:Computer Science
Work Institution:University of Pennsylvania
Alma Mater:MIT
Doctoral Advisor:Albert Meyer
Doctoral Students:Dan Suciu
Prizes:
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

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

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]

On May 24 and 25 2024 a festschrift was held in Val Tannen's honor at the University of Pennsylvania. [5]

Awards and honors

References

  1. Web site: Academia Europaea web page. 9 April 2024.
  2. Buneman . Peter . Naqvi . Shamim . Tannen . Val . Wong . Limsson . 1995 . Principles of programming with complex objects and collection types . Theoretical Computer Science . en . 149 . 1 . 3–48 . 10.1016/0304-3975(95)00024-Q. free .
  3. Book: Green . Todd J. . Karvounarakis . Grigoris . Tannen . Val . Provenance semirings . 2007-06-11 . Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems . https://dl.acm.org/doi/10.1145/1265530.1265535 . en . ACM . 31–40 . 10.1145/1265530.1265535 . 978-1-59593-685-1.
  4. Davidson . S. B. . Overton . C. . Tannen . V. . Wong . L. . 1997-04-01 . BioKleisli: a digital library for biomedical researchers . International Journal on Digital Libraries . en . 1 . 1 . 36–53 . 10.1007/s007990050003 . 1432-5012.
  5. The Provenance of Elegance in Computation — Essays Dedicated to Val Tannen. Antoine. Amarilli. Alin. Deutsch. Schloss Dagstuhl, OpenAccess Series in Informatics. 2024.
  6. Web site: Academia Europaea web page. 9 April 2024.
  7. Web site: ACM PODS Alberto O. Mendelzon Test-of-Time Award. 9 April 2024.
  8. Web site: Val Tannen. 9 April 2024.
  9. Web site: ICDT Test-of-Time Awards. 9 April 2024.