Protokoły populacyjne (Population protocols)
są stosunkowo niedawno wprowadzonym modelem obliczeń rozproszonych,
w którym uczestnicy będący maszynami o skończonej liczbie stanów
spotykają się losowo parami i przy tych spotkaniach zmieniają te stany
zgodnie z pewną funkcją przejścia.
Jedną z rozważanych implementacji tych protokołów są obliczenia,
w których uczestnikami są cząsteczki związków chemicznych,
a funkcja przejścia jest wyznaczona przez reakcje chemiczne, które
między nimi zachodzą.
Jedna z pierwszych prac na ich temat została w roku 2020
uhonorowana nagrodą Dijkstry.
Chciałbym aby studenci przeczytali kilka znanych prac na ten temat
(które im wskażę) i opowiedzieli o nich na seminarium.
Ja też mogę coś opowiedzieć.
Możliwe, że część zajęć poprowadzona zostanie we współpracy z
Uniwersytetami w Liverpoolu i Durham.
Językiem wykładowym zasadniczo będzie język polski, ale w części
zajęć konieczne może być przejście na język angielski.
