Personal Page of Guy Leduc
ULg Research Unit in Networking RUN
Guy Leduc @ RUN

Guy Leduc
Full Professor

Guy Leduc is full professor in the Electrical Engineering and Computer Science Department of the University of Liège, and is since 1997 the head of the Research Unit in Networking (RUN) set up by Professor Emeritus André Danthine in 1972. He graduated as an electrical (electronics) engineer in 1983 with the highest distinction (summa cum laude) and got his doctorate (more precisely his "agrégation de l'enseignement supérieur") in computer science in 1991, both from the University of Liège, Belgium. From 1983 to 1997 he has been a researcher at FNRS (the Belgian Fund for Scientific Research) and is now Honorary FNRS Senior Research Associate ("Maître de recherches honoraire"). He is also part-time professor at the University of Brussels (ULB) since 1994.

His research field is computer networks, and his main research interests are traffic engineering, Internet Coordinate Systems, overlays and p2p, mobile ad hoc networks, multimedia, congestion control, and autonomic/active/programmable networks. His research unit is, or has been, involved in European projects such as mPlane on network measurement, ANA on autonomic networking, ECODE on cognitive networking, and ResumeNet on Resilient Networking, and he was a Belgian representative in the COST TMA European Action on "Traffic Monitoring and Analysis". His group was also involved in the TOTEM project on traffic engineering, where an open-source toolbox has been developed, in MOTION on mobile communications, and in the E-NEXT European network of excellence.

He is also known for his earlier research on formal languages and methods applicable to the software engineering of computer networks and distributed systems, and in particular their design, specification, verification, implementation and testing. His research work was based on the ISO formal language LOTOS, which has been standardized by ISO (International Standard Organization). He is one of the main designers of the ISO E-LOTOS language, and in particular of its (timed) operational semantics. Besides basic research on denotational semantics, implementation relations, testing theory and timed extensions of LOTOS, he was involved in several projects where LOTOS was used in system design. Examples of such projects are: BWN on the design of a broad site wideband network, APHRODITE on the CHORUS distributed operating systems, OSI95 on the design of a transport service suitable for multimedia applications, EUCALYPTUS on the development of a LOTOS toolset, and OKAPI on the verification of security protocols specified in LOTOS.

From 2007 to 2012 he was the chairman of the IFIP Technical Committee (TC6) on Communication Systems, and was also the chairman of IFIP WG6.1 from 1998 to 2004. He is an associate editor of the IEEE Transactions on Network and Service Management (TNSM), an area editor of the Elsevier Computer Communications journal, a steering committee member of the IFIP Networking Conference, and a member of the executive committee of the IEEE Benelux Chapter on Communications (COM) and Vehicular Technology (VT). He was the general (co-)chair of the 13th IEEE annual Symposium on "Communications and Vehicular Technology in the Benelux", the 13th IFIP PSTV conference on "Protocol Specification, Testing and Verification" and the 6th "Colloque Francophone sur l'Ingénierie des Protocoles (CFIP)". He was also TPC co-chair of the IWAN 2006 track of Autonomic Networking (AN) 2006 and co-editor of its proceedings. He was a Belgian representative in the COST TMA European Action on "Traffic Measurement and Analysis", the COST 247 European Action on "Verification and Validation Methods for Formal Descriptions", and the COST 264 European Action on "Enabling Networked Multimedia Group Communication". He has published about 100 papers in peer-reviewed journals and conferences.

From 2002 to 2009, he was a member of the computer science committee of the Belgian Fund for Scientific Research - Flanders (FWO - Vlaanderen), and in 2008 and 2009 he was also a member of the same committee at FNRS.

He is a Senior IEEE member, a member of ACM, and received the Bell Telephone Prize in 1985, the SWIFT Prize in 1989, the IBM-Belgium Prize in 1991, the Siemens Prize in 1995, and the Best Paper Award at IFIP Networking 2006 and IFIP Networking 2010.



Université de Liège
Institut d'Electricité Montéfiore
Bât. B28
B - 4000 Liège 1, Belgium

Click here to know how to come and visit us.

My office is: I 73a
Direct phone: + 32 4 3662698
Secretariat: + 32 4 3662696
Fax: + 32 4 3662989
My URL is:
Another one in French focuses on my courses:

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: RUN | Montefiore | ULg
© 2000-2011