Faculty members in the Computer Science Department undertake research in three broad research areas: algorithms, computational intelligence, and formal methods. Many graduate and undergraduate students have studied in these areas under faculty supervision. Students are encouraged to explore the personal pages of faculty members to find detailed up-to-date information about their research activity, publications, and supervision.