Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Privatdozent Dr.-Ing. Sergey Goncharov

Adresse University of Birmingham
School of Computer Science
Edgbaston
Birmingham B15 2TT
Großbritannien

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)

© 2025 DFG Kontakt / Impressum / Datenschutz