Visit of Prof. Shmuel Katz
Prof. Shmuel Katz from the Technion is visiting the SE group for six months. He is a guest researcher with a special expertise on research in programming methodology and formal methods. His visit started on March 1 and will last until August 31, and it is financed by an NWO grant. During the research visit, we will jointly perform research on the topic of higher-level aspects.