Institut für Informatik, Universität Oxford

Änne Gelen Dezember 2, 2016 I 5 0
FONT SIZE:
fontsize_dec
fontsize_inc

Das Institut für Informatik ist die Fakultät für Informatik an der Universität Oxford, England. Es wurde 1957 als Computing Laboratory gegründet. Heute beschäftigt seinen 52 wissenschaftlichen Mitarbeitern und mehr als 80 wissenschaftliche Mitarbeiter.

Geschichte

Beginnend im Jahr 1952, suchte Mathematiker Charles Coulson Finanzierung von Oxford nach seinen eigenen Computer zu besitzen. Zu diesem Zeitpunkt hatten Hochschulangehörigen zu Computerzeit von anderswo mieten. Im Jahr 1956 beschloss der University Grants Committee, um den Kauf eines Ferranti Merkur und der Oxford University Computing Laboratory war geboren zu finanzieren. Sowie zur Erleichterung der Forschung an anderer Stelle in der Universität, hatte die neue Abteilung ihre eigene akademische Funktion, die Durchführung von Untersuchungen in numerische Analyse und Vorträge für Mathematik und Ingenieurstudenten. Der erste Direktor, Leslie Fox, wurde im Jahre 1957 ernannt und im folgenden Jahr zog die Abteilung in seine erste Heimat, 9 South Parks Road entfernt. Im Jahr 1963 zog die Abteilung 19 Parks Straße. Die Computing-Service wurde administrativ von der Fakultät aufgeteilt im Jahr 1969, auch wenn vollständige Unabhängigkeit wurde erst im Jahr 1978 gewonnen.

Ergänzend zu den Numerische Analysis Group, das Programming Research Group wurde im Jahr 1966 auf 45 Banbury Road unter der Leitung von Christopher Strachey mit dem Ziel festgelegt ", um etwas Kohärenz in der vorliegenden Ad-hoc-Charakter der Programmierung und Software zu bringen". Diese beiden Gruppen betrieben meist getrennt bis 1984, wenn die beiden Forschungsgruppen des Labors zog in 8-11 Keble Road, gegenüber Keble College. Doch das Labor entwuchs bald diesen Raum, und besetzten Raum in 2 Süd Parks Road, bis im Jahr 1993 die Wolfson-Gebäude eröffnet hinter den viktorianischen 8-11 Keble Straße Häuser. Die Nachbarhäuser bei 5-7 Keble Road und einer neuen "e-Science-Gebäude" hinter diesen vorgesehenen zusätzlichen Raum beim Öffnen im Jahr 2007. Doch dieser Raum ist nicht ausreichend, und die Abteilung hat zusätzlichen Platz innerhalb des Thom Bau und der Robert Hooke Gebäude . Ab 2014 wird die Abteilung in der Hoffnung, die Finanzierung für ein neues Gebäude groß genug, um zusammen all ihren Tätigkeiten zu bringen zu erhalten.

Von 2003 bis 2014 wurde die Abteilung von Professor Bill Roscoe, der die 2011 Umbenennung von der Oxford University Computing Laboratory an das Institut für Informatik, Universität Oxford beaufsichtigte geführt. Der derzeitige Leiter ist Michael Wooldridge.

Unterrichten

Von der Gründung der Abteilung unterrichtet Studenten Lesung für Mathematik und Technik Grad, aber im Jahr 1985 ersten grundständigen Studiengang der Abteilung wurde gegründet, in "Mathematics and Computation", gefolgt im Jahr 1994 von der "Computation" Natürlich. Zunächst diese beiden Kurse hatten eine gemeinsame erste Jahr. "Informatik" ersetzt "Computation" im Titel der beiden Kurse für Studenten beginnen ihr Studium im Jahr 2000. Zwischen 1987 und 2006 Studenten begann Studien über ein Vier-Jahres-MEng in Technik und Informatik. Im Oktober 2012 begannen die ersten Studenten des "Informatik und Philosophie". Heute Studenten an allen drei Kursen haben die Wahl zwischen einem 3-Jahres-BA oder ein 4-Jahres 'Bachelor-Master'. Sechzig Studenten begannen eine der drei grundständigen Studiengängen im Oktober 2013.

Es gibt zwei Vollzeit unterrichtet Aufbaustudiengänge: Der MSc in Computer Science und Master of Science in Mathematik und die Grundlagen der Informatik.

Die Abteilung bietet auch die Teilzeit Software Engineering Programm, ein modulares natürlich für Fachleute der Branche, was zu entweder dem MSc in Software Engineering oder M.Sc. in Software und Systems-Sicherheit.

Erforschung

Die Abteilung ist die Heimat von rund 145 akademische und Forschungspersonal. Promotionsprogramm der Abteilung verfügt über mehr als 140 Forschungsstudenten arbeiten in einem breiten Spektrum von Themen in der Informatik und Softwaretechnik.

Nach fünfzig Jahren in der Abteilung, zog die Numerik-Gruppe im Jahr 2009 einen Teil des Mathematischen Instituts der Universität zu sein. Heute Forschung der Abteilung ist in acht große Themenbereiche eingeteilt:

  • Algorithmen
  • Automatisierten Verification
  • Computational Biology
  • Stiftungen, Logic und Strukturen
  • Informationssysteme
  • Programmiersprachen
  • Sicherheit
  • Softwareentwicklung
  Like 0   Dislike 0
Vorherige Artikel Radiant
Nächster Artikel Piet Koornhof
Bemerkungen (0)
Keine Kommentare

Fügen Sie einen Kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Zeichen übrig: 3000
captcha