Computer Science
Home

Computer Science Colloquium

Im Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der Österreichischen Gesellschaft für Informatik (ÖGI), der Arbeitsgemeinschaft für Datenverarbeitung (ADV) sowie der Österreichischen Computergesellschaft (OCG) abgehalten wird, spricht

Donald Knuth

Stanford University

über das Thema:

Experiences with SAT

Zeit: Tue 21.5.2013, 10:00, 60 Minuten
Ort: HS1

Zusammenfassung

On May 21st there will be a public appearance, open to everyone, consisting of two parts.
The first part is an informal talk about

Vortragender

Donald Knuth, a Professor Emeritus of the Art of Computer Programming at Stanford University, is one of the most influential pioneers in computer science. He was awarded many prizes, including the Turing Award, the highest distinction in the field, considered as the Nobel Prize of computer science. <br> His multivolume work The Art of Computer Programming, which is still work in progress, is regarded as one of the seminal and most comprehensive compendiums in the area of computer programming. The first volume appeared in 1968. As a researcher in computer science, he is regarded as the "father" of several subareas called the analysis of algorithms, LR(k) and LL(k) parsing, attribute grammars, empirical study of programming languages, and literate programming. <br> His best-known research in mathematics is represented by the Knuth-Bendix algorithm for word problems, the Robinson-Schensted-Knuth correspondence between matrices and tableaux, and an analysis of the big bang that occurs in the evolution of random graphs. <br> As a university professor he introduced a variety of new courses into the curriculum, notably Concrete Mathematics, and supervised 28 dissertations. And as a programmer, he wrote software systems called TeX and METAFONT that are used for the majority of today's mathematical publications and now have more than a million users worldwide. <br> He is said to still write several programs a week.
Einladender: Univ.-Prof. Dr. Armin Biere

Liste aller Vorträge
Last modified on Thursday, 01-Jan-1970 01:00:00 CET