Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:schlich [2009/08/05 16:07] schlich |
lehrstuhl:mitarbeiter:schlich [2009/08/05 16:13] schlich |
||
|---|---|---|---|
| Zeile 4: | Zeile 4: | ||
| {| | {| | ||
| |- | |- | ||
| - | || {{:lehrstuhl:mitarbeiter:schlich.jpg|}} | + | || {{:lehrstuhl:mitarbeiter:schlich2.jpg|}} |
| || | || | ||
| Post-Doktorand\\ | Post-Doktorand\\ | ||
| Zeile 38: | Zeile 38: | ||
| Ich bin vom 03.07. bis zum 13.07.2009 im Urlaub. In dringenden Fällen können Sie Herrn [[:lehrstuhl:mitarbeiter:kamin|Kamin]] kontaktieren. | Ich bin vom 03.07. bis zum 13.07.2009 im Urlaub. In dringenden Fällen können Sie Herrn [[:lehrstuhl:mitarbeiter:kamin|Kamin]] kontaktieren. | ||
| */ | */ | ||
| + | |||
| ===== Persönlich ===== | ===== Persönlich ===== | ||
| Seit Juli 2008 bin ich Post-Doktorand am Lehrstuhl Informatik 11 - Software für eingebettete Systeme. An diesem Lehrstuhl leite ich die Gruppe Formale Verifikation. Mein Forschungsschwerpunkt ist die formale Verifikation von Software für eingebettete Systeme. Unter formaler Verifikation verstehe ich die Anwendung von Methoden wie z. B. statische Analyse, abstrakte Interpretation und Model-Checking.\\ | Seit Juli 2008 bin ich Post-Doktorand am Lehrstuhl Informatik 11 - Software für eingebettete Systeme. An diesem Lehrstuhl leite ich die Gruppe Formale Verifikation. Mein Forschungsschwerpunkt ist die formale Verifikation von Software für eingebettete Systeme. Unter formaler Verifikation verstehe ich die Anwendung von Methoden wie z. B. statische Analyse, abstrakte Interpretation und Model-Checking.\\ | ||