Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität zu Kiel
|
Angebotsnr. 11069
|
|
|
Stichwörter:
Internetprogrammierung, Linux-Beratung, Programmanalyse, Programmiersprachen, Programmverifikation, Sicherheitskritische Systeme, Übersetzerkonstruktion |
|
Leistungsangebote |
- Linux-Beratung
- Lösung von Planungs- und Optimierungsaufgaben mit Constraint-Programmierung
- Wissensverarbeitungskomponenten mit Techniken der symbolischen Künstlichen Intelligenz
- Sicherheitskritische Systeme
- Internetprogrammierung
- Automatische Programmanalyse und -verifikation
- Anwendungsspezifische Programmiersprachen
|
Nutzungsangebote |
- ACL2 (Theorembeweiser)
- Prolog, Haskell, SML
- C, C++, Java
- Curry (Multiparadigmen-Sprache, z. B. für Internet-Programmierung)
- Visual Works (Smalltalk-80)
- Common Lisp
|
Forschungsgebiete |
- Internet-basierte verteile Systeme
- Hochsprachen zur zuverlässigen Softwareentwicklung
- Programmierumgebungen
- Programmanalyse und -verifikation
- Programmiersprachen und Übersetzerkonstruktion
|
Technische Ausstattung |
- Labor mit 11 SUN-Workstations (Ultra-5)
- Linux-PC-Cluster
- SUN-Wortstation-Cluster (7 Ultra 5/10) mit RAID-Massenspeicher
|