3 papers
cs.FL2025
Atomic Gliders and CA as Language Generators (Extended Version)
Dana Fisman, Noa Izsak
Cellular automata (CA) are well-studied models of decentralized parallel computation, known for their ability to exhibit complex global behavior from simple local rules. While thei…
cs.CY2025
Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
Noa Izsak
In the aftermath of COVID-19, many universities implemented supplementary "reinforcement" roles to support students in demanding courses. Although the name for such roles may diffe…
cs.FL2023
Learning Broadcast Protocols
Dana Fisman, Noa Izsak, Swen Jacobs
The problem of learning a computational model from examples has been receiving growing attention. For the particularly challenging problem of learning models of distributed systems…