OpenLLM-France/wikimedia huggingface dataset:
# Taisir Alluni

Taisir Alluni (arabisch تيسير علوني Taisīr ʿAllūnī; * 1955 in Deir ez-Zor, Syrien) ist ein Korrespondent des arabischen Senders Al Jazeera. Er war bis März 2012 in Spanien inhaftiert.
Alluni studierte Wirtschaftswissenschaften in Syrien und ab 1985 in Spanien. 1988 nahm er die spanische Staatsbürgerschaft an. Danach unterrichtete er Arabisch und nahm verschiedene Arbeitsstellen in Ceuta und in Granada an. 1996 begann er, für die Agentur EFE als Experte für die arabische Welt und als Übersetzer zu arbeiten. In dieser Zeit begann auch seine Tätigkeit als freiberuflicher Korrespondent für Al Jazeera.
1999 schickte ihn Al Jazeera nach Kabul (Afghanistan), wo er sich auch während der Anschläge des 11. September 2001 aufhielt. Alluni blieb auch während der darauf folgenden Militärschläge der USA und Großbritanniens gegen die herrschenden Taliban im Land und war somit während dieser Zeit der einzige ausländische Korrespondent. Seine Fotos von zivilen Opfern, aufgenommen in den mittellosen Dörfern von Afghanistan sowie in den heruntergekommenen Straßen von Kabul, lösten international Empörung über die US-Taten in Afghanistan aus. Es gelang ihm auch, wenige Wochen nach den Anschlägen ein Fernsehinterview mit Osama bin Laden zu führen.
Nachdem das Büro von Al Jazeera in Kabul Opfer eines Bombenangriffs geworden war, verließ Alluni Afghanistan und ließ sich an Al Jazeeras Hauptsitz in Katar nieder. Später war er Korrespondent des Senders in Bagdad während des Irak-Krieges 2003.
Im November 2003 wurde er in Spanien festgenommen mit der Anschuldigung, Mitglied von al-Qaida zu sein und an der Vorbereitung der Anschläge des 11. September 2001 beteiligt gewesen zu sein. Er soll dabei die Rolle eines Geldkuriers für al-Qaida während seiner Zeit in Afghanistan gespielt haben, was er bestritt.
Am 26. September 2005 wurde er von einem spanischen Gericht zu einer Freiheitsstrafe von sieben Jahren verurteilt. Obwohl es ihn vom Vorwurf der al-Qaida-Mitgliedschaft freisprach, sah das Gericht ihn als Helfer der Terrororganisation an. Aufgrund seines bedenklichen Gesundheitszustandes konnte er ab Oktober 2006 den Rest der Strafe im Hausarrest verbringen. Nach der Ablehnung eines Revisionsverfahrens durch ein spanisches Gericht hat der Anwalt Allunis den Fall vor den Europäischen Gerichtshof für Menschenrechte gebracht. Dieser entschied am 17. Januar 2012, dass die Freiheitsstrafe für Alluni nicht rechtens war. Im März 2012 wurde er freigelassen und kehrte nach Doha zurück.
# Enrico Martini

Enrico Martini (* 19. August 1988 in Elsterwerda) ist ein ehemaliger deutscher Footballspieler. Er wurde als Defensive Back eingesetzt.

## Leben

Martini wuchs in Dresden auf und betrieb als Jugendlicher Leichtathletik. 2006 begann er bei den Dresden Monarchs mit dem Footballsport. Der in der Verteidigung eingesetzte, 1,78 Meter messende Spieler nahm in Innsbruck ein Studium auf und spielte ab 2010 bei den Swarco Raiders Tirol. 2011 gewann er mit den Innsbruckern den Eurobowl, österreichischer Staatsmeister wurde er mit der Mannschaft in den Jahren 2011, 2015, 2016, 2018 und 2019. Des Weiteren gewann Martini mit den Tirolern 2017, 2018 sowie 2019 die länderübergreifende Spielrunde CEFL und 2018 und 2019 das Europäische Superfinale gegen den Sieger der Northern European Football League (NEFL). Nach der Saison 2019 beendete Martini seine Karriere als Football-Spieler.
Martini wurde 2014 mit der deutschen Nationalmannschaft bei der EM in Österreich Europameister, im Endspiel schlug man den Gastgeber in der Verlängerung.
Von März bis Juni 2023 war Martini Koordinator der Special Teams der Prague Lions in der European League of Football (ELF). In der Saison 2024 übte er diese Aufgabe bei den Berlin Adlern in der GFL aus und betreute ebenfalls die Defensive Backs der Mannschaft.
# Pinakol

