Derek Egolf is a PhD student (since 2021) at Northeastern University, advised by Stavros Tripakis. His primary research focus is the automatic generation of correct-by-construction systems from high-level specifications (synthesis). Today Derek talked about his recent paper in this vein, Efficient Synthesis of Symbolic Distributed Protocols by Sketching, to appear in FMCAD. This was a very interesting talk with a technical conversation afterword. We hope you enjoy it as much as we did!
Podden och tillhörande omslagsbild på den här sidan tillhör Max von Hippel. Innehållet i podden är skapat av Max von Hippel och inte av, eller tillsammans med, Poddtoppen.
