Academic Appointments


  • Visiting Professor, The Europe Center

2021-22 Courses


All Publications


  • Limiting Price Discrimination when Selling Products with Positive Network Externalities Cigler, L., Dvorak, W., Henzinger, M., Starnberger, M., Liu, T. Y., Qi, Q., Ye, Y. SPRINGER INTERNATIONAL PUBLISHING AG. 2014: 44-57
  • Symbolic algorithms for qualitative analysis of Markov decision processes with Buchi objectives FORMAL METHODS IN SYSTEM DESIGN Chatterjee, K., Henzinger, M., Joglekar, M., Shah, N. 2013; 42 (3): 301-327