Pinakol (von griechisch pinákion, ‚Täfelchen‘), früher auch Pinakon genannt, ist eine organische Verbindung aus der Gruppe der Alkandiole. Die zwei Hydroxygruppen stehen im Pinakol an benachbarten Kohlenstoffatomen (in vicinaler Stellung). Pinakole kann man durch eine Pinakol-Kupplungs-Reaktion aus Ketonen oder Aldehyden erzeugen, wobei Radikalanionen als Zwischenprodukte auftreten.

## Geschichte

Die Verbindung wurde 1862 erstmals vom französischen Chemiker Charles Friedel hergestellt.

## Pinakole

Ausgehend vom Pinakol werden allgemein Verbindungen mit der Struktur R$^1$R$^2$C(OH)C(OH)R$^3$R$^4$ (mit den Resten R$^1$ bis R$^4$, wobei die beiden OH-Gruppen an benachbarten Kohlenstoffatomen liegen) als Pinakole (substituierte 1,2-Diole) bezeichnet. Pinakole können säurekatalysierte Pinakol-Umlagerungen zu Pinakolonen eingehen.
Beispiele für abgeleitete Verbindungen:
* Pinakolon
* Soman

## Verwendung

Verwendet wird Pinakol als:
* Zwischenprodukt zur Herstellung von Pharmazeutika (z. B. 2-Aminophenylboronsäurepinakolester)
* Zwischenprodukt zur Herstellung von Pinakolon
# Cara Hilton

Cara Hilton (* 1975 in Grangemouth) ist eine schottische Politikerin und Mitglied der Scottish Labour Party.

## Leben

Hilton wurde als Tochter der Politikerin Cathy Peattie geboren, die über drei Wahlperioden hinweg den Wahlkreis Falkirk East im schottischen Parlament vertrat. Sie besuchte die Grangemouth High School und studierte dann Politikwissenschaften an der Universität von Strathclyde, die sie mit einem Bachelorabschluss verließ. Sie wechselte an die Universität Leicester, wo sie einen Masterabschluss in europäischem Arbeitsrecht erwarb. Des Weiteren erhielt sie einen Abschluss in Erziehungswissenschaften von der Open University. Zunächst war Hilton in Leeds für den National Health Service tätig und wechselte dann in den Bereich Bildungsplanung der Stadt York. Dann war Hilton für die Gewerkschaft USDAW tätig. Im Jahre 2007 kehrte Hilton nach Schottland zurück und wurde zunächst Assistentin der Labour-Abgeordneten Karen Whitefield, später des Unterhausabgeordneten Thomas Docherty. Hilton ist Mutter dreier Kinder.

## Politischer Werdegang

Bereits im Alter von 15 Jahren trat Hilton in die Labour Party ein. Nachdem sie bereits für Abgeordnete der Labour Party tätig gewesen war, bewarb sie sich bei den Regionalratswahlen 2012 und sitzt seit Mai 2012 für Dunfermline im Regionalrat von Fife. Nach dem Rücktritt des SNP-Abgeordneten Bill Walker wurden in dessen Wahlkreis Dunfermline Nachwahlen erforderlich. Die Labour Party stellte Hilton gegen die SNP-Kandidatin Shirley-Anne Somerville auf. Hilton gelang es die Stimmmehrheit auf sich zu vereinen, woraufhin sie erstmals in das schottische Parlament einzog.
# Jérémie Pignard

Jérémie Pignard (* 7. August 1987 in Villefranche-sur-Saône) ist ein französischer Fußballschiedsrichter.
Pignard leitet seit der Saison 2018/19 Spiele in der Ligue 2 und seit der Saison 2019/20 Spiele in der Ligue 1.
Seit 2021 steht er auf der Liste der FIFA-Schiedsrichter (auch als Videoschiedsrichter) und leitet internationale Fußballpartien. Im Juni 2022 debütierte er in der Nations League.
# Li Tu

