∃ projects you’ll like.
Ph.D. student in Computer Science at Bar-Ilan University and a teaching assistant. My research focuses on Automated Reasoning & Logic — SAT/SMT solvers and parametric bit-vectors.
Interactive course materials on automated reasoning — SAT/SMT solvers, decision procedures, and proof generation, with step-by-step walkthroughs.
Interactive AI playground — tutorials and visualizations covering Markov Decision Processes, search, and classic algorithms, animated step by step.
Hands-on cyber-security playground — practical demos of common attack patterns and the defenses that stop them.
Course companion site — a JavaScript live-IDE and an HTML lab with a side-by-side preview, plus walk-through lessons across 15 topic folders.
Interactive 3D lab for core data structures — BST, AVL, B-tree, heap, hash table, skip list, union-find and more, with animated insert/find/delete operations.
My M.Sc. thesis work — a visual playground for Parametric Bit-Vectors. Watch bit-width parameters propagate through SMT operations and rewrite rules in real time.
Interactive visualization lab for the Nurse Scheduling Problem — explore constraints, shift assignments, and how solvers build a feasible roster step by step.
In: SAT. Vol. 341. LIPIcs. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025, 4:1–4:24.
Bar-Ilan University · Department of Computer Science · 2025