Val Tannen

Val Tannen
Born1953 (age 71–72)
Romania
Alma materMIT
Awards


Scientific career
FieldsComputer Science
InstitutionsUniversity of Pennsylvania
Doctoral advisorAlbert Meyer
Doctoral studentsDan Suciu
Websitehttps://www.cis.upenn.edu/~val/home.html
Val Tannen

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. ^ "Academia Europaea web page". Retrieved 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. 149 (1): 3–48. doi:10.1016/0304-3975(95)00024-Q.
  3. ^ 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. pp. 31–40. doi:10.1145/1265530.1265535. ISBN 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. 1 (1): 36–53. doi:10.1007/s007990050003. ISSN 1432-5012.
  5. ^ Amarilli, Antoine; Deutsch, Alin (2024). The Provenance of Elegance in Computation — Essays Dedicated to Val Tannen. Schloss Dagstuhl, OpenAccess Series in Informatics.
  6. ^ "Academia Europaea web page". Retrieved 9 April 2024.
  7. ^ "ACM PODS Alberto O. Mendelzon Test-of-Time Award". Retrieved 9 April 2024.
  8. ^ "Val Tannen". Retrieved 9 April 2024.
  9. ^ "ICDT Test-of-Time Awards". Retrieved 9 April 2024.

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!