Li Tu (* 27. Mai 1996 in Adelaide, South Australia) ist ein australischer Tennisspieler.

## Karriere

Li Tu galt als Jugendlicher als hoffnungsvolles Tennistalent, 2012 spielte er für das Junioren-Team im Junior-Davis-Cup. In der Saison 2014 versuchte er sich auch bei den Profis, konnte dort aber kaum Matches gewinnen, sodass sich sein Fokus zunächst auf ein Studium und eine Ausbildung zum Tennistrainer verschob.
Während der coronabedingten Pause des Profitennis nahm Tu an der UTR Series teil, die über Australien verteilt an vielen Orten stattfand. Seine starke Bilanz – er gewann 28 von 30 Matches – machte auf ihn aufmerksam. Anfang 2021 bekam er dadurch eine Wildcard für sein erstes Turnier der ATP Tour, die Murray River Open in Melbourne. Bei seinem Debüt unterlag er dem Portugiesen Pedro Sousa in der ersten Runde in zwei Sätzen. Durch die Absage von Andy Murray bei den Australian Open 2021, wurde dessen Wildcard weiter an Tu gegeben. Allein die Teilnahme am Turnier brachte ihm 100.000 Australische Dollar ein. In der ersten Runde konnte er dem Veteranen Feliciano López gut Paroli bieten, verlor letztlich aber in vier Sätzen.

## Erfolge

* Legende (Anzahl der Siege)
* Grand Slam
* ATP Finals
* ATP Tour Masters 1000
* ATP Tour 500
* ATP Tour 250
* ATP Challenger Tour (2)

### Einzel
#### Turniersiege

| Nr. | Datum | Turnier | Belag | Finalgegner | Ergebnis |
| 1. | 16. Oktober 2022 | Korea Sud Seoul | Hartplatz | China Volksrepublik Wu Yibing | 7:6$^5$, 6:4 |

### Doppel
#### Turniersiege

| Nr. | Datum | Turnier | Belag | Partner | Finalgegner | Ergebnis |
| 1. | 27. Juli 2024 | Vereinigte Staaten Chicago | Hartplatz | Australien Luke Saville | Vereinigte Staaten Mac Kiger Kanada Benjamin Sigouin | 6:4, 3:6, [10:3] |
# Framo V 901

Der Framo V 901 ist ein Kleintransporter, der in den Jahren 1951–1954 von Framo in Hainichen hergestellt wurde. Als Dreivierteltonner war er im damaligen DDR-Fahrzeugbau der kleinste LKW und unterhalb des Phänomen Granit angesiedelt.

## Geschichte

Bei der Entwicklung dieses Modells stand das Ziel im Vordergrund, einen leistungsfähigeren Motor für das bisher gefertigte Modell 501/2 zu finden. Das Prinzip des Doppelkolbenmotors wurde aus Gründen rationeller Fertigung aufgegeben. Man griff auf den 0,9-Liter-Motor des IFA F 9 zurück, einen herkömmlichen Dreizylinder-Zweitaktmotor mit Umkehrspülung. Dessen Leistung musste jedoch auf 18 kW gedrosselt werden, um eine Überlastung des Getriebes und des Fahrwerks zu vermeiden, welches unverändert vom Vorgänger übernommen worden war. Dennoch stand nun eine Kraft zur Verfügung, die ausreichte, um die mögliche Nutzlast sicher zu bewältigen. Vom leistungsstärkeren Motor abgesehen gab es keine relevanten technischen Änderungen im Vergleich zum Vorgängertyp. Auch die freistehenden Scheinwerfer wurden beibehalten. Damit stand der Framo auf dem internationalen Markt im Jahr 1951 allerdings nicht allein, wie sich an einem Vergleich mit Goliath GD 750, Tempo Hanseat oder Fordson E83W zeigt.
Während der V 501 in der DDR nur als Pritsche gebaut wurde, kamen nun weitere Aufbauten wie Kastenwagen, Kombi, Bus und Krankenwagen hinzu. Diese wurden im VEB Karosseriewerke Halle gefertigt. Der Kastenaufbau wurde im Gegensatz zum Vorgängertyp (Vorkrieg) ohne abgesetztes Fahrerhaus ausgeführt, beruhte aber nach wie vor auf einem Holzgerippe als tragendes Element.
Schon 1951 konnte der Export in die Niederlande und nach Belgien aufgenommen werden. 1952 wurde die Betätigung der Vierradbremse von Seilzug auf Hydraulik umgestellt. Eine Modernisierung des Äußeren trat 1954 mit Weiterentwicklung zum V 901/2 ein. Die Stückzahlen des Transporters stiegen zwar an, blieben insgesamt jedoch recht gering. Insgesamt wurden 3775 Fahrzeuge gefertigt.

