Patron

M Rajaram [Vice Chancellor, Anna University, Chennai]

Conference Chair

T V Gopal (Anna University, Chennai, India)

http://www.csi-india.org/web/software/home

http://www.csi-india.org/alan-turing-special

 

Conference Co-Chair

Manindra Agrawal (Indian Institute of Technology, Kanpur, India)

http://www.cse.iitk.ac.in/users/manindra/

 

Programme Committee

 

 

Steering Committee

Manindra Agrawal (Indian Institute of Technology, Kanpur, India)

Jin-Yi Cai (University of Wisconsin - Madison, USA)

Barry S. Cooper (University of Leeds, Leeds, UK)

John Hopcroft (Cornell University)

Angsheng Li (Chinese Academy of Sciences)

Zhiyong Liu (Institute of Computing Technology, Chinese Academy of Sciences)

 

Organising Committee

C Chellappan, Dean, CEG, Anna University - Chair

T V Geetha, HOD, Department of Computer Science and Engineering, Anna University

Shekhar Sahasrabuddhe, Regional Vice President [RVP VI], Computer Society of India

S P Soman, Regional Vice President [RVP VII], Computer Society of India

Dipti Prasad Mukherjee, Regional Vice President [RVP II], Computer Society of India

V Rhymend Uthariaraj, Professor and Director, Ramanujan Computing Center, Anna University

M Chandrasekhar, Professor and Head, Department of Mathematics, Anna University

R.S.Bhuvaneswaran, Deputy Director - Web Admin, Ramanujan Computing Center, Anna University

Dr. A. Azad, Director i/c,Centre for International Affairs, Anna University

 

Name

Country

Areas of Expertise

Aaron D. Jaggard

