LogiCS PhD student Krisztina Fruzsa admitted to CMU Summer School of Formal Epistemology

Our first-year LogiCS PhD student Krisztina Fruzsa, who is working on epistemic logic for Byzantine fault-tolerant distributed sytems (supervisor: Ulrich Schmid), has been admitted to the very competitive CMU Summer School of Formal Epistemology 2019.