2
Bildnachweis: Pixabay.de, Gestaltung: SSC Informatik Tag der Informatik 2019 26. April 2019 FAU Erlangen-Nürnberg Department Informatik Martensstr. 3, 91058 Erlangen Tel.: 09131/85-28807, Fax: 09131/85-8781 E-Mail: [email protected] www.cs.fau.de Anreise Bus Erlangen: von den Arcaden Erlangen mit Linie 20 oder Linie 287 Haltestelle „Technische Fakultät“ Bus Nürnberg: von Haltestelle „Am Wegfeld“ mit Linie 20 Haltestelle „Technische Fakultät“ oder Linie 30 Haltestelle „Erlangen-Süd“ PKW: BAB A3 Würzburg-Nürnberg Ausfahrt Tennenlohe B4 Richtung Erlangen nach der zweiten Brücke rechts Wegweiser „Universität Südgelände” Flugzeug: vom Flughafen Nürnberg mit dem Taxi zur Technischen Fakultät (15 km) Department Informatik Um uns die Planung zu erleichtern, bitten wir Sie, sich per E-Mail bis zum 05. April 2019 anzumelden: [email protected] Prof. Dr. Oliver Keszöcze (Antrittsvorlesung 14:30 Uhr) Professor Dr. Oliver Keszöcze ist seit 1.9.2018 Inhaber der Juniorpro- fessur für Informatik am Department Informatik der Technischen Fa- kultät der FAU. Nach erfolgreichem Studium der Technomathematik (Diplom) und Informatik (B.Sc.) an der Universität Bremen promovierte er dort 2017 im Bereich Informatik. Seine Forschungsinteressen liegen im Bereich neu aufkommender (Computer)-Technologien (z.B Quan- tencomputer, reversible Logik, optische Schaltkreise) mit Fokus auf mikrofluidischen Biochips. Biochips haben sich zum Ziel gesetzt, medi- zinische und biologische Experimente größtmöglich zu automatisieren und miniaturisieren, um im Idealfall ein gesamtes Labor auf die Größe eines Computerchips zu reduzieren. Im Zentrum der Forschung stehen hierbei die abstrakte Modellierung der betrachteten Systeme sowie das Generieren beweisbar optimaler Lösungen für Syntheseprobleme für ebenjene Systeme. Während seiner Promotion war er unter anderem an der Duke University (USA), Purdue University (USA) und der Uni- versität Kopenhagen (Dänemark) zu Forschungsaufenthalten. PD Dr.-Ing. Frank Hannig (Antrittsvorlesung 15:15 Uhr) Frank Hannig leitet seit 2004 die Gruppe „Architecture and Compiler Design (ACD)“ am Lehrstuhl für Hardware-Software-Co-Design des Department Informatik der FAU. Zuvor studierte er Ingenieurinformatik, Schwerpunkt Elektrotechnik an der Universität Paderborn. Er promo- vierte 2009 und habilitierte im Fach Technische Informatik 2018 jeweils an der Technischen Fakultät der FAU und ist seitdem Privatdozent am Lehrstuhl für Hardware-Software-Co-Design. Seine Forschungs- schwerpunkte sind im Bereich der Entwurfsautomatisierung massiv paralleler Rechnerarchitekturen, die von dedizierter Hardware bis hin zu Mehrkern-Prozessoren reichen, Abbildungsmethoden für domänen- spezifisches Rechnen sowie Architektur-Compiler-Co-Design. Er ist Senior Member des IEEE und Affiliate Member des Europäischen Ex- zellenznetzwerks „High Performance and Embedded Architecture and Compilation (HiPEAC)“. PD Dr. Sergey Goncharov (Antrittsvorlesung 16:30 Uhr) Dr.-Ing. Sergey Goncharov studierte Informatik und promovierte 2010 an der Universität Bremen über Semantiken von Iteration und Nicht- determinismus für seiteneffektbehaftete Berechnungen. 2009-2012 hat er als Researcher am Deutschen Forschungszentrum für Künstliche Intelligenz gearbeitet. Er war von 2012 bis 2018 akademischer Rat am Lehrstuhl für Theoretische Informatik an der FAU. Er habilitierte 2018 und ist seitdem als Privatdozent und akad. Oberrat weiter an der FAU tätig. Schwerpunkt seiner Forschung sind die Grundlagen von Pro- grammiersprachen, Systemspezifikationsformalismen und deren Logi- ken sowie Synergien, die sich an den Schnittstellen zwischen diesen Forschungsbereichen ergeben. Die treibende Kraft seiner Forschung ist das Streben nach Identifizierung und Vereinheitlichung der diesen Phänomenen zugrunde liegenden Hauptprinzipien, wobei die Sprache und die Maschinerie der Kategorietheorie eine zentrale Rolle spielen. Unterkunft: Unterkünfte vermittelt Ihnen gerne: Tourist-Information Erlangen Rathausplatz 3 91052 Erlangen Tel.: 09131/89510 Südgelände der FAU Hörsaal H4

