The following are examples of courses taught by computer engineering faculty. For the most up-to-date information on courses that will be offered in upcoming semesters, please access the department's course planning spreadsheet.
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