## Technische Daten

| | Framo V 901 |
| Motor: | Ottomotor, Zweitakt (Umkehrspülung), drei Zylinder in Reihe |
| Hubraum: | 901 cm³ |
| Bohrung × Hub: | 70 mm × 78 mm |
| Leistung bei 1/min: | 18 kW (24 PS) bei 3600/min |
| Max. Drehmoment bei 1/min: | 71 Nm bei 2250/min |
| Verdichtung: | 6 |
| Kühlung: | Wasser |
| Getriebe: | 4+1 (unsynchronisiert), mit Lenkstockschaltung |
| Schmierung: | Gemischschmierung im Verhältnis 1:25 |
| Lichtmaschine: | 6 V |
| Fahrwerk: | Querlenker + Querfeder vorn, Starrachse hinten, Trommelbremsen vorn/hinten |
| Leergewicht: (Pritsche/Kasten+Kombi) | 950/1100 kg |
| Maße L × B × H: (Pritsche/Kasten+Kombi) : | 4360/4250 × 1600/1540 × 1650/1920 mm |
| Höchstgeschwindigkeit: | 70 km/h |
# Maximilian Franke

Maximilian Franke (* 24. März 2002 in Bückeburg) ist ein deutscher Fußballspieler.

## Werdegang

Der Stürmer Maximilian Franke begann seine Karriere im Alter von fünf Jahren beim TSV Eintracht Bückeberge in Stadthagen. Als D-Jugendlicher wechselte er in die Jugendabteilung von Hannover 96. Dort spielte er von 2017 bis 2019 in der B-Junioren-Bundesliga und erzielte in 47 Spielen zwölf Tore. Es folgten zwei Jahre in der A-Junioren-Bundesliga. Im Sommer 2021 wechselte Franke zum Drittligisten SC Verl. Am 19. September 2021 gab Franke sein Profidebüt, als er bei der 0:2-Niederlage gegen den 1. FC Kaiserslautern für Oliver Schmitt eingewechselt wurde. Im Januar 2022 wurde er an den Regionalligisten Sportfreunde Lotte ausgeliehen.
# Arthur Boucot

Arthur James Boucot (* 26. Mai 1924 in Philadelphia, Pennsylvania; † 10. April 2017 in Denver, Colorado) war ein US-amerikanischer Paläontologe.

## Werdegang

Boucot studierte an der Harvard University mit dem Bachelor-Abschluss 1948, dem Master-Abschluss 1949 und der Promotion 1953. Von 1949 bis 1956 war er beim United States Geological Survey als Geologe und danach 1956/57 als Guggenheim Fellow in Europa. 1957 wurde er Assistant Professor und später Associate Professor am Massachusetts Institute of Technology; von 1961 bis 1968 war er Associate Professor am Caltech. 1968/69 war er Professor für Geologie an der University of Pennsylvania und an der Smithsonian Institution. Ab 1969 war er Professor für Geologie (und ab 1979 für Zoologie) an der Oregon State University.
Er befasste sich mit Paläontologie und Stratigraphie des Silur und Devon und speziell von Brachiopoden. Ab 1973 war er US-Vertreter im Unter-Komitee Silur der International Commission on Stratigraphy. Er befasste sich mit mariner Paläoökologie und Paläobiogeographie und Rückschlüssen auf Evolution, Verhalten und Aussterberaten aus dem Fossilaufkommen.
1985 erhielt er die Raymond C. Moore Medal for Paleontology, 1999 die Paleontological Society Medal und 1990 den Natural Science Award der Academia Sinica. 1980/81 war er Präsident der Paleontological Society und 1984 bis 1989 der International Paleontological Association. Er war Ehrenmitglied der schwedischen geologischen Gesellschaft und korrespondierendes Mitglied der Akademie der Wissenschaften zu Göttingen. Boucot ist zudem Namensgeber für das Boucot-Plateau in der Antarktis.

