Instructor: Darko Stefanovic Office: FEC 345C Email: darko Phone: +1 505 2776561; Fax: +1 505 2776927 Lectures: MWF 11-11:50 Office hours: MWF 10-11 Teaching assistant: John Baxter Office: FEC 349 Email: automata Office hours: TuTh 2-3