Arnd Poetzsch-Heffter

Arnd Poetzsch-Heffter, 2019

Arnd Poetzsch-Heffter (* 9. September 1958 in Kiel) ist ein deutscher Informatiker und Professor für Softwaretechnik. Von 2020 bis 2022 war er Präsident der Technischen Universität Kaiserslautern.[1] Anschließend bildete er von 2023 bis 2024 gemeinsam mit Gabriele Schaumann die präsidiale Doppelspitze der Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau, welche durch Zusammenlegung der TU Kaiserslautern mit dem Campus Landau der Universität Koblenz-Landau entstanden ist.[2][3]

Werdegang

Poetzsch-Heffter studierte Informatik und Mathematik an der TU München und für zwei Semester an der Université Paul Sabatier in Toulouse. Er schloss das Studium 1986 mit einem Diplom in Informatik ab. Nach seiner Promotion (Titel der Dissertation „Formale Spezifikation der kontextabhängigen Syntax von Programmiersprachen“, 1991) an der TU München verbrachte er ein Postdoc-Jahr in der Gruppe von David Gries an der Cornell University in Ithaca, New York State. Im Anschluss kehrte er an die TU München zurück und habilitierte sich dort 1997 (Titel der Habilitationsschrift „Specification and Verification of Object-Oriented Programs“). Nach einer Professur an der Fernuniversität Hagen (1996–2002) wechselte er an die TU Kaiserslautern auf die C4-Professur für Softwaretechnik. Forschungsaufenthalten führten ihn an das Compaq Systems Research Center (Palo Alto, CA), zu Microsoft Research (Redmond, WA), an die Eidgenössische Technische Hochschule Zürich (ETH), an die Universität Turin (Università degli Studi di Torino) und an die Königliche Technische Hochschule (Kungliga Tekniska Högskolan, KTH) in Stockholm.[3]

Wissenschaftliche Arbeit

An seinem Lehrstuhl arbeitete Poetzsch-Heffter zusammen mit den wissenschaftlichen Mitarbeiterinnen und Mitarbeitern schwerpunktmäßig daran, die systematische Erstellung von Software zu verbessern und deren Verifikation zu erleichtern. Dazu gehörten die methodische Programmkonstruktion aus Bausteinen, das Design neuer Sprach- und Spezifikationskonzepte, die Entwicklung mächtiger Programmier- und Verifikationswerkzeuge sowie Implementierungstechniken für die Werkzeugentwicklung. Im Einzelnen konzentrierten sich die Forschungsarbeiten auf folgende Forschungsthemen:

  • Objektorientierte, komponentenbasierte und verteilte Programmierung
  • Spezifikation, Analyse und Verifikation von Software
  • Generative Softwarekonstruktion
  • Entwurf von Softwaresprachen

Seine Forschungsergebnisse hat er in über 70 Aufsätzen und 2 Monographien publiziert. Er ist Verfasser eines Lehrbuchs über objektorientierte Programmierung. Eine Liste seiner Publikationen mit Informatikbezug findet sich auf DBLP.[4] Einen Einblick in die Zusammenarbeit mit anderen Wissenschaftlern liefert das Buch „Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter“ (Peter Müller, Ina Schaefer (Hrsg.)). Poetzsch-Heffter ist emeritiertes Mitglied der Working Group 2.4 (Software Implementation Technology) der International Federation for Information Processing (IFIP).

Funktionen und Ämter

Poetzsch-Heffter war von 2011 bis 2014 Dekan des Fachbereichs Informatik der TU Kaiserslautern. Von 2014 bis 2020 war er Vizepräsident für Forschung und Technologie der TU Kaiserslautern und Mitglied des Aufsichtsrats des Leibniz-Instituts für Verbundwerkstoffe (IVW).[3] Poetzsch-Heffter war der Präsident der TU Kaiserslautern von 2020 bis 2022.[1] Seit der Zusammenlegung der TU Kaiserslautern und des Campus Landau der Universität Koblenz-Landau zur Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau (RPTU) am 1. Januar 2023 bildete er gemeinsam mit Gabriele Schaumann bis Oktober 2024 die präsidiale Doppelspitze der RPTU.[2][3]

Er ist Mitglied des Rats für Technologie in Rheinland-Pfalz sowie Mitglied des Aufsichtsrats des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) und des Aufsichtsrats des Leibniz–Zentrums für Informatik Schloss Dagstuhl. Er ist Mitglied des Kuratoriums des Fraunhofer-Instituts für Techno- und Wirtschaftsmathematik (Fraunhofer ITWM). Seit 2021 ist er Vorsitzender des Begegnungszentrum Kurhaus Trifels e.V.

Einzelnachweise

  1. a b Universitätsleitung. In: uni-kl.de. Abgerufen am 2. Oktober 2021.
  2. a b RPTU Rundmail. In: rptu.de. Abgerufen am 22. Januar 2023.
  3. a b c d Arnd Poetzsch-Heffter: Lebenslauf Prof. Dr. Arnd Poetzsch-Heffter. August 2023, abgerufen am 17. Mai 2024.
  4. https://dblp.org/pid/65/5923.html. Abgerufen am 2. September 2021.

