EECS researchers develop cutting-edge programming techniques along with efficient language interpreters and compilers to ensure efficient, reliable, and secure software in high assurance systems. They extend functional language technology, closing the gap between high level specifications and highly efficient implementations. New technologies have diverse application areas in telemetry, high performance computing and real-time systems.

Language and Semantics

EECS Associate Professor Andy Gill (left) is creating powerful, innovative tools that provide greater transparency and scrutiny when building large complex computer systems.

Associated Disciplines


Explore: Disciplines

Associated Programs

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

Primary Research Interests

  • Formal Methods, Verification, and Synthesis
  • Trusted Computing
  • System-Level Design Languages and Semantics
  • Specification Languages
Jerzy Grzymala-Busse
Professor Emeritus
3014 Eaton Hall

Primary Research Interests

  • Knowledge Discovery
  • Data Mining
  • Machine Learning
  • Expert Systems
  • Reasoning Under Uncertainty

Associated Facilities

  • Smart GDB debugging environment
  • C, C++, GDB and associated support tools
  • Rosetta specification language
  • Raskell evaluation environment
  • PVS, SPIN, Isabelle, HOL and SAT analysis software
  • Protocols for ad hoc sensor networks
  • Xilinx and Altera FPGA/SoC prototyping systems
  • Synplicity and Xilinx FPGA synthesis tools
  • ModelSim VHDL/Verilog simulation tools
  • Bugzilla and CVS project management tools

Hardware and software design tools for:

  • Specification languages and semantics
  • Language interpreters, analyzers, and compilers
  • Real-time and distributed operating systems
  • Distributed simulation systems
  • Embedded software and hardware systems
  • FPGA-based OS primitives
  • Reconfigurable Systems-on-chip
  • VHDL/Verilog modeling, simulation and synthesis

Program Objectives

  • Understand the design of languages and language features.
  • Understand how to define and manipulate mathematical definitions of language semantics.
  • Understand cutting-edge programming techniques using advanced techniques.
  • Understand the development of efficient language interpreters and compilers.

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.
5th nationwide for service to veterans —"Best for Vets: Colleges," Military Times