Formal Reasoning on Dataflow Circuits

Event details

Date	12.06.2025
Hour	13:00 › 15:00
Speaker	Rouzbeh Pirayadi
Category	Conferences - Seminars

EDIC candidacy exam
Exam president: Prof. Patrick Thiran
Thesis advisor: Prof. Paolo Ienne
Thesis co-advisor: Prof. Mirjana Stojilovic
Co-examiner: Prof. Thomas Bourgeat

Abstract
coming soon.

Selected papers

Unleashing Parallelism in Elastic Circuits with Faster Token Delivery Link
The Semantics of a Simple Language for Parallel Programming Link
A Mechanized Semantics for Dataflow Circuits Link

Practical information

General public
Free

Contact

edic@epfl.ch

Export Event

Add to Google Calendar
Download Calendar file (ics)

Event broadcasted in

IC
Agenda LCAV
EDIC Candidacy Exams schedule

Send a reminder