2019•01•24     Guimarães

Luis Soares Barbosa, Deputy Head of UNU-EGOV, was elected, on 24 January 2019, Chair of IFIP TC1 (Technical Committee 1 on “Foundations of Computer Science”) , an international board devoted to the development of theoretical computer science and its bridges with other domains of knowledge and socially relevant applications. IFIP TC1 hosts a number of Working Groups playing relevant roles in the dinamization of specific scientific areas such as  “Descriptional Complexity” (WG1.02), “Foundations of System Specification” (WG1.03), “Cellular Automata and Discrete Complex Systems” (WG1.05), “Rewriting” (WG1.06), “Foundations of Security Analysis and Design” (1.07), “Concurrency Theory” (WG1.08), “Verified Systems” (WG1.09) and “String Algorithmics & Applications” (WG1.10). The Committee is formed by the Working Group Chairs, national representatives and a number of distinguished researchers chosen by their outstanding contributions to the foundations of Computer Science.

Established in 1960, under the auspices of UNESCO, IFIP is a global organisation of researchers and professionals working in the field of information and communication technologies to conduct research, develop standards and promote information sharing. Luis participation in IFIP dates back to 2014 when he was co-opted as a member of WG1.03, and later appointed as Portugal representative at TC1. With this election, Luís Soares Barbosa succeeds Prof Jacques Sakarovitch, CNRS – Université Paris Diderot, who served as TC1 Chair from 2013 to 2018.