Prof. Marcello Bonsangue

Professor Computer Science

Prof. Marcello Bonsangue

Director of Education, Leiden University

Marcello Bonsangue is a full professor in Systems Modelling and Analysis at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, The Netherlands. He studied computer science at the University of Milano, Italy, and got his Ph.D. in 1996 from the Free University of Amsterdam, The Netherlands. His research interest covers the foundation of computer science such as Algebra, Automata theory, Modal logic, Program semantics, and formal methods such as program verification and specification, model checking, testing of software systems, process and object-oriented calculi, coordination languages, pi-calculus, reasoning with names.

Currently, he is a member of the Algorithms and Programming research group at LIACS and the research group Formal Methods at the Centre for Mathematics and Computer Science (CWI) in Amsterdam, The Netherlands.

Marcello Bonsangue is the director of education of the LIACS, coordinator for the international students and relationships, member of the LIACS management team, and member of the Scientific Council of LIACS.


Koji Nakao

Guest Professor - Yokohama National University

Koji Nakao

Distinguished Researcher - NICT (National Institute of Information and Communications Technology), Yokohama National University - Guest Professor, CABINET SECRETARIAT of Japan - Security Advisor

Koji Nakao received a B.E. degree in Mathematics from Waseda University, in Japan, in 1979. Since joining KDDI in 1979, Koji has been engaged in research on communication protocol and information security technology for telecommunications in the KDDI laboratory. His current interests are IoT security, 5G security, and Supply-Chain security. His present positions are "Distinguished Researcher" to manage research activities for cybersecurity technologies in NICT and "Guest Professor" of Yokohama National University on IoT security research. Koji has also been an Advisor of Cybersecurity for CABINET SECRETARIAT in the Japanese Government since April 2017.


Prof. Dr. Eng. Wisnu Jatmiko, S.T., M.Kom.

Professor Computer Science - Universitas Indonesia

Wisnu Jatmiko obtained a Bachelor's degree in Electrical Engineering from the Faculty of Engineering and Master's degree in Faculty of Computer Science. Both received from Universitas Indonesia in 1997 and 2000, respectively. In 2007, He received his Dr. eng. degree from Micro-Nano Systems Engineering, Nagoya University, Japan. He currently works at the Faculty of Computer Science, University of Indonesia. His research interest are Micro-nano Systems, Realtime Traffic Monitoring Systems, Telehealth Information Systems, and Autonomous Robot.

From 2008 to 2012 and from 2013 to 2017, he held the Research Manager Position at the Faculty of Computer Science. Then, from 2017 to 2021, he served as Chair of the Master and Doctoral Program in Computer Science, Faculty of Computer Science, Universitas Indonesia. He also holds the IEEE (The Institute of Electrical and Electronics Engineers) Indonesia Section Chair from 2019-2020 and is an IEEE Senior Member (SMIEEE).

Technical Co-Sponsor: