Joshua Shay Kricheli v2 / beta

Computer Science PhD · Syracuse University

Models that learn & logic that verifies.

I’m a NeuroSymbolic AI researcher at the Leibnitz Lab, working on systems that combine statistical learning with rigorous logic — and that can detect, explain, and recover from their own errors. Advised by Prof. Paulo Shakarian.

Last updated recently

Joshua Shay Kricheli
Syracuse, New York, USA 2018 - Present
8+
Years experience
6
Peer-reviewed publications
7
Talks & essays
12
Awards & fellowships

00 — About

Engineer, computer scientist, working at the intersection of logic and learning.

Last updated: Loading…

Hi there!

I am a 3rd-year Computer Science Ph.D. student and a Research Associate at the Leibnitz NeuroSymbolic Lab @ Syracuse University (SU), New York, USA under the direction of Prof. Paulo Shakarian.

Until recently, I served as a Visiting Researcher at the Learning Sciences group at the Institute for Creative Technologies (ICT) under the University of Southern California (USC).

Until 2023, I served as an AI/ML Researcher at Ben Gurion University of the Negev (BGU), Israel. I was a part of Prof. Gera Weiss and Prof. Shai Arogeti’s Intelligent Robotics Lab (IRL) at BGU, which I co-founded.

I hold a Master of Science (M.Sc.) in Computer Science and a Bachelor of Science (B.Sc.) in Mechanical Engineering, both from BGU.

My research interests are in the fields of Artificial Intelligence (AI), Robotics, Machine Learning (ML), and Modern Control Theory.

Feel free to take a look around to learn more about my work.

News

  • Loading news...

Research focus

Where my work lives.

Three threads run through everything I build — together they shape the questions I ask and the systems I help bring into the world.

  1. 01

    NeuroSymbolic AI

    Infusing statistical neural models with rigorous logic so that learned systems can reason, justify, and recover from their own errors — the core of my PhD work.

  2. 02

    Machine Learning

    From hierarchical multi-label classification to LLM scaling laws and agentic frameworks for education — applied ML on real problems with real constraints.

  3. 03

    Robotics & Control

    Differential games and modern control theory for autonomous systems handling competing objectives — bridging the mechanical engineering that started my path with the AI that continues it.

01 — Education

Three degrees, one trajectory.

From mechanical engineering to computer science to a PhD in NeuroSymbolic AI — each step a deliberate move toward the questions I find most worth answering.

Education


Ph.D. in Computer Science

Syracuse University, Syracuse, New York (2025-2027),
Arizona State University, Tempe, Arizona (2023-2025)
2023-2027

  • Focusing on NeuroSymbolic infusing statistical neural-based model with rigorous logic
  • Advised by Prof. Paulo Shakarian (Wikipedia, Google Scholar, IEEE, dblp)
  • Current GPA: 4.0/4.0

M.Sc. in Computer Science

Ben Gurion University of the Negev, Beer Sheva, Israel
2019-2022

  • Artificial Intelligence and Autonomous Software Systems Major
  • Co-advised by: Prof. Gera Weiss, Computer Science (Google Scholar, IEEE, dblp) and Prof. Shai Arogeti, Mechanical Engineering (Google Scholar, IEEE, dblp)
  • Graduated with GPA: 92.26/100
  • Thesis grade: 94/100
  • Conferred June 2023
  • Certification

Selected coursework:

B.Sc. in Mechanical Engineering

Ben Gurion University of the Negev, Beer Sheva, Israel
2014-2018

02 — Experience

A research-and-engineering path across labs and continents.

Roles at Syracuse, ICT@USC, ASU, BGU, Dell, and Intel — always at the boundary of research and shipped systems.

Occupational Experience


Research Associate

Leibnitz Lab, Syracuse University
Syracuse, New York, USA
2025-Present

Visiting AI Researcher

Institute for Creative Technologies (ICT), Viterbi School of Engineering, University of Southern California (USC)
Los Angeles, California, USA
2025

USC Website | USC ICT Website | Summer Internship Post | Group GitHub

Research Associate

Lab-V2, Arizona State University
Tempe, Arizona, USA
2023-2025

  • Research Associate at the V2 Neuro-Symbolic AI lab under the Ira A. Fulton School of Engineering at ASU, supervised by Prof. Paulo Shakarian
  • Managed a team of four researchers in conducting research in NeuroSymbolic AI
  • Authored (first author) and presented a peer-reviewed paper at CIKM 2024, Boise, Idaho, USA
  • Developed an open-source Python package called PyEDCR, implementing the method suggested at the CIKM article
  • Reviewed papers for the 2nd Workshop on Metacognitive Prediction of AI Behavior at SDM2025, Alexandria, VA, USA

Lab YouTube | Lab GitHub

Vice President Data Science

