Research Ph.D Students
- Rafi Vivanti Computer Aided Surgery And Medical Image Processing lab, The Rachel and Selim Benin School of Computer Science and Engineering, Hebrew University of Jerusalem, Israel
- Reshef Meir My main research area is Computational Game Theory and Mechanism Design. This is an interdisciplinary research, mostly theoretical, aiming to a better understanding of interactions between self-interested agents: people, computer programs, or organizations. Large part of my research is dedicated to the design of systems that will promote cooperation between such agents, and thereby increase the welfare of the society.
- My Advisor is Prof. Jeffrey Rosenschein.
- Daniel Zoran I study the statistical structure of natural images and how we can use those structures to better understand human vision, computer vision and the world around us.
- My advisor is Prof. Yair Weiss
- Or Sattath My research interest is mainly Quantum Computation: Complexity, Quantum Games, Algorithms, Hamiltonian Complexity.
- My advisors are Prof. Dorit Aharonov & Prof. Julia Kempe.
- Mohammad Hjouj Medical Imaging of Non Thermal Irreversible Electroporation.
- Supervisor name: Professor Boris Rubinsky.
- Shaull Almagor My research focuses on adding quality measures to Formal methods. Traditionally, formal verification is Boolean - a system either satisfies a specification, or not. We aim to to extend formal verification to the quantitative setting, by allowing the satisfaction value of a system to take multiple values from some numeric domain.
- My advisor Prof. Orna Kupferman.
- Natan Kaplan Electro-optical beam deflector Deflectors are used to change the angle of a light by a controlled angle, allowing the beam to be scanned in space. Such devices have diverse applications both in pre-print, security and communication industries. My research focuses on developing a novel deflector concept based on the quadratic electro-optic effect in Potassiom-Lithium-tantalate-niobyte (KLTN) crystals. Simulation show that such a device would have a better performance envelope (switching speed, number of resolvable spots) than the current state-of-the art deflectors.
- My Advisor is Professor Aharon Agrant.
- Danny Bavli The liver is the central hub of drug and cosmetic metabolism and consequently most prone to toxicity. Failure to detect cosmetic or drug-induced liver toxicity during product development is a major cause of post-market product withdrawal with disastrous consequences. HeMiBio is a $10 million initiative funded by the European Commission and COLIPA, the European Cosmetics Association, as part of the SEURAT cluster to eliminate animal research in cosmetic development. Our group is leading the engineering efforts to develop a high-throughput liver bioreactor for toxicity screening. The project, funded by the European Research Council, combines microfabrication with tissue engineering to construct a human-on-a-chip platform as an alternative to animal studies
- My Advisor is קובי נחמיאס.
- Keren Ouaknine Processing data on large scale systems such as Hadoop and HPCC. Optimization of architecture, programming model, data distribution. Framework: LAWA project (Longitudinal Analytics of Web Archive)
- My Advisor is Scott Kirkpatrick.
- Omer Lev I strive to understand the connection between mathematics and complexity with economics and human behavior, using the framework of game theory. I focus on computational social choice, which deals with the way people (and complex systems and agents) make decisions, and auctions, which model such basic human interactions.
- My Advisor is Prof. Jeff Rosenschein.
- Guy Avni I am interested in formal verification and automata theory. In formal verification, we model systems as mathematical objects and prove, on this model, that the system meets its specification. Automata theory has proven to be a very fruitful and versatile framework for this objective. Traditional automata accept or reject their input, and are thus Boolean. We study weighted automata, which assign a value or weight to their input. Intuitively, when a weighted automaton accepts a word, it also says how much it cost to accept it. Although this seems a minor extension, fundamental problems that been solves decades ago for Boolean automata are still open or known to be undecidable in the weighted setting. For example, while in the Boolean setting, nondeterminism does not add to the expressive power of automata, not all weighted automata can be determinised.
- My advisor Prof. Orna Kupferman.
- Guy Kelman Extreme events and the collective phenomena of many-particle stochastic systems. In uncoordinated activity of discrete particles randomness is a key feature. My main interest is uncovering the mechanisms that drive many-particle systems by measuring their (sometimes simple) microscopic behavior.
- My Advisor is .