## Schriften

* Evolutionary Paleobiology of Behavior and Coevolution, Elsevier 1990
* mit George O. Poinar Fossil behavior compendium, CRC Press, Taylor and Francis 2010
* Evolution and extinction rate controls, Elsevier 1975
* Principles of benthic marine paleoecology, Academic Press 1981 (mit Beiträgen von Robert S. Carney)
* mit J. G. Johnson, John A. Talent Early Devonian brachiopod zoogeography, US Geological Survey, 1969
* Herausgeber mit Jane Grey Historical biogeography, plate tectonics, and the changing environment, Oregon State University Press 1979
* Herausgeber mit Jane Grey, William Berry Communities of the past, Stroudsburg: Hutchinson Ross Publ. 1981
* Herausgeber mit J. D. Lawson Paleocommunities: a case study from the Silurian and Lower Devonian, Cambridge University Press 1999
# Curt Clawson

Curtis J. „Curt“ Clawson (* 28. September 1959 in Tacoma, Washington) ist ein US-amerikanischer Politiker. Zwischen Juni 2014 und dem 3. Januar 2017 vertrat er den Bundesstaat Florida im US-Repräsentantenhaus.

## Werdegang

Im Jahr 1978 absolvierte Curt Clawson die Batesville High School in Indiana, wo er ein guter Basketballspieler war. In den folgenden Jahren setzte er seine Ausbildung an der University of Utah, an der Purdue University und an der Harvard University fort. Danach wurde er als privater Geschäftsmann tätig. Bis heute ist er Präsident der Firma American National Can. Zuvor war er in den 1980er und 1990er Jahren auch bei anderen Unternehmen beschäftigt.
Politisch schloss sich Clawson der Republikanischen Partei an. Nach dem Rücktritt des Kongressabgeordneten Trey Radel wurde er mit Unterstützung des der Tea-Party-Bewegung nahestehenden Tea Party Express bei der Nachwahl im 19. Wahlbezirk des Staates Florida zu dessen Nachfolger gewählt. Nachdem er sich in den republikanischen Vorwahlen vor der Staatssenatorin Lizbeth Benacquisto durchgesetzt hatte, erreichte er bei der eigentlichen Wahl einen Stimmenanteil von 66,95 Prozent. Seine Gegenkandidatin April Freeman von der Demokratischen Partei kam auf 29,32 Prozent. Clawson trat sein neues Mandat am 25. Juni 2014 an. Nach einer Wiederwahl bei den regulären Kongresswahlen des Jahres 2014 konnte er am 3. Januar 2015 eine reguläre Amtszeit antreten, die bis zum 3. Januar 2017 läuft. Da er im Jahr 2016 nicht mehr kandidierte scheidet er zu diesem Zeitpunkt wieder aus dem Kongress aus.
# Ritter Blaubart (Film)

Ritter Blaubart ist eine Studioaufzeichnung der DEFA, im Auftrag des Fernsehens der DDR, von Walter Felsensteins Inszenierung der Operette Blaubart in drei Akten von Jacques Offenbach an der Komischen Oper Berlin.

## Handlung

Da es sich hierbei um die Bühneninszenierung handelt, siehe: Blaubart (Operette)

## Produktion

