JetBrains Research unites scientists working in challenging new disciplines

Daniil Berezun has returned from his internship at DIKU

Daniil Berezun (a PhD student at Faculty of Mathematics and Mechanics SPbSU and a member of Programming Languages and Tools Lab) has returned from his two-month internship at Copenhagen University Computer Science Department (Datalogisk Institut, Københavns Universitet, DIKU). During the internship Daniil under supervision of Prof. Neil Jones was studying game semantics and was implementing a game semantic-based normalizer for untyped lambda calculus.