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
Contact
No contact links provided.
Publications
6 items
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
Jumping Automata Must Pay
International Symposium on Games, Automata, Logics and Formal Verification · 2024
Cited
0
Resume (English only)
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
32 total
Orna Kupferman
Professor of Computer Science, The Hebrew University
Co-author 2
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
Co-author 6
Guillermo A. Pérez
Associate Professor, University of Antwerp
Guy Avni
Senior Lecturer, University of Haifa
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up