Die Bearbeitung von Walter Felsenstein und Horst Seeger basiert auf dem von Henri Meilhac und Ludovic Halévy geschaffenen Libretto. Die Inszenierung hatte ihre Premiere am 24. September 1963 an der Komischen Oper Berlin und wurde dort bis zum Beginn der Dreharbeiten bereits in 163 Aufführungen gezeigt. Das Orchester der Komischen Oper Berlins stand unter der Leitung von Karl-Fritz Voigtmann. Die Kostüme entwarf Helga Scherff und das Bühnenbild schuf Paul Lehmann, in Anlehnung an die Bühnenausstattung von Wilfried Werz.
Die Aufzeichnung der Operette erfolgte als Farbfilm in den DEFA-Studios für Spielfilme in Potsdam-Babelsberg. Im Kino wurde der Film das erste Mal am 27. April 1973 in einer festlichen Voraufführung im Berliner Kino International gezeigt. Die Erstsendung im Fernsehen erfolgte am 10. Juni 1973 im 1. Programm des Fernsehen der DDR.
Eine restaurierte Fassung aus dem Jahr 2008 ist als DVD erhältlich.

## Kritik

Hansjürgen Schaefer stellt im Neuen Deutschland fest:
   „Insgesamt aber bietet dieser ‚Bildschirm‘-Blaubart nicht nur willkommene Möglichkeit, das Meisterwerk Offenbachs in der Deutung durch Walter Felsenstein Millionen nahezubringen. Er erreicht auch eine neue, eigene künstlerische Qualität und dürfte für die Fernseh-Opernarbeit ebensoviel weiterweisende Anregungen zu bieten haben wie sein Bühnenoriginal für die Musiktheaterarbeit bereits geboten hat.“
Mimosa Künzel schreibt in der Neuen Zeit fest:
   „Im bombastischen Bühnenbild mit den faszinierenden Kostümen gibt es grandiose Farbakkorde in Dur und Moll. Agiert und gesungen wird mit spielerischer Eleganz.“
In der Berliner Zeitung war von Gisela Herrmann zu lesen:
   „Schon der heitere Vorspann-Überfall der ‚Komischen Oper‘ ins DEFA-Atelier machte den Zuschauer ganz einfach gespannt und stimmte ihn vorzüglich aufs prickelnd-parodistische Meisterstück ein. So kostete man ein großes künstlerisches Ereignis des Musiktheaters aus, indem man es so nahm, wie es die einfallsreiche Regie, die nicht nur hervorragend singenden, sondern auch ungemein lebendig agierenden Solisten und die aktionsreiche Kamera gaben: als witzige, ironische, charmante Geschichte. Ein wirklich großer Abend also, weil wahrhaft nicht für den Opernkenner allein wirksam.“
Das Lexikon des internationalen Films schreibt, dass es sich hier mehr um eine Dokumentation der großen Inszenierung, als um eine filmische Interpretation der Oper handelt. Dennoch ist der Film hochgradig Sehens- und Hörenswert.
# Henryk Siedlaczek

Henryk Piotr Siedlaczek (* 30. Januar 1956 in Wodzisław Śląski) ist ein polnischer Politiker der Platforma Obywatelska (Bürgerplattform).
Siedlaczek schloss 1979 sein Geschichtsstudium an der Pädagogischen Hochschule Opole (Wyższa Szkoła Pedagogiczna w Opolu) mit einem Magister ab. Anschließend war er Geschichtslehrer und später Direktor in Rudy (Kuźnia Raciborska), Woiwodschaft Schlesien. 1999 wurde er Mitglied des Vorstandes und 2002 Starost des Powiats Raciborski. Bei den Parlamentswahlen 2005 trat Siedlaczek für die Bürgerplattform an und zog erstmals mit 7476 Stimmen in den Sejm ein. Dieses Mandat konnte er bei den vorgezogenen Wahlen 2007 mit 35.124 Stimmen wiederum im Wahlkreis 30 Rybnik verteidigen.
Henryk Siedlaczek ist verheiratet und hat zwei Söhne.
# Christel Baier

Christel Baier (* 26. September 1965 in Karlsruhe) ist eine deutsche theoretische Informatikerin. Sie ist Inhaberin der Professur für algebraische und logische Grundlagen der Informatik an der TU Dresden.

## Leben

