Keynote Speakers
Hugo de Garis

Professor at Xiamen University

Title: Topological Quantum Computing (TQC)

Abstract:Prof. Hugo de Garis teaches graduate level math and physics needed to understand the principles of topological quantum computing (TQC)......More

 Kasi Periyasamy

Professor at University of Wisconsin-La Crosse

Title:Formal Methods in Software Development: An Overview.

Abstract: The term "Formal Methods" denotes a collection of mathematically based techniques that can be applied to practically any field......More

Mark A. Yoder

Professor at Rose-Hulman Institute of Technology

Title:Digital Signal Processing Education

Abstract:It was the crystal radio that motivated electrical engineering students some 50 years ago......More

Jiannong Cao

Professor at Hong Kong Polytechnic University

Title: Middleware Challenges for Pervasive Computing

 

Abstract:One big barrier to the wide spread development of pervasive computing applications lies in the increased complexity of the programming task......More