# Research Interests of Department of Computer Science

Research Interests of Department of Computer Science

| Network design and communication, Network protocols, Distributed systems |

| Programming languages; programming techniques; Compilers and interpreters; Operating systems; Mini-max procedures |

| Data structures: Searching and sorting; Database theory; Information storage and retrieval; Data encryption; Coding and information theory |

| Models of computation; Complexity classes; Computational difficulty of problems; Descriptive complexity and finite models, Analysis of algorithms and problem complexity, Algorithmic information theory; Computational learning theory; Grammars and rewriting systems; Formal languages and automata; Semantics |

| Combinatorics; Graph theory; Combinatorics on words |

| Learning and adaptive systems; Pattern recognition, speech recognition; Problem solving; Logic in artificial intelligence; Knowledge representation; Machine vision and scene understanding; Classification and discrimination; cluster analysis;Image and Video analysis |

| Parallel algorithms; Analysis of algorithms; Combinatorial algorithms, |

| Temporal logic; Modal logic; Logic of natural languages; Logic in computer science, Recursion Theory, Proof Theory, Complexity of proofs, Categorical logic |

| Automata and formal grammars in connection with logical questions; Turing machines and elated notions; Complexity of computation; Recursive functions and relations; subrecursive hierarchies ; Recursively (computably) enumerable sets and degrees; Algorithmic randomness and dimension; Undecidability and degrees of sets of sentences; Computability and recursion theory on ordinals; admissible sets |

| Proof theory, general ; Structure of proofs; Functionals in proof theory; Complexity of proofs; First-order arithmetic and fragments; Second- and higher-order arithmetic and fragments; Gödel numberings and issues of incompleteness; Provability logics and related algebras (e.g., diagonalizable algebras); Constructive and recursive analysis |

| Boolean algebras; Lattices and related structures; Abstract algebraic logic; Categorical logic, topoi |

| General biology and biomathematics; Taxonomy, statistics; General biostatistics; Neural networks, artificial life and related topics; Biological rhythms and synchronization |

| Developmental biology, pattern formation; Neural biology; Cell biology; Biochemistry, molecular biology; Systems biology, networks; Medical applications ; Biomedical imaging and signal processing |