• 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.