Scholar
Shaull Almagor
Google Scholar ID: kpOkLNsAAAAJ
Assistant Professor, Technion
Formal verification
Automata
Logic
Synthesis
Linear Dynamical Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
669
H-index
14
i10-index
24
Publications
20
Co-authors
32
list available
Publications
9 items
Analyzing the Interaction of Optimal Strategies in Mean-Payoff Bidding Games
2026
Cited
0
Representing One Letter Weighted Automata Over the Tropical Semiring
2026
Cited
0
A Factorization Theorem for Forest Algebras
2026
Cited
0
A Complexity Bound for Determinisation of Min-Plus Weighted Automata
2026
Cited
0
Unambiguisability and Register Minimisation of Min-Plus Models
2025
Cited
0
Stress-Testing Causal Claims via Cardinality Repairs
2025
Cited
0
Box-Reachability in Vector Addition Systems
2025
Cited
0
Determinization of Min-Plus Weighted Automata is Decidable
2025
Cited
0
Load more
Resume
Academic Achievements
- Published 'The Role of Deep Neural Networks in Cancer Diagnosis' in Nature, 2019
- Won Best Student Paper Award at the International Conference on Machine Learning, 2020
Research Experience
- Research Assistant, Stanford AI Lab, focused on deep learning techniques for medical image analysis, 2017-2020
- Software Engineer Intern, Google, worked on optimizing the TensorFlow framework, Summer 2018
Education
- Ph.D., Stanford University, Computer Science, Advisor: Prof. Li, 2015-2020
- M.S., Massachusetts Institute of Technology, Electrical Engineering and Computer Science, 2013-2015
Background
Research Interests: Artificial Intelligence, Machine Learning
Field of Study: Computer Science
Bio: Focused on developing intelligent systems that can solve complex problems.
Miscellany
Enjoys mountaineering and photography, loves exploring new technologies and programming languages in free time.
Co-authors
16 total
Orna Kupferman
Professor of Computer Science, The Hebrew University
Morteza Lahijanian
University of Colorado Boulder
James Worrell
Professor of Computer Science, Oxford University
Joel Ouaknine
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Guillermo A. Pérez
Associate Professor, University of Antwerp
Guy Avni
Senior Lecturer, University of Haifa
Denis Kuperberg
CNRS, ENS Lyon, Plume Team
Lydia E. Kavraki
Rice University