Associated Facilities

• Smart GDB debugging environment
• C, C++, and 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

• Acquire the ability to design, implement, and verify the various software and hardware components in systems whose primary constituents include computers.
• Understand the foundations of high-level programming language design, language type systems, and specification and verification of language semantics.
• Understand the process of generating and running software that realizes the performance, security, privacy, and real-time goals of the underlying problem domain.
• Understand the fundamental principles of operating systems and other runtime environments.
• Understand the design and implementation of modern computer hardware architectures and their performance, reliability, and power characteristics and trade-offs.

Core Coursework (MS)

Elective Coursework (MS)

Explore: EECS Courses