This shows you the differences between two versions of the page.
|
en:lehrstuhl:mitarbeiter:kamin [2009/10/15 13:15] jfiedler |
en:lehrstuhl:mitarbeiter:kamin [2009/11/05 17:45] (current) kamin |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Dipl.-Inform. Volker Kamin ====== | ====== Dipl.-Inform. Volker Kamin ====== | ||
| ~~NOTOC~~ | ~~NOTOC~~ | ||
| + | ~~NOCACHE~~ | ||
| \\ | \\ | ||
| {| | {| | ||
| Line 16: | Line 17: | ||
| || {{:lehrstuhl:mitarbeiter:kamin.jpg?150|}} | || {{:lehrstuhl:mitarbeiter:kamin.jpg?150|}} | ||
| |} | |} | ||
| - | |||
| - | ===== News ===== | ||
| - | {{blog>:en:lehrstuhl:mitarbeiter:vkblog?3}} | ||
| ===== Research Topics ===== | ===== Research Topics ===== | ||
| Line 26: | Line 24: | ||
| * Symbolic model checking for software for embedded systems | * Symbolic model checking for software for embedded systems | ||
| * Abstract Interpretation | * Abstract Interpretation | ||
| + | * Symbolic Execution | ||
| * Interfacing high level and low level model checking for counter-example verification | * Interfacing high level and low level model checking for counter-example verification | ||
| \\ | \\ | ||
| Line 31: | Line 30: | ||
| ===== Teaching ===== | ===== Teaching ===== | ||
| - | + | ==== Lectures ==== | |
| - | ==== Lectures and Seminars ==== | + | * Winter semester 09/10: [[:en:lehre:wise0910:formale_methoden]] |
| - | * Winter semester 09/10: [[:en:lehre:wise0910:vup_seminar]], [[:en:lehre:wise0910:formale_methoden]] | + | |
| * Summer semester 09: [[en:lehre:sose09:einfuehrung_eingebettete_systeme]] | * Summer semester 09: [[en:lehre:sose09:einfuehrung_eingebettete_systeme]] | ||
| + | ==== Seminars ==== | ||
| + | * Winter semester 09/10: [[:en:lehre:wise0910:vup_seminar]] | ||
| + | ==== Labs ==== | ||
| + | * Winter semester 09/10: [[:lehre:wise0910:hnp]] | ||
| + | |||
| + | |||
| + | |||
| - | ==== BSc/MSc/Diploma Theses ==== | + | ===== BSc/MSc/Diploma Theses ===== |
| - | === Open === | + | ==== Open ==== |
| * [[:en:lehre:abschlussarbeiten:DAVK001]] | * [[:en:lehre:abschlussarbeiten:DAVK001]] | ||
| * [[:en:lehre:abschlussarbeiten:DAVK002]] | * [[:en:lehre:abschlussarbeiten:DAVK002]] | ||
| Line 44: | Line 49: | ||
| * [[:en:lehre:abschlussarbeiten:DAVK006]] | * [[:en:lehre:abschlussarbeiten:DAVK006]] | ||
| - | === Ongoing === | + | ==== Ongoing ==== |
| * [[:en:lehre:abschlussarbeiten:DAVK005]] | * [[:en:lehre:abschlussarbeiten:DAVK005]] | ||