Frenn Analytics
Tel Aviv, Israel
2022

  • Founding the Data Science department at the HR-Tech focused start-up company in its early stages using various AI methods
  • Hiring and managing a team of entry-level data scientists for data analysis and designated inference research
  • Set the foundations for implementing predictive ML pipelines to use in-house company data to provide desired actionable insights for improving employee compensation models

Company LinkedIn | Company Facebook

AI/ML Research Associate and Teaching Assistant

Ben Gurion University of the Negev
Beer Sheva, Israel
2020-2023

  • Authored and presented a peer-reviewed paper at MED 2021
  • Developed an open-source Python package called PyDiffGame, implementing the method suggested at the article
  • Acting Teaching Assistant at two CS undergraduate courses - once at Intro to CS and two times at PPL, both at BGU

BGU Website | BGU CS Profile

Data Scientist

Dell Technologies
Beer Sheva, Israel
2019-2022

  • Working with a diverse team of data scientists, consultants and engineers from various locations; Israel, USA India and Slovakia
  • Worked 6 months on a Jira tickets duplication use case implemented by evaluating similarities between possible candidates
  • Developing more than 20 web-based data science pipelines used to implement, manage and display results of data science projects
  • Implemented pipelines for: Time Series analysis, EDA, Wordcloud, Topic Modeling, Chat Bot, Video transcript generation for seeking and questions answering, Project Management, Human Resources Allocation, Organization Exploration and a web-based portal that showcases these
  • Using mostly Python, utilizing the packages Numpy, Pandas, Scipy, Plotly, Dash, Scikit-Learn, TensorFlow and PyTorch
  • Taking action; presenting various demonstrations of the designed tools, running workshops, presenting at seminars

Dell Technologies Website

Computer Chips Manufacturing Process Engineer

Intel Corporation
Kiryat Gat, Israel
2018-2019

  • Monitoring Intel’s various computer chips manufacturing processes
  • Identifying design and process malfunctions, analyzing performance statistics, issuing and verifying problems

Intel Website

03 — Publications

Peer-reviewed work.

Papers across NeuroSymbolic AI, hierarchical multi-label classification, vision-language sensor fusion, and differential games for control.

Publications


Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments

2026
Conference Article; 40th Annual AAAI Conference on Artificial Intelligence (‘AAAI 2026’), Singapore
Mario Leiva, Noel Ngu, Joshua Shay Kricheli, Aditya Taparia, Ransalu Senanayake, Paulo Shakarian, Nathaniel Bastian, John Corcoran, Gerardo Simari

Proceedings Entry | PDF | Poster

VLC Fusion: Vision-Language Conditioned Sensor Fusion for Robust Object Detection

2026
Conference Article; International Conference on Learning Representations (‘ICLR 2026’), Workshop on Unifying Concept Representation Learning (‘UCRL’), Rio de Janeiro, Brazi
Aditya Taparia, Noel Ngu, Mario Leiva, Joshua Shay Kricheli, John Corcoran, Nathaniel D Bastian, Gerardo Simari, Paulo Shakarian and Ransalu Senanayake

OpenReview

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge

Presented October 2024
Conference Article; 1st Author; 33rd ACM International Conference on Information and Knowledge Management (‘CIKM’), Boise, Idaho, USA
Joshua Shay Kricheli, Khoa Vo, Aniruddha Datta, Spencer Ozgur and Paulo Shakarian

ACM | arXiv | Poster | Code | Video

Differential Games for Compositional Handling of Competing Control Tasks

March 2022
Master of Science in Computer Science Thesis
Advised by Prof. Shai Arogeti and Prof. Gera Weiss
Concluded, reviewed and approved, as partial fulfillment of the requirements for the Master of Science degree

BGU Archive | Research Gate | Poster | Presentation | Code |

Composition of Dynamic Control Objectives Based on Differential Games

June 2021
Conference Article; 1st Author; 29th Mediterranean Conference on Control and Automation (‘MED’), Bari, Italy
Joshua Shay Kricheli, Aviran Sadon, Shai Arogeti, Shimon Regev and Gera Weiss

IEEE | Research Gate | Presentation | Code

SNIC Bifurcation and its Application to MEMS

October 2018
Conference Article; 1st Author, The 35th Israeli Conference on Mechanical Engineering (‘ICME’), Beer Sheva, Israel
Advised by Prof. Oriel Shoshani, ME BGU (IEEE | dblp)
Awarded a Certificate of Excellence

Conference Preprint | Research Gate | Poster | Presentation | Code

04 — Teaching & Talks

Sharing the work.

Courses I’ve taught, talks I’ve given, and essays I’ve written — the public-facing side of the research.

Teaching

Teaching


Intro to Computer Science

Introductory programming course, Maths degree 1st year; Python language Course page

Principles of Programming Languages (PPL)

Advanced programming course, CS undergraduate degree 2nd year; TypeScript, Scheme and Prolog Languages

Course page

