Hi all,

Welcome to ResearchAndYous Theory Discussion forum!  Our goal is to promote discussion on topics related to the theory of computation, with a special emphasis on state-of-the-art research and interesting breakthroughs in the field. In addition to discussions on topics specific to individual research interests among different groups in India, we will also include posts that summarize new work, and explore new research problems.

Topics of interest will include

• Algorithms and data structures; including randomized and approximation algorithms, distributed algorithms, networks, applications of probability and statistics to analysis of algorithms
• Computational Complexity and Combinatorics, Optimization
• Algorithmic algebra and Coding Theory
• Automata and Formal Languages
• Logic in Computer Science, including: semantics, specification, and verification of programs, type theory, rewriting and deduction
• Theoretical aspects of databases, information retrieval
• Concurrency
• Cryptography and security
• Computational Geometry
• Parallel and distributed computing
• Machine Learning
• Computational Biology and Robotics
• Quantum Computing and other new Computation Models

This portal will also act as a resource for young students and researchers looking for material to understand advanced topics and will include links to textbooks, monographs and lecture notes.

We look forward to your active participation!