Registered User

My background is in compiler technology. I enjoy applying techniques from the compiler domain to other domains. I also think that logic has a growing place in information and information exchange. I've open sourced a few projects, see my github page here: https://github.com/erikeidt.