Talks & Essays

Talks and Essays


Adaptive Agents, Reliable Learning: Toward NeuroSymbolic Solutions in Education AI
USC ICT Essay
August 2025

Link

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
Presented on October 2024 (English)
2024 33rd ACM International Conference on Information and Knowledge Management (‘CIKM’), Boise Center, Boise, Idaho, USA

Conference Schedule | Poster

Differential Games for Modular Handling of Competing Control Objectives
Presented on March 2023 (Hebrew)
Israeli Conference on Robotics (‘ICR’) 2023, Airforce Conference Center, Herzliya, Israel

Participation Record | Presentation

Carlini & Wagner Evasion Attacks
Presented on September 2022 (English)
Deep Science research presentation at Deutsches Zentrum für Luft und Raumfahrt (DLR) - The German Aerospace Center

Presentation

Composition of Dynamic Control Objectives Based on Differential Games
Presented on June 2021 (English)
29th Mediterranean Conference on Control and Automation (‘MED’), Bari, Italy

Proceedings | Presentation

Siamese Neural Networks for One-Shot Image Recognition
Gregory Koch, R. Z., & Salakhutdinov, R., 2015
Presented on May 2021 (Hebrew)
Advanced Seminar in Machine Learning, Department of Computer Science, Ben Gurion University of the Negev

Video | Presentation

Quantum Computing in Machine Learning
Presented on June 2020 (English)
Advanced Seminar for Developers, Data Science Team, DellEMC

Video | Presentation

05 — Recognition

Selected fellowships, scholarships, and awards.

Funding and recognition that has supported my path from Israel to the United States, across mechanical engineering, AI, and security-focused research.

Selected Fellowships, Scholarships, Affiliations and Awards


Ph.D. KG Tan Computer Science Award
2025 - 2027
Syracuse University fellowship by the SU Alum Innovator Kwang G. Tan
Award Announcement | Endowment Article

Ph.D. ‘Galileo Project’ (‘GP’) Affiliate, Center for Astrophysics, Harvard University, USA
2024 - Present
Employing AI in the systematic scientific search for evidence of extraterrestrial technological artifacts
GP Affiliates | GP Website | GP @ Harvard | Harvard Center for Astrophysics

Ph.D. ‘Global Security Initiative’ (‘GSI’) 4-Year Fellowship
2023 - 2025
ASU fellowship for security-focused research improving capabilities for high-profile national security
GSI Website

M.Sc. Israeli National Science Foundation (NSF) Grant
2023
Science research grant for academic research teams who contributed outstanding novel work - awarded for the Master’s thesis

M.Sc. ‘Israel Data Science Initiative’ and German ‘Helmholtz Information and Data Science Academy’ Fully Funded Exchange Program
August - October 2022
Deep Science research at ‘Deutsches Zentrum für Luft und Raumfahrt’ (‘DLR’) - The German Aerospace Center
CS BGU Announcement | Helmholtz-Israel Exchange | German Aerospace Center | DLR Data Science Institute Website | Presentation

M.Sc. ‘Israeli Smart Transportation Research Center’ (‘ISTRC’) 1-Year Excellence Fellowship
2020-2021
Technion and Bar-Ilan Universities program with Israel’s Prime Minister’s Office and Council for Higher Education
CS BGU Announcement | ISTRC 2021 Scholarship Winners | ISTRC Website

M.Sc. ‘Agricultural, Biological and Cognitive’ (‘ABC’) Robotics 2-Year Fellowship
2019-2021
Ben Gurion University of the Negev initiative for innovative multidisciplinary robotics research fellowship for admitted teaching assistants
ABC M.Sc. Students Listing | ABC Website

B.Sc. ‘Educating for Excellence’ 1-Year Fellowship
2015-2016
Israeli foundation for educating children from its socioeconomic and geographic periphery toward academic and personal excellence
Educating for Excellence Website

B.Sc. ‘Israel Scholarship Education Foundation’ (‘ISEF’) 3-Year Fellowship
2014-2017
Academic excellence and leadership scholarship funded by investors from the United States
ISEF Website | ISEF Facebook | ISEF LinkedIn

B.Sc. Tel-Aviv University (TAU) 4-Year Scholarship
2014-2018
Engineering degree academic scholarship
TAU Website

B.Sc. Israeli Ministry of Education 2-Year Scholarship
2014-2016
Bachelor students funding program issued by the Student Assistance Fund, Education Ministry office in the Israeli government
Israeli Ministry of Education Student Scholarships

Pre-Engineering ‘Achievements for Hi-Tech’ Program 1-Year Fellowship
2013-2014
Israeli government funding program for excellent honorably discharged soldiers from the Israeli Defence Forces
Achievements for Hi-Tech Program Website

06 — News

What’s happening lately.

A live feed from my research life — new papers, talks, affiliations, and milestones.

  1. Loading news…