Congratulations to our new PhD's! Keren Yizhak & Yaron Velner

PhD Graduates from the School of Computer Sciences:

Keren Yizhak - Advisor: Prof. Eytan Ruppin

Developing Genome-Scale Computational Methods for Studying Human Metabolic Disorders

Yaron Velner - Advisor: Prof. Alexander Rabinovich

Multidimensional and Pushdown Mean-Payoff Games with Applications to Quantitative Verification and Synthesis of Programs: Complexity, Decidability and Algorithms