Fall 2025 Subject: Computer Science and Electrical Engineering

Fall 2025 Computer Science and Electrical Engineering W3827 FUNDAMENTALS OF COMPUTER SYSTS
Section 001	FUNDAMENTALS OF COMPUTER Call Number: 12879 Points: 3 View Class Schedule & Location in Vergil Enrollment: 233 students (320 max) as of May 18, 2026 Instructor: Martha A Kim
Fall 2025 Computer Science and Electrical Engineering W4119 COMPUTER NETWORKS
Section 003	Call Number: 12887 Points: 3 View Class Schedule & Location in Vergil Enrollment: 55 students (110 max) as of May 18, 2026 Instructor: Henning G Schulzrinne
Section V03	Call Number: 17921 Points: 3 View Class Schedule & Location in Vergil Enrollment: 3 students (99 max) as of May 18, 2026 Notes: VIDEO NETWORK STUDENTS ONLY Instructor: Henning G Schulzrinne
Fall 2025 Computer Science and Electrical Engineering W4823 ADVANCED LOGIC DESIGN
Section 001	Call Number: 11261 Points: 3 View Class Schedule & Location in Vergil Enrollment: 120 students (120 max) as of May 18, 2026 / Full Instructor: Mingoo Seok
Fall 2025 Computer Science and Electrical Engineering W4824 COMPUTER ARCHITECTURE
Section 001	Call Number: 12880 Points: 3 View Class Schedule & Location in Vergil Enrollment: 80 students (86 max) as of May 18, 2026 Instructor: Simha Sethumadhavan
Fall 2025 Computer Science and Electrical Engineering W4868 SYSTEM-ON-CHIP PLATFORMS
Section 001	Call Number: 12881 Points: 3 View Class Schedule & Location in Vergil Enrollment: 62 students (60 max) as of May 18, 2026 / Full Instructor: Luca Carloni
Fall 2025 Computer Science and Electrical Engineering W6180 MODELING & PERFORMANCE EVALUATION
Section 001	MODELING & PERFORMANCE EV Call Number: 12882 Points: 3 View Class Schedule & Location in Vergil Enrollment: 53 students (48 max) as of May 18, 2026 / Full Instructor: Vishal Misra
Fall 2025 Computer Science and Electrical Engineering E6863 FORMAL VERIF HW SW SYSTEMS
Section 001	FORMAL VERIF HW SW SYSTEM Call Number: 12883 Points: 3 View Class Schedule & Location in Vergil Enrollment: 95 students (86 max) as of May 18, 2026 / Full Instructors: Michael Theobald and Franjo Ivancic

Fall 2025 Computer Science and Electrical Engineering W3827
FUNDAMENTALS OF COMPUTER SYSTS

Section 001

Call Number:: 12879
Points:: 3
Enrollment:: 233 students (320 max) as of May 18, 2026
Instructor:: Martha A Kim

Fall 2025 Computer Science and Electrical Engineering W4119
COMPUTER NETWORKS

Section 003

Call Number:: 12887
Points:: 3
Enrollment:: 55 students (110 max) as of May 18, 2026
Instructor:: Henning G Schulzrinne

Section V03

Call Number:: 17921
Points:: 3
Enrollment:: 3 students (99 max) as of May 18, 2026
Notes:: VIDEO NETWORK STUDENTS ONLY
Instructor:: Henning G Schulzrinne

Fall 2025 Computer Science and Electrical Engineering W4823
ADVANCED LOGIC DESIGN

Section 001

Call Number:: 11261
Points:: 3
Enrollment:: 120 students (120 max) as of May 18, 2026 / Full
Instructor:: Mingoo Seok

Fall 2025 Computer Science and Electrical Engineering W4824
COMPUTER ARCHITECTURE

Section 001

Call Number:: 12880
Points:: 3
Enrollment:: 80 students (86 max) as of May 18, 2026
Instructor:: Simha Sethumadhavan

Fall 2025 Computer Science and Electrical Engineering W4868
SYSTEM-ON-CHIP PLATFORMS

Section 001

Call Number:: 12881
Points:: 3
Enrollment:: 62 students (60 max) as of May 18, 2026 / Full
Instructor:: Luca Carloni

Fall 2025 Computer Science and Electrical Engineering W6180
MODELING & PERFORMANCE EVALUATION

Section 001

Call Number:: 12882
Points:: 3
Enrollment:: 53 students (48 max) as of May 18, 2026 / Full
Instructor:: Vishal Misra

Fall 2025 Computer Science and Electrical Engineering E6863
FORMAL VERIF HW SW SYSTEMS

Section 001

Call Number:: 12883
Points:: 3
Enrollment:: 95 students (86 max) as of May 18, 2026 / Full
Instructors:: Michael Theobald and Franjo Ivancic

NOTE: Students, Instructors, and Staff should use Vergil Course Search at vergil.columbia.edu/vergil/ for more detailed, accurate, and timely course information.
Class meeting days, times and classroom assignments are now only appearing in Vergil.

Fall 2025 Subject: Computer Science and Electrical Engineering

For easier printing select the
plain text version of this subject listing
and be sure to print using LANDSCAPE mode

FUNDAMENTALS OF COMPUTER

MODELING & PERFORMANCE EV

FORMAL VERIF HW SW SYSTEM

NOTE: Students, Instructors, and Staff should use Vergil Course Search at vergil.columbia.edu/vergil/ for more detailed, accurate, and timely course information.Class meeting days, times and classroom assignments are now only appearing in Vergil.

Fall 2025 Subject: Computer Science and Electrical Engineering

For easier printing select theplain text version of this subject listingand be sure to print using LANDSCAPE mode

FUNDAMENTALS OF COMPUTER

MODELING & PERFORMANCE EV

FORMAL VERIF HW SW SYSTEM

NOTE: Students, Instructors, and Staff should use Vergil Course Search at vergil.columbia.edu/vergil/ for more detailed, accurate, and timely course information.
Class meeting days, times and classroom assignments are now only appearing in Vergil.

For easier printing select the
plain text version of this subject listing
and be sure to print using LANDSCAPE mode