Detailseite

Privatdozent Dr.-Ing. Sergey Goncharov

Adresse Friedrich-Alexander-Universität Erlangen-Nürnberg
Department Informatik
Lehrstuhl Informatik 8 - Theoretische Informatik
Martenstraße 3
91058 Erlangen

Projekte

Als Antragsteller
- laufende Projekte
  - Höherstufige monadenbasierte Programmierung und Verifikation (Sachbeihilfen)
  - Abstrakte Techniken für Programmiersprachen und sichere Kompilierung (Sachbeihilfen)
- abgeschlossene Projekte
  - Eine High-Level-Sprache für monadenbasierte Prozesse (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Privatdozent Dr.-Ing. Sergey Goncharov

Zusatzinformationen

Servicenavigation

Hauptnavigation

Privatdozent Dr.-Ing. Sergey Goncharov

Zusatzinformationen

Textvergrößerung und Kontrastanpassung