How much math do you know? Specifically of the type theory/domain theory/category theory variety. How many process calculi are you familiar with? Just curious.
I personally don't have much of a math background, but Jamie does (he went to Cambridge for it). FWIW, Eve is actually very heavily based on mathematics and using first principles there to guide us to a solution that is backed by more than just intuition.
