Software engineer with a strong interest in formalization, programming languages and static analysis, and how these can be used to supplement human knowledge and reasoning. Interested in distributed systems. Strong preference for functional languages.