Computer Science ColloquiumIm 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
Stanford Universityüber das Thema:
Experiences with SATZeit: Tue 21.5.2013, 10:00, 60 Minuten
ZusammenfassungOn May 21st there will be a public appearance, open to everyone, consisting of two parts.
The first part is an informal talk about
VortragenderDonald 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