TU Wien Informatics

Role

2019W

 

  • Curry-Howard, Game Semantics and Herbrand's Theorem / Meitner-Programm / Austria / Project / 2015

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Federico Aschieri’s research profile in TISS .