Read other articles:

Gerakan Advent Hari Ketujuh Pembaharuan adalah kelompok sempalan dari Gereja Masehi Advent Hari Ketujuh yang terpisah karena perbedaan pandangan dalam masalah mengudusan hari Sabat dan wajib militer pada Perang Dunia I. Sejarah Bagian dari seri tentangAdventisme Sejarah dan Latarbelakang Kekristenan Reformasi Protestan Anabaptis Gerakan Miller Tokoh-tokoh Pendiri Ellen G. White Joseph Bates · Uriah Smith J. N. Andrews · James White Institusi dan Lembaga Sekolah, Universitas· Rumah Sakit, K...

 

Roberto Pruzzo Pruzzo alla Roma nella stagione 1986-1987 Nazionalità  Italia Altezza 175 cm Peso 73 kg Calcio Ruolo Allenatore (ex attaccante) Termine carriera 1989 - giocatore 2010 - allenatore Carriera Giovanili 1971-1973 Genoa Squadre di club1 1973-1978 Genoa143 (57)1978-1988 Roma240 (106)1988-1989 Fiorentina13 (0)[1] Nazionale 1978-1982 Italia6 (0) Carriera da allenatore 1998-1999 Viareggio1999-2000 Teramo2000 Alessandria2001 Alessand...

 

Perang Polandia-SovietPerbatasan yang ditentukan pada akhir perang.Tanggal1919–1921LokasiEropa Tengah dan Eropa TimurHasil Perdamaian Riga[1]Pihak terlibat RSFS Rusia RSS Ukraina Republik Polandia Republik Rakyat UkrainaTokoh dan pemimpin Leon Trotsky Josef Stalin (Front Lviv/Lwów) Mikhail Tukhachevsky (Front Barat) Aleksandr Yegorov (Front barat daya) Semyon Budyonny Józef Piłsudski Edward Rydz-Śmigły Symon PetlyuraKekuatan Dari ~50.000 pada awal 1919[2] sampai hampir ...

Amadeo Roldán Theatre in Havana, Cuba The Amadeo Roldán Theatre (Spanish: Teatro Amadeo Roldán) is a theatre[1] in Havana, Cuba built in 1929. The theatre was destroyed in 1977 by a pyromaniac; it was re-opened in 1999 as the head office of the National Symphony Orchestra of Cuba which performs seasonal every Sunday at 11:00PM. Located within a monumental modern building, once home to The Havana Auditorium, the venue now consists of the Amadeo Roldán and García Caturla halls, off...

 

Disclosures by the 21st-century US president Trump–Russia relations Business interactions Bayrock Group Business projects of Donald Trump in Russia Trump Tower Moscow Russian election interference 2016 US election leaks Associates' links with Russian officials and spies Cambridge Analytica Classified information disclosures Clinton emails Cyberwarfare by Russia Data seizure DCLeaks Democratic National Committee cyber attacks Democratic National Committee v. Russian Federation Dismissal of J...

 

American statesman and diplomat (1930–2011) Lawrence EagleburgerPortrait, c. 199262nd United States Secretary of StateIn officeDecember 8, 1992 – January 20, 1993(Acting: August 23, 1992 – December 8, 1992)PresidentGeorge H. W. BushPreceded byJames BakerSucceeded byWarren Christopher10th United States Deputy Secretary of StateIn officeMarch 20, 1989 – December 8, 1992PresidentGeorge H. W. BushPreceded byJohn C. WhiteheadSucceeded byClifton R. Wharton Jr.Under Secreta...

Questa voce o sezione sull'argomento competizioni calcistiche non è ancora formattata secondo gli standard. Commento: Molte pagine di campionati regionali come queste vanno corrette con il nuovo modello di voce perché questa pagina è stata realizzata con modelli vecchi ed è obsoleta.In questa pagina sono da correggere:le squadre partecipanti, con la tabellina in cui non è più possibile linkare le squadre non enciclopediche alle città, la città va scritta nella riga inferiore con...

 

Extinct genus of dinosaurs JinguofortisTemporal range: Barremian PreꞒ Ꞓ O S D C P T J K Pg N ↓ Type specimen of Jinguofortis perplexus Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Clade: Dinosauria Clade: Saurischia Clade: Theropoda Clade: Avialae Family: †Jinguofortisidae Genus: †JinguofortisWang et al., 2018 Type species Jinguofortis perplexusWang et al., 2018 Jinguofortis is a genus of primitive avialan belonging to the clade Pygostylia that ...

 

Road in West and North Yorkshire, England A64A64 flyover located south of FulfordRoute informationLength70 mi (110 km)Major junctionsWest end A64(M) in LeedsMajor intersections A6120 A1(M) A1237 A19 A1079 A166 A171East end A165 in Scarborough LocationCountryUnited KingdomPrimarydestinationsLeeds, York, Malton, Scarborough Road network Roads in the United Kingdom Motorways A and B road zones ← A63→ A65 The A64 is a major road in North and West Yorkshire, England, w...

