Theory & Methods in Computer Science (CTM)
Section Information
Theory and Methods in Computer Science focus on the fundamental principles, mathematical foundations, and formal methods that underpin computation and information processing. The field develops rigorous models, algorithms, and analytical techniques to understand the limits, complexity, correctness, and efficiency of computational systems.
Current research includes algorithm design and analysis, computational complexity, formal verification, logic in computer science, cryptographic theory, and discrete mathematics. Advances in mathematical modeling, probabilistic analysis, and theoretical machine learning continue to shape the foundations of modern computing.
This section publishes theoretical studies, proofs, formal frameworks, complexity analyses, and methodological innovations that contribute to the core foundations of computer science.
Scope
Algorithms and Data Structures
- Design and analysis of efficient algorithms
- Graph algorithms and combinatorial optimization
- Randomized and approximation algorithms
- Advanced data structures and performance bounds
Computational Complexity Theory
- Complexity classes and reductions
- NP-completeness and hardness results
- Parameterized and fine-grained complexity
- Lower bounds and computational limits
Formal Methods and Verification
- Model checking and theorem proving
- Program verification and correctness proofs
- Formal specification languages
- Automated reasoning systems
Logic and Foundations of Computing
- Mathematical logic and type theory
- Lambda calculus and formal semantics
- Proof systems and logical frameworks
- Foundations of programming languages
Cryptography and Security Theory
- Cryptographic protocols and primitives
- Information-theoretic security
- Zero-knowledge proofs and secure computation
- Post-quantum cryptography
Discrete Mathematics and Combinatorics
- Graph theory and network models
- Combinatorial structures and counting methods
- Probability in discrete systems
- Mathematical foundations of computation
Theoretical Machine Learning
- Learning theory and generalization bounds
- Optimization theory in machine learning
- Statistical learning frameworks
- Foundations of artificial intelligence theory
Editorial Board
Click here to see the Section Editorial Board of “Theory & Methods in Computer Science (CTM)”.
Papers Published
Click here to see a list of 19 papers published in this section.