LLVM Discussion Forums

Dinistro

Dinistro

Previously working as a frontend developer, now studying computer science at ETH Zürich.

My main interests include programming languages, compilers, computer systems and formal verification.

Currently I’m working on my bachelor thesis by implementing a Presburger dialect for MLIR.