Appointment of Christina Fragouli and Viktor Kuncak

Christina Fragouli has been appointed Associate Professor of Computer Science and Communication Systems at the School of Computer and Communication Sciences (IC)

Christina Fragouli's research work focuses on network coding, coding techniques for network information transfer algorithms and more generally network communications and wireless networks.
Her contributions span from deriving fundamental performance bounds, to designing network coding algorithms, and to leveraging these ideas for applications such as network tomography, sensor networks, and security.

Her work has made original connections between communications, coding and computer science with impact both in theory and practice.

In addition to her research work, she has been teaching at all levels of our program, from introductory classes to PhD courses.
She is also the first professor at the IC school to have been rewarded by a "Junior ERC" for her work.

Viktor Kuncak has been appointed Associate Professor of Computer Science and Communication Systems at the School of Computer and Communication Sciences (IC)

Viktor Kuncak’s main contributions have been, on the one hand, in the area of automatic verification of programs, and on the other, in the automatic synthesis of programs which are valid by virtue of their construction. In theoretical computer science, the accuracy of an algorithm is confirmed when it can be said that the algorithm is correct with reference to a set of specifications.

“Program correctness” is probably the key discipline in computer science and includes important challenges. Viktor Kuncak’s work is outstanding in terms of its theoretical foundations and establishing fundamental bases, as well as concerning the tools made available to other researchers and the community at large.

Viktor Kuncak has contributed to the acquisition of several key results. Some of his ideas have influenced contemporary programming languages. For instance, he has suggested extensions for Scala, a high level language, to great effect.

On the teaching side, he has participated at all levels of our educational program, from the bachelor to the PhD level.
Among peer recognitions, he has been awarded a "Junior ERC Grant" for his work.