Projects funded by the NCN

New trends in the architecture of transparent facades - formal experiments, technological innovations

Call: OPUS 8 , Panel: ST8

Principal investigator: dr hab. Marcin Michał Brzezicki

Politechnika Wrocławska, Wydział Architektury

SYNAMET - Microcorpus of Synaesthetic Metaphors. Towards a Formal Description and Efficient Methods of Analysis of Metap...

Call: OPUS 8 , Panel: HS2

Principal investigator: dr hab. Magdalena Anna Zawisławska

Uniwersytet Warszawski, Wydział Polonistyki

Business process discovery methods and process calculus for RESTful systems.

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: Andrzej Marek Stroiński

Politechnika Poznańska, Wydział Informatyki

Dual Catalytic System Based on Combination of MHAT and SH2 Mechanisms: A Novel Platform for Formal Cross-Coupling of Tra...

Call: SONATA 18 , Panel: ST4

Principal investigator: dr Michał Piotr Ociepa

Instytut Chemii Organicznej Polskiej Akademii Nauk

Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

Call: OPUS 18 , Panel: ST6

Principal investigator: dr hab. Remigiusz Grzegorz Wiśniewski

Uniwersytet Zielonogórski

Robotic system design methodology based on a formal specification

Call: PRELUDIUM 13 , Panel: ST7

Principal investigator: Maksym Figat

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Scalable reasoning about concurrent imperative programs

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Grammatical inference methods in classification of amyloidogenic proteins

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Olgierd Ryszard Unold

Politechnika Wrocławska