Amir ben-Amram - graduate projects

Graduate projects

I am interested in guiding students who like to to complete their MSc project in a topic which involves clever algorithmic/theoretical thinking and is related to up-to-date research. Currently, the focus of my research interests is on algorithms for program analysis.

Examples of past and on-going projects:

Simon Yoffe: Heuristics for graph coloring
Victor Buchnik: Finding Level Ancestors in a tree
Shlomit Arian: An algorithm for solving range constraints (co-supervised with Iris Rosenblum)
Ariel Snir: Termination analysis and ranking-function generation with monotonicity constraints
Dror Gliezner: Automated complexity analysis of simple structured programs
Michael Vainer: Testing monotonicity constraint transition systems for bounded termination
Avishay Ben-Shabtay: Efficient ranking-function generation for monotonicity constraint transition systems
Zachi Mann: Automated complexity analysis of simple structured programs

Yosi Zilberg: Automated complexity analysis of simple structured programs