Mathematics Colloquia and Seminars

Return to Colloquia & Seminar listing

GGAM PhD Exit Seminar: Advances in Discrete Chemical Computation: Algorithms, Lower Bounds, and Software for Population Protocols

Special Events

Speaker: Eric Severson
Start time: Thu, Aug 12 2021, 3:00PM

The population protocols model describes a population of finite-state computational agents, whose states change through successive pairwise interactions. One motivating example are chemical reaction networks, viewing the agents as molecules undergoing pairwise collisions and changing state via reactions. Since this model is mathematically fundamental, equivalent processes have been independently studied in many fields.
This work contributes new software tools for simulating population protocols, studies the time and space complexity of fundamental tasks, and explores various additional constraints on the model that ensure reliability, low bandwidth, and composability.