Viewing profile — yarnton99

Where did you move if it's not too much to ask?

Just trying to find some positive examples of American small towns. As a European, if I were to relocate to the US, where would I find strong town communities? I know for example I…

Some things like abstract interpretation scale quite well. The Airbus fly-by-wire code (~100 KLOC) can be statically verified in about an hour with a modern PC. This is not a forma…

Formal methods (theorem proving, model checking, static analysis, abstract interpretation, advanced type systems, program semantics, etc) have remained a relatively niche topic dur…

Thanks, much appreciated! I'll drop you an email once I'm prepared to discuss this further.

I have a PhD from Cambridge, a degree in CS, etc. I have a great biotech startup idea and some funding secured in the EU. However, I would prefer to execute it in the US as I prefe…