Verification and Synthesis

Core Courses

  • ECEN 5139 Computer-Aided Verification
  • CSCI 5535 Fundamentals of Programming Languages

Advanced Courses/Seminars

  • ECEN 5033 Program Synthesis
  • ECEN 5013 CDCL Solvers for SAT/SMT
  • ECEN 6009 Automata for Verification and Synthesis
  • CSCI 5654 Linear Programming
  • CSCI 7135 Program Analysis: Theory and Practice
  • CSCI 7000 Verification and Control of Cyber Physical Systems
  • CSCI 7000 Closed-Loop Medical Devices Seminar
  • CSCI 7000 Programming Language Design for Interaction

Networks and Security

Core Courses

  • ECEN 5023 / CSCI 5273  Network Systems
  • ECEN 5032 Introduction to Computer Security (will get cross listed number)

Advanced Core Courses

Each currently has a special topics course number, but will become a permanently listed course, cross-listed in ECEN and CSCI.

  • ECEN 5013 / CSCI 7000 Advanced Network Systems
  • ECEN 5014 Advanced Security and Privacy
  • CSCI 7000 Advanced Internet Protocols

Recommended Related Courses

  • CSCI 5573 Advanced Operating Systems
  • CSCI 5673 Distributed Systems
  • CSCI 4830 / CSCI 7000 Ethical Hacking
  • CSCI 5253 Datacenter Scale Computing

Sample Special Topics

  • Internet scale measurement
  • Hardware based security
  • Software-defined networking
  • Cryptocurrency

Computer Systems

Core Courses 

  • ECEN 5593 Advanced Computer Architecture
  • ECEN 5523 Compiler Construction

Sample Special Topics

  • Concurrent Programming
  • Secure Computer Architecture