Genus of conifers Biota (plant) redirects here. For more general uses, see Plant and Flora. Chinese arborvitae Platycladus orientalis in its natural habitat in Simatai, Great Wall of China Conservation status Near Threatened  (IUCN 3.1)[1] Scientific classification Kingdom: Plantae Clade: Tracheophytes Clade: Gymnospermae Division: Pinophyta Class: Pinopsida Order: Cupressales Family: Cupressaceae Subfamily: Cupressoideae Genus: PlatycladusSpach Species: P. orientalis Binomi...

 

La spada d'oro al coraggio concessa dall'Impero russo La Spada d'oro al coraggio o Spada di San Giorgio era una delle più alte onorificenze militari dell'Impero russo. L'insegna veniva conferita direttamente dalle mani dello zar o della zarina il che conferiva agli insigniti il diritto di indossarla con la loro uniforme. Indice 1 Storia 1.1 Il XVIII secolo 1.2 Il XIX secolo 1.3 Il XX secolo 2 Insigniti notabili 3 Voci correlate 4 Altri progetti 5 Collegamenti esterni Storia Il XVIII secolo L...

 

Helmut Thielicke Helmut Thielicke (German: [ˈhɛlmuːt ˈtiːlɪkə]; 4 December 1908 in Wuppertal – 5 March 1986 in Hamburg) was a German Protestant theologian and rector of the University of Hamburg from 1960 to 1978. Biography Thielicke grew up in Wuppertal, where he went to a humanistic Gymnasium and took his Abitur in 1928. After this he began to study philosophy and theology in Erlangen, but soon had to undergo an operation on his thyroid. Despite the negative outcome of this...

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.Find sources: Siege of Hulst 1645 – news · newspapers · books · scholar · JSTOR (September 2008) Siege of HulstPart of the Eighty Years' WarThe siege and capture of Hulst in 1645 by Hendrick de Meijer.Date7 October – 4 November 1645LocationHulst (present-day...

 

Women's 100 metres T38at the XVI Paralympic GamesVenueTokyo National StadiumDates28 August 2021Competitors13 from 8 nationsMedalists Sophie Hahn  Great Britain Darian Faisury Jiménez  Colombia Lindy Ave  Germany←2016 Athletics at the2020 Summer ParalympicsTrack events100 mmenwomen200 mmenwomen400 mmenwomen800 mmenwomen1500 mmenwomen5000 mmenwomen4×100 m relaymixedRoad eventsMarathonmenwomenField eventsLong jumpmenwomenHigh jumpmenShot putmenwomenDiscus throwmenwo...

 

ديسكاتي    خريطة الموقع تقسيم إداري البلد اليونان  [1] التقسيم الأعلى غريفينا  إحداثيات 39°55′07″N 21°44′11″E / 39.9185°N 21.7365°E / 39.9185; 21.7365   [2] السكان التعداد السكاني 5852 (resident population of Greece) (2011)[3]7007 (legal population of Greece) (2021)[4]7904 (legal population of Greece) (2011)[5...

For the classical music award presented by Gramophone magazine, see Gramophone Award. This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Native American Music Awards – news · n...

 

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Desember 2023. Átila IórioLahir1 April 1921Rio de Janeiro, BrasilMeninggal10 Desember 2002(2002-12-10) (umur 81)Rio de Janeiro, BrasilPekerjaanPemeranTahun aktif1946-1997 Átila Iório (1 April 1921 – 10 Desember 2002) adalah seorang peme...

 

Composition by Leonard Bernstein This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Prelude, Fugue and Riffs – news · newspapers · books · scholar · JSTOR (June 2011) (Learn how and when to remove this message) Prelude, Fugue and RiffsComposition by Leonard BernsteinThe composer in the 1950sComposed1949 (1...

Untuk film 1995, lihat Fauji (film 1995). FaujiFAUJI - sebuah serialGenreAksiSerial dramaPembuatNew Film Addicts pvt ltdDitulis olehLt.Col.R.K.Kapoor, Sangeeta Iyer, Amina ShervaniSutradaraLt.Col. R.K. Kapoor, Milin KapoorPemeran Shah Rukh Khan Rakesh Sharma Vikram Chopra Lagu pembukaFaujiPenata musikLoy Mendonsa dari Shankar-Ehsaan-LoyNegara asalIndiaBahasa asliHindiJmlh. episodeTotal 13ProduksiDurasiSekitar. 24 menitRilis asliJaringanDD NationalFormat gambar480i (SDTV)Rilis1989 Fauji ...

 

Запуск ракети Lockheed Trident з підводного човна Раке́тна зброя — сукупність різних ракетних комплексів, призначених для ураження наземних, повітряних, морських і позаатмосферних цілей бойовою частиною ракети. Ракетний комплекс складається з ракети, що має ядерну або звич...