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
Sascha
GlancingMind
Master's student in Computer Science at THM with a passion for model-driven development and system/software architecture.
Germany
Lazy Wind Lazy Hurry
WLFJ
Currently working on MLIR and Advanced Software Engineering.
Beihang University China
Max Kratz
maxkratz
PhD student @Echtzeitsysteme TU Darmstadt
Technical University of Darmstadt Germany