Language and Semantics

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.

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

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.

Associated Faculty

Perry Alexander
AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science
Director of the Institute for Information Sciences
 Perry Alexander's Website
 2022 Eaton Hall

Primary Research Interests

  • Formal Methods, Verification, and Synthesis
  • Trusted Computing
  • System-Level Design Languages and Semantics
  • Specification Languages

Jerzy Grzymala-Busse

Primary Research Interests

  • Data mining
  • Knowledge discovery
  • Machine learning
  • Expert systems
  • Reasoning under uncertainty
  • Rough set theory

Associated Facilities

  • Smart GDB debugging environment
  • C, C++, GDB and associated support tools
  • Rosetta specification language
  • Haskell 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

Associated Disciplines

Core Coursework (MS)


Elective Coursework (MS)