Pixel Pixel

Pixel Pixel

Das Wissenschafterinnenkolleg Internettechnologien der Fakultät für Informatik der TU Wien lud gemeinsam mit der Österreichischen Computer Gesellschaft zu den beiden folgenden Vorträgen ein:

How to Get a PhD in Informatics?
The Need for Hypotheses in Informatics

Alan Bundy
University of Edinburgh

 

 

Wann:


Wo:

 

Dienstag, 28. Juni 2005
9:30 - 12:00 +

Technische Universität Wien
Informatikhörsaal
1040 Wien, Treitlstraße 3, Erdgeschoss

Foto von Alan Bundy

Nachlese

Rund 80 BesucherInnen nutzten die einmalige Gelegenheit, den Autor der Researchers Bible persönlich kennen zu lernen.

Fotos von der Veranstaltung
Hier finden Sie Fotos zum Event.

Fotos vom Vortrag

Folien zum Vortrag
Hier finden Sie die Folien zum Vortrag:
"How to Get a PhD in Informatics?"


"The Need for Hypotheses in Informatics"


Folien zum Vortrag How to get a PhD in Informatics?

Folien zum Vortrag The need for hypotheses in Informatics

Video von der Veranstaltung
Die Vorträge sind auch als Video verfügbar.
(Achtung: Quick Time Player muss installiert sein!)

"The Need for Hypotheses in Informatics"


""How to Get a PhD in Informatics?"



Video zum Vortrag The need of Hypotheses in Informatics?

Video zum Vortrag How to get a PhD in Informatics?

 

Abstract

"How to Get a PhD in Informatics?" This practical guide to the pitfalls and obstacles to getting a PhD in Informatics is based on the "Researchers Bible"PDF Datei zu Researchers Bible: a living document originating in the Department of Artificial Intelligence at Edinburgh and based on the accumulated and hard won experience of a wide range of researchers. Learn about "postgraduate diseases", their diagnosis and cure.

"The Need for Hypotheses in Informatics" All branches of science and engineering advance by the conjecturing of hypotheses and the accumulation of evidence to support (or refute) them. This is also true of Informatics, but explicit hypotheses are rarely stated in Informatics papers and evaluations of Informatics systems and techniques are rarely linked to such hypotheses. Our hypothesis is that this neglect of explicit hypotheses is the root cause of much of the poor methodology and rejected papers and grant proposals in Informatics. We will give examples of the kinds of hypotheses that arise in Informatics and the kind of evidence that is required to evaluate them.

Bio

Prof. Alan Bundy was educated as a Mathematician, obtaining a 1st class honours degree in Mathematics in 1968 from Leicester University and a PhD in Mathematical Logic in 1971, also from Leicester, under the supervision of Prof. R.L. Goodstein. Since 1971 he has been at the University of Edinburgh: initially in the Metamathematics Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence and in 1998 was absorbed into the new Division of Informatics. From 1971-73, he was a research fellow on Prof. B. Meltzer's SERC grant `Theorem Proving by Computer'; in 1973 he became a university lecturer; in 1984 he was promoted to reader; in 1987 he was promoted to professorial fellow; and in 1990 he was promoted to professor. From 1987-92 he held an SERC Senior Fellowship. From 1998-2001 he was Head of the newly formed of Division Informatics at Edinburgh.

Prof. Bundy's research has entailed the building of a number of problem solving programs for different branches of mathematics, namely number theory, algebra, mechanics, ecological modelling and logic/functional programming. He is the author of a book on the automation of mathematical reasoning, the editor of three books on artificial intelligence and joint author of one book on ecological modelling and one on the social impact of knowledge-based systems. He has been sole or joint holder of 39 EPSRC, SERC, Alvey, ESPRIT or ESRC grants and is the sole or joint author of over 140 published papers and books. Prof. Alan Bundy has co-authored the article The Researchers Bible.

His home page is available at http://homepages.inf.ed.ac.uk/bundy/

Zielpublikum

Doktoratsstudierende
BetreuerInnen von Doktoratsstudierenden
Studierende die gerade an ihrer Diplom- oder Bakkalaureatsarbeit schreiben
Alle, die sich für die Themen interessieren

Kontaktperson an der TU Wien

Dr. Beate List, list@wit.tuwien.ac.at, Tel. 58801-18830

Unterstützung

WIT wird gefördert aus Mitteln des Europäischen Sozialfonds und aus Mitteln des Bundesministeriums für Bildung, Wissenschaft und Kultur. Die Finanzierung dieser Veranstaltung erfolgte durch die freundliche Unterstützung der Erste Bank.

Hinweise

Vortrag in englischer Sprache; Teilnahme kostenlos!
Zwischen den beiden Vorträgen gab es bei einem Buffet die Gelegenheit zum informellen Meinungsaustausch.

Anmeldebutton

 

fFORTE Logo
 
BMBWK Logo
 
ESF Logo
  ErsteBank Logo


Pixel Pixel
Pixel       Pixel