https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Armin_BiereArmin Biere - Versionsgeschichte2026-06-11T03:30:10ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Armin_Biere&diff=2040132&oldid=previmported>Aka: Tippfehler entfernt, Links optimiert2025-05-25T12:26:51Z<p><a href="/index.php?title=Benutzer:Aka/Tippfehler_entfernt&action=edit&redlink=1" class="new" title="Benutzer:Aka/Tippfehler entfernt (Seite nicht vorhanden)">Tippfehler entfernt</a>, Links optimiert</p>
<p><b>Neue Seite</b></p><div>'''Armin Biere''' (* [[22. April]] [[1967]] in Villingen) ist ein deutscher Informatiker. Er ist seit August 2021 Professor für Informatik an der [[Albert-Ludwigs-Universität Freiburg]] und leitet das Institut für Rechnerarchitektur.<br />
<br />
== Leben ==<br />
Armin Biere promovierte 1997 im Fach Informatik an der [[Karlsruher Institut für Technologie|Universität Karlsruhe]]. Zwei Jahre später arbeitete er bei einem Start-Up in der [[Electronic Design Automation]] Industrie nach einem Jahr als Post-Doc an der [[Carnegie Mellon University|Carnegie Mellon Universität]] in [[Pittsburgh]], USA. Von 2000 bis 2004 war er als Assistenzprofessor am Informatik-Departement der [[ETH Zürich]] beschäftigt. Von 2004 bis 2021 war er Professor an der [[Universität Linz]] und Leiter des Instituts für Formale Modelle und Verifikation. Seit August 2021 besetzt er den Lehrstuhl für Rechnerarchitektur an der Albert-Ludwigs-Universität Freiburg. Zudem organisiert er internationale Konferenzen, Workshops und Wettbewerbe.<br />
<br />
Der bedeutendste wissenschaftliche Erfolg gelang Biere als Mitbegründer des ''Bounded Model Checking'' (BMC), das seit seiner Einführung 1999 vor allem in der Hardware-Industrie weite Verbreitung gefunden hat.<br />
<br />
2024 wurde Biere mit dem [[Herbrand Award]] der ''Conference on Automated Deduction'' (CADE) ausgezeichnet.<br />
<br />
== Arbeits- und Forschungsschwerpunkte ==<br />
Im Kern seiner Forschung liegen die Formalen Methoden, genauer die Angewandte Formale Verifikation von Hardware und Software unter der Verwendung von [[Model Checking]], aussagenlogischen Techniken wie [[Erfüllbarkeitsproblem der Aussagenlogik|SAT]] und [[Erfüllbarkeitsproblem für quantifizierte boolesche Formeln|QBF]] und deren Erweiterungen.<br />
<br />
Biere erhielt mehrere erste Plätze in internationalen Wettbewerben bei SAT/QBF/SMT Solver.<br />
<br />
== Weblinks ==<br />
* [https://cca.informatik.uni-freiburg.de/de/team/prof-dr-armin-biere Profil von Armin Biere (Webseite des Instituts für Rechnerarchitektur der Albert-Ludwigs-Universität Freiburg)]<br />
* [http://fmv.jku.at/biere Profil von Armin Biere (Webseite des Instituts für Formale Modelle und Verifikation)]<br />
* [http://fmv.jku.at/biere/papers Publikationen von Armin Biere (Website des Instituts für Formale Modelle und Verifikation)]<br />
* [http://fodok.jku.at/fodok/person.xsql?PER_ID=9222 Publikationen von Armin Biere]<br />
* Armin Biere: [https://video.ethz.ch/speakers/lecture/5b06d21a-a226-4171-afce-c56ac23971e0.html ''Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen. Einführungsvorlesung.''] Videoportal der ETH Zürich, 21. Mai 2001.<br />
<br />
{{Normdaten|TYP=p|GND=115751823|LCCN=no2006075968|VIAF=45040007}}<br />
<br />
{{SORTIERUNG:Biere, Armin}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Hochschullehrer (Albert-Ludwigs-Universität Freiburg)]]<br />
[[Kategorie:Hochschullehrer (Universität Linz)]]<br />
[[Kategorie:Hochschullehrer (ETH Zürich)]]<br />
[[Kategorie:Deutscher]]<br />
[[Kategorie:Geboren 1967]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Biere, Armin<br />
|ALTERNATIVNAMEN=<br />
|KURZBESCHREIBUNG=deutscher Informatiker, Leiter des Instituts für Rechnerarchitektur an der Albert-Ludwigs-Universität Freiburg<br />
|GEBURTSDATUM=22. April 1967<br />
|GEBURTSORT=Villingen<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>Aka