Ivan Gavran
where else to find them
linkedin:ivan-gavran-239769208
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Eva Darulovaonce
- Rupak Majumdaronce
who talks about the same things
- Loris D'Antoni17 talks
- Eric Koskinen13 talks
- Chandrakana Nandi9 talks
- Ruzica Piskac9 talks
- Thomas Reps20 talks
- Suresh Jagannathan16 talks
| title | conference | date |
|---|---|---|
| Thinking Hard is not Enough | Cosmoverse 2025 | 2025-10-30 |
Claim: thinking hard alone fails for complex blockchains, so a spec-first workflow pairs formal specs with executable checks. Quint uses temporal-logic-style… | ||
| Interactive Synthesis of Temporal Specifications from Examples and Natural Language | OOPSLA 2020 | 2020-11-15 |
LTLTalk synthesizes co-safe LTL specifications from one natural-language command plus a single demonstration by encoding structure and semantics as an SMT… | ||
| nothing matches | ||