Advisory Board
Dr. E. Allen Emerson
Formal Verification & Model CheckingUniversity of Texas at Austin, USA.
Dr. Michael J. Flynn
Computer ArchitectureStanford University, USA.
Dr. Vaidyeswaran Rajaraman
Computer Science Education & ITIndian Institute of Science, India.
Dr. John Makepeace Bennett
Computer Science PioneerUniversity of Sydney, Australia.
Dr. Wolfram Menzel
Theoretical Computer ScienceKarlsruhe Institute of Technology, Germany.
Dr. Harold V. McIntosh
Theoretical Computer ScienceCINVESTAV-IPN, Mexico.
Dr. Robert France
Formal Methods & UMLColorado State University, USA.
Ms. Jenitha Pilli
MS in Computer Science,University of Louisiana at Lafayette, USA.
