Verified Systems Lab Is Now Open
The Verified Systems Laboratory in the Department of Electrical Engineering and Computer Science at DGIST officially opened on November 1st, 2025.
Verified Systems Lab Is Now Open
The Verified Systems Laboratory in the Department of Electrical Engineering and Computer Science at DGIST officially opened on November 1st, 2025.
We are excited to welcome motivated MS, PhD, and undergraduate students who are interested in formal methods, cyber-physical systems, and safety-critical computing.