Südgelände der FAUTag der Informatik 2019 26. April 2019 FAU Erlangen-Nürnberg Department Informatik Martensstr. 3, 91058 Erlangen Tel.: 09131/85-28807, Fax: 09131/85-8781 E-Mail:

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Südgelände der FAUTag der Informatik 2019 26. April 2019 FAU Erlangen-Nürnberg Department Informatik Martensstr. 3, 91058 Erlangen Tel.: 09131/85-28807, Fax: 09131/85-8781 E-Mail:

Bildnachweis: Pixabay.de, Gestaltung: SSC Informatik

Tag der Informatik 201926. April 2019

FAU Erlangen-NürnbergDepartment InformatikMartensstr. 3, 91058 ErlangenTel.: 09131/85-28807, Fax: 09131/85-8781E-Mail: [email protected]

EinfahrtCauerstraße

Martensstr. 3

Cauerstr. 11

www.cs.fau.de

AnreiseBus Erlangen: von den Arcaden Erlangen mit Linie 20 oder Linie 287 Haltestelle „Technische Fakultät“

Bus Nürnberg: von Haltestelle „Am Wegfeld“ mit Linie 20 Haltestelle „Technische Fakultät“ oder Linie 30 Haltestelle „Erlangen-Süd“

PKW: BAB A3 Würzburg-NürnbergAusfahrt Tennenlohe B4 Richtung Erlangen nach der zweiten Brücke rechts Wegweiser „Universität Südgelände”

Flugzeug: vom Flughafen Nürnberg mit demTaxi zur Technischen Fakultät (15 km)

Department Informatik

Um uns die Planung zu erleichtern, bitten wir Sie, sich per E-Mail bis zum05. April 2019 anzumelden:

[email protected]

Prof. Dr. Oliver Keszöcze (Antrittsvorlesung 14:30 Uhr)

Professor Dr. Oliver Keszöcze ist seit 1.9.2018 Inhaber der Juniorpro-fessur für Informatik am Department Informatik der Technischen Fa-kultät der FAU. Nach erfolgreichem Studium der Technomathematik (Diplom) und Informatik (B.Sc.) an der Universität Bremen promovierte er dort 2017 im Bereich Informatik. Seine Forschungsinteressen liegen im Bereich neu aufkommender (Computer)-Technologien (z.B Quan-tencomputer, reversible Logik, optische Schaltkreise) mit Fokus auf mikrofl uidischen Biochips. Biochips haben sich zum Ziel gesetzt, medi-zinische und biologische Experimente größtmöglich zu automatisieren und miniaturisieren, um im Idealfall ein gesamtes Labor auf die Größe eines Computerchips zu reduzieren. Im Zentrum der Forschung stehen hierbei die abstrakte Modellierung der betrachteten Systeme sowie das Generieren beweisbar optimaler Lösungen für Syntheseprobleme für ebenjene Systeme. Während seiner Promotion war er unter anderem an der Duke University (USA), Purdue University (USA) und der Uni-versität Kopenhagen (Dänemark) zu Forschungsaufenthalten. PD Dr.-Ing. Frank Hannig (Antrittsvorlesung 15:15 Uhr)

Frank Hannig leitet seit 2004 die Gruppe „Architecture and Compiler Design (ACD)“ am Lehrstuhl für Hardware-Software-Co-Design des Department Informatik der FAU. Zuvor studierte er Ingenieurinformatik, Schwerpunkt Elektrotechnik an der Universität Paderborn. Er promo-vierte 2009 und habilitierte im Fach Technische Informatik 2018 jeweils an der Technischen Fakultät der FAU und ist seitdem Privatdozent am Lehrstuhl für Hardware-Software-Co-Design. Seine Forschungs-schwerpunkte sind im Bereich der Entwurfsautomatisierung massiv paralleler Rechnerarchitekturen, die von dedizierter Hardware bis hin zu Mehrkern-Prozessoren reichen, Abbildungsmethoden für domänen-spezifi sches Rechnen sowie Architektur-Compiler-Co-Design. Er ist Senior Member des IEEE und Affi liate Member des Europäischen Ex-zellenznetzwerks „High Performance and Embedded Architecture and Compilation (HiPEAC)“.

