6th International Colloquium on Theoretical Aspects of Computing
16-20 August 2009 Kuala Lumpur, Malaysia

 

 

 

 

 

Invited Speakers

We are pleased that the following speakers have agreed to give keynote addresses at the conference.

1.      Leslie Lamport, Microsoft Corporation, USA

2.      Sriram Rajamani, Microsoft Research India

3.      Annabelle McIver, Macquarie University

4.      Zuohua Ding, Zhejiang Sci-Tech University

 

Leslie Lamport, a computer scientist, is a particularly welcome
speaker at ICTAC 2009 in view of his many seminal contributions
to concurrent computing and distributed systems. He began writing
concurrent algorithms in the early '70s. After 20 years of trying to
figure out how to tell if his algorithms were correct, he formulated
an idea of proof writing. Lamport is also known for creating the LaTeX
typesetting system. He is the author of about 100 publications including
two books, 'Specifying Systems: The TLA+ Language and Tools for Hardware
and Software Engineers' and 'LaTeX: A Document Preparation System.' He is
now a senior researcher at Microsoft Research's Silicon Valley laboratory
in Mountain View, California.
 
Sriram Rajamani is a Principal Researcher and Research Manager with
Microsoft Research India, Bangalore. Sriram leads the Rigorous Software
Engineering (RSE) group in Microsoft Research India. The RSE group does
research in improving productivity by bringing rigor to all aspects of
software development. Prior to moving to the India lab, Sriram was most
recently manager of the Software Productivity Tools group in Microsoft
Research, Redmond, where he led several projects together with his
wonderful colleagues --- SLAM and Static Driver Verifier, Behave! and
Zing. The organisers are very pleased that he is able to be a speaker
at ICTAC 2009.
 
Annabelle McIver is Associate Professor in the Department of Computing,
Macquarie University, Sydney, Australia. She has recently published two texts 
in Formal Methods: one is a collection of articles by the internationally renowned 
membership of the IFIP Working Group 2.3 Programming Methodology; the other
is the only full research text on probabilistic program abstraction, refinement and 
proof. She is the author of dozens of papers on Formal Methods ranging from
highly theoretical (quantitative modal algebra) to extremely practical
(automatic correctness verifiers for probabilistic systems). She holds
degrees in mathematics from Cambridge and Oxford (UK), and has worked in
industry. She is also a Fellow of Australia’s National ICT centre where she 
applies mathematically-based program-correctness techniques to the design 
and deployment of wireless-sensor networks. The organisers of ICTAC09 are 
specially pleased to have Professor McIver as an invited speaker in view of her 
work applying novel theory to realistic system behaviour. 
Her use of probabilistic reasoning extends the application of Formal Methods to 
facilitate analysis and design of systems that meet their ideal specifications
only sometimes, but in a quantified manner.
 
Zuohua Ding received his PhD (1996) in Mathematics and MS (1998) in
Computer Science all from University of South Florida, USA. Currently he is a 
professor and the director of the Center of Math Computing and Software 
Engineering, Zhejiang Sci-Tech University, Hangzhou, China. He was a research 
professor of National Institute for Systems Test and Productivity, USA from 2001 to
2005. From 1998 to 2001, he was a senior software engineer in Advanced
Fiber Communication, USA. His research interests include software testing,
model checking, program analysis, formal methods, software reliability
modeling and artificial intelligence. The organisers of ICTAC09 are
particularly pleased to have Professor Ding as an invited speaker in view of his
recent work applying continuous (differentiable) methods to the analysis and 
design of concurrent systems. His use of non-linear but low-order differential 
equations to reason about deadlock and related behaviours offers the prospect
of overcoming the problems of state-space explosion encountered by
standard methods.