Theory of Computing

EECS Professor Arvin Agah, left, and EECS doctoral student Christopher Redford have developed an innovative exchange in which interconnected sensor nodes provide simple summaries to the network in order to minimize power and costs.

EECS researchers are advancing the techniques for analyzing time and space complexity of software systems. They extend functional language technology, closing the gap between high level specifications and highly efficient implementations. Research in this area contributes to the understanding of basic techniques for specifying mathematical structures for describing software artifacts.

Associated Disciplines

 

Explore: Disciplines

Associated Programs

Associated Faculty

AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Information and Telecommunication Technology Center
785-864-8833
2022 Eaton Hall

Primary Research Interests

  • Formal Methods, Verification, and Synthesis
  • Trusted Computing
  • System-Level Design Languages and Semantics
  • Specification Languages
Associate Professor
785-864-8817
2024 Eaton Hall

Primary Research Interests

  • Functional Programming
  • Software Engineering
  • Compilers
  • Systems
  • FPGAs
Jerzy Grzymala-Busse
Professor Emeritus
785-864-4488
3014 Eaton Hall

Primary Research Interests

  • Knowledge Discovery
  • Data Mining
  • Machine Learning
  • Expert Systems
  • Reasoning Under Uncertainty
Man Kong
Associate Professor Emeritus

Primary Research Interests

  • Algorithm Design and Analysis
  • Combinatorial Optimizations
  • Graph Algorithms
Suzanne Shontz
Associate Professor
785-864-8816
3016 Eaton Hall

Primary Research Interests

  • High Performance Scientific Computing Algorithms
  • Parallel Unstructured Mesh and Optimization Algorithms
  • Model Order Reduction
  • Computational Medicine
  • Image Processing

Associated Facilities

  • Computational cluster with over 1,000 processors connected to 37 TB of on-line storage

Program Objectives

  • Understand mathematical concepts of formal languages.
  • Understand techniques for analyzing time and space complexity of software systems.
  • Understand basic techniques for specifying mathematical structures for describing software artifacts.

Core Coursework (MS)

Elective Coursework (MS)

Explore: EECS Courses


Department Events
KU Today
High school seniors can apply to the SELF Program, a four-year enrichment and leadership experience
Engineering students build concrete canoes, Formula race cars, unmanned planes, and rockets for competitions nationwide
More first and second place awards in student AIAA aircraft design contests than any other school in the world
One of 34 U.S. public institutions in the prestigious Association of American Universities
44 nationally ranked graduate programs.
—U.S. News & World Report
Top 50 nationwide for size of library collection.
—ALA
5th nationwide for service to veterans —"Best for Vets: Colleges," Military Times