Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| — | lehrstuhl:mitarbeiter:biallas [2024/10/30 03:13] (aktuell) – angelegt - Externe Bearbeitung 127.0.0.1 | ||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| + | ====== Dr. rer. nat. Sebastian Biallas ====== | ||
| + | ~~NOTOC~~ | ||
| + | ~~NOCACHE~~ | ||
| + | |||
| + | ===== Über mich ===== | ||
| + | Ich bin nach Berlin gezogen. | ||
| + | {{ : | ||
| + | \\ | ||
| + | \\ | ||
| + | Am Lehrstuhl habe ich das DFG Projekt " | ||
| + | Speicherprogrammierbare Steuerungen (SPSen) sind Steuerungscomputer zur Automatisierung, | ||
| + | In diesem Projekt geht es darum, mittels formaler Methoden Fehler in SPS-Programmen zu finden oder zu beweisen, dass sie ihre Spezifikation erfüllen. | ||
| + | Insbesondere ist es dazu nötig, geeignete Abstraktion-Techniken zu entwickeln, die es erlauben, Berechnungsschritte auf einer großen Menge von Werten gleichzeitig auszuführen. | ||
| + | Erst so ist es möglich, die Analysen auf größere SPS-Programme anzuwenden. | ||
| + | \\ | ||
| + | \\ | ||
| + | Ich bin weiterhin unter biallas[at]embedded[dot]rwth-aachen[dot]de erreichbar. | ||
| + | ===== Publikationen ===== | ||
| + | |||
| + | <BIBTEX: file=publikationen style=I11 sort=timestamp filter=Biallas> | ||
| + | |||