ModelSet
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022).
@vnu-frsl @vnu-sme @SEhumantics Ichvers, Esteh, Enurbahnhof, Azeroy
Leonardo Montecchi
montex
Associate Professor at NTNU. Researching on Model-Driven Engineering techniques, applied to the development and verification of resilient systems.
NTNU Trondheim, Norway
