Researcher in Programming Language Theory and Formal Verification.
Company:JetBrains Research
eupp doesn’t have any stars yet.
