Metody geometrii różniczkowej oraz geometrii algebraicznej do rozwiązywania pewnych problemów równoważności w kategorii równań różniczkowych cząstkowych
Zdefiniowanie i zbadanie własności systemu powiązanych ze sobą modeli dla procesów współbieżnych spełniającego tylko najbardziej ogólny paradygmat w semantyce krokowej (cykl publikacji)