[http://dimacs.rutgers.edu/~adj/]
Presently: Also with the U.S. Naval Research Laboratory

 

USA
Accountability, Combinatorics,Dynamics of distributed systems, Formal methods in security, Game theory, Network routing, Privacy

Ajith Abraham

http://www.softcomputing.net/

USA

Machine Intelligence, Soft Computing, Nature Inspired Computing

Bakhadyr Khoussainov

http://www.cs.auckland.ac.nz/~bmk/

New Zealand

 

Computable Algebraic Systems and Model Theory, Automata and Automatic Structures ,Games on Finite Graphs and Complexity ,Abstract Data Types and Algebraic Specifications,Computably Enumerable Reals and Randomness

Carlo Alberto Furia
[http://se.inf.ethz.ch/people/furia/]

Switzerland

Formal Methods for Software Engineering, Scientific Computing, Algorithms & Theory, Modeling Time in Computing

Chaitanya K Baru

[http://users.sdsc.edu/~baru/]

USA

Scientific data management. Large-scale data systems. Data integration. Data analytics. Parallel database systems, Big Data and Modeling

Christel Baier

[http://wwwtcs.inf.tu-dresden.de/~baier/]

 

Germany

Modeling, Specification and verification of reactive systems, Quantitative analysis of stochastic systems, Probabilistic model checking, Coordination languages, Compatibility of components ,Temporal and modal logics ,Automata over infinite structures, Game theory ,Verification of infinite-state systems

Cristian S. Calude
[http://www.cs.auckland.ac.nz/~cristian/]

New Zealand

Unconventional Models of Computation, Quantum Computing, Physics of Computation, Natural Computation, Algorithmic Information Theory

Dimitris Fotakis

[http://www.softlab.ntua.gr/~fotakis/]

Greece

Approximation and Online Algorithms., Algorithmic Aspects of Communication Networks, Algorithmic Game Theory., Facility Location Problems, Computational Complexity, Algorithmic Engineering.

Dipti Deodhare
[http://drdo.gov.in/drdo/labs/CAIR/English/index.jsp?pg=homebody.jsp&labhits=31925]
India
Intelligent Systems, Neural Networks, Robotics

 

Hongan Wang

[http://lcs.ios.ac.cn/en/wiki/Hongan_WANG]

China

Computer-Human Interaction, Theory and Applications of Real-Time Intelligent Systems.

Jacques Sakarovitch
[http://perso.telecom-paristech.fr/~jsaka/]

Chair: IFIP TC - 1 - Foundations of Computer Science

[http://www.ifip.org/tc/?tc=tc1]

France

Automata theory, Models for parallelism: trace theory, Automata Resynchronization, Combinatorics of words, Combinatorial theory of groups and semigroups.

Jianxin Wang
[http://en.wikipedia.org/wiki/Central_South_University]

China

Biological Computing

Jose R. Correa

http://www.dii.uchile.cl/~jcorrea/

Chile

Decision Models, Operations, and Optimization

Kamal Lodaya

http://www.imsc.res.in/~kamal/

India

Concurrency, Petri Nets, Logic, Automata.

Kazuhisa Makino

http://www.misojiro.t.u-tokyo.ac.jp/~makino/makinoe.html

Japan

Combinatorial optimization and discrete mathematics, Boolean formulas and propositional satisfiability, Algorithms and complexity in artificial intelligence and databases

R Nadarajan

http://www.psgtech.edu/department/mca/Dr.R.Nadarajan.html

India

Object Oriented Computing, DBMS & Data Mining

Y Narahari

[http://lcm.csa.iisc.ernet.in/hari/]

India

Algorithmic game theory , Design of auctions and electronic markets , Dynamic mechanisms with learning , and Social network analysis

Naijun Zhan
[http://lcs.ios.ac.cn/en/wiki/Naijun_ZHAN]

China

Theory of real-time and concurrent systems

Navin Goyal, Microsoft Research, http://research.microsoft.com/en-us/people/navingo/

India

Algorithms

Pan Peng
[http://www.panpeng.me/]

China

Theoretical computer science, Network science, Random graph models, Local algorithmic paradigms for handing large scale network data, including property testing, streaming and distributed algorithms, local exploration algorithms.

C Pandurangan

[http://www.cse.iitm.ac.in/~rangan/]

India

Algorithms

Rajagopal Srinivasan

Tata Consultancy Services

[http://www.tcs.com/SiteCollectionDocuments/About%20TCS/TCS_Research_Dr_Rajgopal_Srinivasan_Profile_102012.pdf]

India

Protein Structure Prediction, Bio-medical Text Mining, Next Generation Sequencing

Rajeeva Karandikar

[http://www.cmi.ac.in/people/fac-profile.php?id=rlk]

India

Mathematics, Probability & Statistics

Richard Banach

[http://www.cs.man.ac.uk/~banach/]

UK

Regular Relations, Relational Aspects of Specification Theory and Programming Methodology, Concurrency Theory, Graph Rewriting Models of Computation

R K Shymasundar

http://www.tcs.tifr.res.in/~shyam/

India

Real-Time and Reactive Programming ,Real-Time Programming: Languages,, Specification and Verification, Logic Programming, , Parallel Programs and Scheduling, Programming Languages: Semantics, Design, and Tools, Systems for e-Commerce

Somenath Biswas
[http://www.cse.iitk.ac.in/users/sb/]

India

Randomized algorithms, Computational biology, Computational complexity, Logic in computer science.

Toshihiro Fujito

[http://www.algo.ics.tut.ac.jp/~fujito/index_e.html]

Japan

Algorithms and Computational Theory

Venkat Chakaravarthy

IBM Research

[http://pages.cs.wisc.edu/~venkat/]

India

Complexity theory, Approximation Algorithms, Databases

Vincent Duffy

[https://engineering.purdue.edu/IE/People/profile?resource_id=9261]

USA Human Factors,Digital human modeling, Safety engineering, Work methods and measurement and Ergonomics
Wenhui Zhang
[http://lcs.ios.ac.cn/~zwh/]

China

Formal specification languages, temporal logics, Formal software verification technology, logical reasoning and model checking

Xiaoming Sun
[http://www.carch.ac.cn/~xmsun/]

China

Algorithms, Computation, Combinatorial Optimization and Applications, Quantum Computing