Baier legte ihr Abitur 1984 am Eduard-Spranger-Gymnasium in Landau in der Pfalz ab. Nach ihrem Studium legte sie 1990 ihr Diplom in Mathematik an der Universität Mannheim ab. Von 1990 bis 1994 war sie an der Universität Mannheim angestellt und beendete dort 1994 ihre Doktorarbeit im Bereich der Informatik mit summa cum laude. Baier blieb auch für ihre Habilitation von 1994 bis 1999 an der Universität Mannheim, die sie 1999 abschloss. Von 1999 bis 2006 war sie Associate Professor für Theoretische Informatik an der Rheinischen Friedrich-Wilhelms Universität Bonn. Im Oktober 2006 wurde sie auf die Professur für algebraische und logische Grundlagen der Informatik an der TU Dresden berufen. Seit 2011 ist sie Mitglied in der Academia Europaea.
Baiers Forschungsinteressen umfassen die Modellierung, Spezifikation und Verifikation reaktiver Systeme, die quantitative Analyse von stochastischen Systemen, probabilistisches Model Checking, temporale und modale Logiken, Automaten über infinitären Strukturen, Spieltheorie und die Verifikation von Systemen mit unendlich vielen Zuständen.
Zusammen mit Joost-Pieter Katoen veröffentlichte Baier das Buch Principles of Model Checking.
Von 2012 bis 2019 war Baier gewähltes Mitglied des Review Boards der Deutschen Forschungsgemeinschaft für Informatik (Fachkollegium 409), sie ist Mitglied des wissenschaftlichen Beirates von Schloss Dagstuhl – Leibniz-Zentrum für Informatik. Sie war außerdem Jury-Mitglied des Bundeswettbewerbs Jugend forscht von 2015 bis einschließlich 2020.
Baiers 2003 in IEEE TSE veröffentlichter Artikel „Model-Checking Algorithms for Continuous-Time Markov Chains“, den sie zusammen mit Boudewijn Haverkort, Holger Hermanns und Joost-Pieter Katoen verfasst hat, lag 2016 auf Platz 74 der 100 meistzitierten Papiere im Bereich Software Engineering.
Seit 2015 ist sie Chefredakteurin der Acta Informatica.
# Aurore Mimosa Munyangaju

Aurore Mimosa Munyangaju Link zum Bild
Aurore Mimosa Munyangaju ist eine ruandische Unternehmerin und Politikerin. Sie war von November 2019 bis August 2024 Sportministerin Ruandas.

## Frühes Leben und Ausbildung

Als Kind begann Munyangaju Volleyball und Basketball zu spielen. Sie trat dem Basketballverein ihrer Schule bei und spielte auch in verschiedenen Vereinen in der Nationalliga. Munyangaju hat einen Master of Business Administration von der Universität Maastricht in der Niederlande.

## Karriere

Bis 2019 war sie Geschäftsführerin der ruandischen Versicherungsfirma Sonarwa Life Company mit Sitz in Kigali. Sie war zudem Vorstandsmitglied des ruandischen Zweigs von New Faces New Voices (NFNV), einer panafrikanischen Gruppe von Frauen im Finanzsektor, sowie von COPEDU, einem von der Zentralbank Ruandas lizenzierten und in Ruanda tätigen Mikrofinanzinstitut. Zudem war sie stellvertretendes Vorstandsmitglied der Organization of Eastern and Southern Africa Insurers (OESAI, deutsch Organisation der Versicherer im östlichen und südlichen Afrika). Im November 2019 ernannte Präsident Paul Kagame sie zur ersten Sportministerin des Landes. Das Ministerium wurde neu vom Ministerium für Sport und Kultur (englisch Ministry of Sports and Culture, kurz MINISPOC) abgespalten. In ihrer Amtszeit wurde Ruanda 2021 Gastgeber der ersten Saison der Basketball Africa League, die aufgrund der COVID-19-Pandemie nicht mehr wie ursprünglich geplant auf mehrere Länder verteilt stattfinden sollte. Zwei Jahre später wurden in Kigali zudem die Basketball-Afrikameisterschaft der Frauen 2023 abgehalten. Im August 2024 wurde Richard Nyirishema, der ebenfalls früher in der ruandischen Basketballliga spielte, zum Nachfolger Munyangajus als Sportminister ernannt. Munyangaju wurde nach dem Beschluss einer am 18. Oktober 2024 im Dorf Urugwiro abgehaltenen Kabinettssitzung als Ruandas Botschafterin in Luxemburg vorgeschlagen.