Our department engages in education and research of the fields of computer systems, centered around fundamental theory of computation, programming languages, visual information, computer architecture, and bioinformatics. Our main interest is establishment of fundamentals of information technology in the next generation from the aspect of computers.

Keywords:
Logic, Algorithms, Programming Languages, Operating Systems, Computer Architecture, Parallel and Distributed Computing, Security, Graphics, Numerical Analysis, Natural Language Processing, Knowledge Discovery, User Interfaces, Genome Informatics, Scientific Computing.