Ran Ettinger
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
- Dafny2 editions2024–2026
on a stage with
- Hezi Danielonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Teaching Automata Theory and Formal Languages with Dafny | Dafny 2026 | 2026-01-11 |
A second‑year automata course encodes textbook definitions in Dafny and produces a machine semantics formalized as a quintuple, a verified imperative simulator… | ||
| Teaching Logic and Set Theory with Dafny | Dafny 2024 | 2024-01-14 |
Course materials use Dafny as a teaching assistant and programming language plus proof assistant to give instant feedback on assignments and to speed grading… | ||
| nothing matches | ||