Section 06  :Computer and Information Sciences: Foundations of Computer Science, Computation, Algorithms, Data and Knowledge Representation, Information Processing

Keywords

I. Algorithms and discrete structures
Algorithms, approximation algorithms, randomized algorithms
Distributed algorithms
Computational models, complexity, computability, dynamical systems
Combinatorics, graph theory
Formal languages
II. Computation
Computer arithmetic
Computer algebra
High performance computing
III. Programming and software sciences
Programming languages, semantics, compilation
Proof theory, automated theorem proving
Functional reliability, model checking, program analysis
Software engineering
Software architectures
IV. Distributed networks and systems
Management of large-scale distributed infrastructures
Protocols, services and analysis of wired and wireless networks
Algorithms for networks and distributed systems
Resource management, energy efficiency
Virtualization
V. Artificial intelligence and data science
Complex data management: (semi-)structured data, graphs, social networks
Machine learning, data mining
Knowledge engineering, semantic web, information retrieval
Knowledge representation, reasoning
VI. Operational research and decision support
Discrete optimization, mathematical programming, constraint programming
Scheduling, logistics
Computational social choice, algorithmic game theory, multi-agent systems
VII. Computer security
Cryptography
Network security, systems, software
Privacy protection
Communication protection
VIII. Quantum computing
Quantum algorithms
Quantum cryptography
Quantum information
Quantum computing models
IX. Information sciences in interaction with life sciences (biology, health, environment)
Computational methods for the analysis of data and knowledge on living organisms
Bioinformatics, discrete modelling

Composition of the section

Member Directory