CSE Seminar or Event

Proofs for Programmers

Margaret Fleck

Research Associate Professor
University of Illinois, Urbana-Champaign
Thursday, May 22, 2014
11:00am - 12:00pm
1690 Beyster

Add to Google Calendar

About the Event

Success in upper-level computer science classes often requires facility with abstract mathematics, including reading and writing proofs. However, computer science students enter college without these skills and many find them uninteresting and difficult to learn. This talk will present the approaches we've used to make this material more interesting and accessible to students taking the Discrete Mathematics course at U. Illinois, without "dumbing down" the core concepts (e.g. proof by induction). It will also discuss the steps we've taken to maintain a quality experience despite rapid increases in enrollments.


Margaret Fleck is a Research Associate Professor/Senior Lecturer at the University of Illinois. She received her BA (Linguistics) from Yale in 1982 and her PhD (Computer Science) from MIT in 1988. She has previously taught at the University of Illinois and Harvey Mudd College, and also worked at Hewlett-Packard Labs. She has worked in natural language understanding and computer vision, with brief forays into pervasive computing and domain-specific programming languages.

Additional Information

Sponsor(s): CSE

Open to: Public