Courses
Graduate
- Spring 2009: CRE704 Model Checking and Verification (모델 체킹 및 검증)
- Autumn 2008: CRE622 Theories in Formal Methods (정형기법 이론)
- Spring 2008: CRE501 Computational Logic (전산 논리)
- Autumn 2007: CRE713 Embedded System Testing (임베디드시스템테스팅)
Spring 2007: CRE712 Theory & Models in Real-Time Systems (실시간시스템 모델링)
- Autumn 2006: CSE577 정형기법입문
- Spring 2006: CSE610 내장시스템
- Autumn 2005: CSE636 Theories in Formal Methods (정형기법 이론)
- Spring 2005: CSE578 고급오토마타이론
- Autumn 2004: CSE704 실시간시스템특론
- Spring 2004: CSE803 프로그래밍언어특수연구I
- Autumn 2003: CSE577 정형기법입문
- Spring 2002: CSE576 프로세스알제브라입문
- Autumn 2001: CSE610 내장시스템
- Spring 2001: CSE641 컴퓨터보안
- Autumn 2000: CSE527 인터넷상거래입문
- Spring 2000: CSE504 계산학이론
- Autumn 1999: CSE707 정형기법특론
Undergraduate
- Spring 2009: CNCE230 논리회로설계및실습
- Autumn 2008: CNCE220 계산이론
- Autumn 2007: CNCE220 계산이론
Autumn 2007: ? 졸업프로젝트
- Spring 2007: CNCE230 논리회로설계및실습
- Autumn 2006: CSCE354 전산논리
- Spring 2006: CSCE215 논리회로설계및실습
- Autumn 2005: CSCE354 전산논리
- Autumn 2005: CSCE215 논리회로설계및실습
- Spring 2005: CSCE215 논리회로설계및실습
- Autumn 2004: CSCE354 전산논리
- Spring 2004: CSCE215 논리회로설계및실습
- Autumn 2003: CSE294 전산논리
- Spring 2002: CSE431 전산논리
- Autumn 2001: CSE212 논리회로설계및실험
- Spring 2001: CSE431 전산논리
- Autumn 2000: CSE212 논리회로설계및실험
- Spring 2000: CSE431 전산논리
- Autumn 1999: CSE412 컴파일러
TODO:
- 강좌명은 고려대학교 일람을 기준으로 "영문강좌명 (국문강좌명)"으로 통일합니다.
- 강좌별 문서를 만들고 링크할 경우, 문서명은 "Public/Courses/연도-학기-과목코드"로 통일합니다.