PD Dr. Sergey Goncharov (Antrittsvorlesung 16:30 Uhr)

Dr.-Ing. Sergey Goncharov studierte Informatik und promovierte 2010 an der Universität Bremen über Semantiken von Iteration und Nicht-determinismus für seiteneffektbehaftete Berechnungen. 2009-2012 hat er als Researcher am Deutschen Forschungszentrum für Künstliche Intelligenz gearbeitet. Er war von 2012 bis 2018 akademischer Rat am Lehrstuhl für Theoretische Informatik an der FAU. Er habilitierte 2018 und ist seitdem als Privatdozent und akad. Oberrat weiter an der FAU tätig. Schwerpunkt seiner Forschung sind die Grundlagen von Pro-grammiersprachen, Systemspezifi kationsformalismen und deren Logi-ken sowie Synergien, die sich an den Schnittstellen zwischen diesen Forschungsbereichen ergeben. Die treibende Kraft seiner Forschung ist das Streben nach Identifi zierung und Vereinheitlichung der diesen Phänomenen zugrunde liegenden Hauptprinzipien, wobei die Sprache und die Maschinerie der Kategorietheorie eine zentrale Rolle spielen.

Unterkunft:Unterkünfte vermittelt Ihnen gerne:

Tourist-Information ErlangenRathausplatz 391052 ErlangenTel.: 09131/89510

Südgelände der FAU

HörsaalH4

Page 2: Südgelände der FAUTag der Informatik 2019 26. April 2019 FAU Erlangen-Nürnberg Department Informatik Martensstr. 3, 91058 Erlangen Tel.: 09131/85-28807, Fax: 09131/85-8781 E-Mail:

14:00-14:10 Grußwort des Dekans der Technischen Fakultät der FAU Erlangen-Nürnberg

Prof. Dr.-Ing. Reinhard Lerch

14:10-14:30 Bericht des Sprechers des Departments Informatik Prof. Dr.-Ing. Felix Freiling

Die Technische Fakultätund das Department Informatik

der Friedrich-Alexander-Universität

Erlangen-Nürnberg

laden herzlich ein zum

Tag der Informatik 2019und der im Rahmen des Programms

stattfi ndenden

öffentlichenAntrittsvorlesungen

von Prof. Dr. Oliver Keszöczevon PD Dr.-Ing. Frank Hannig

und von PD Dr. Sergey Goncharov

am Freitag, 26. April 2019

Hörsaal H4Martensstr. 1 - 91058 Erlangen

Technische FakultätUniversität Erlangen-Nürnberg

Prof. Dr.-Ing. Reinhard LerchDekan der Technischen Fakultät

Prof. Dr.-Ing. Felix FreilingSprecher der Kollegialen Leitung

des Departments Informatik

Programm im Hörsaal H4

Department Informatik Tag der Informatik 2019 Freitag, 26. April 2019

14:30-15:15 Entwurf von mikrofl uidischen Biochips Antrittsvorlesung von Prof. Dr. Oliver Keszöcze

Juniorprofessur für Informatik, Department Informatik, Technische Fakultät der FAU Erlangen-Nürnberg

16:00-16:30 Kaffeepause

15:15-16:00 (Viel-)Kern-Vielfalt hilft viel – aber wie? Antrittsvorlesung von PD Dr.-Ing. Frank Hannig

Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design), Department Informatik, Technische Fakultät der FAU Erlangen-Nürnberg

ab 18:15 Geselliges Beisammensein Buffet in der Cafeteria der Südmensa

16:30-17:15 Unifying notions of feedback Antrittsvorlesung von PD Dr. Sergey Goncharov

Lehrstuhl für Informatik 8 (Theoretische Informatik), Department Informatik,Technische Fakultät der FAU Erlangen-Nürnberg

17:15-18:15 Wechselbeziehungen zwischen Informatik, Bildwissen-schaften und Digital Humanities?

Prof. Dr. Peter Bell Juniorprofessur für Digital Humanities mit Schwerpunkt Kunstgeschichte, Institut für Kunstgeschichte, Philoso-phische Fakultät und Fachbereich Theologie der FAU Erlangen-Nürnberg