User:Imadeluz

My name is Luke, I studied mathematics in university and have been working for awhile on a compiler in my spare time. I have come to Wikipedia to share the results of my work/research. Topics include formal grammars, compilation toolchains, and formal verification. I believe some of my results are novel, and hope to improve the world by sharing them.