Martin Chevestrier

I'm a software engineer with a background in marketing.

Here are some personal interests of mine at the moment:

• Computational linguistics, lexical analyzers and parser generators
• Theorem provers, logic, and formal verification
• Mathematical optimization, symbolic computation, and applied linear algebra
• Asynchronous runtimes and concurrency (i.e. fibers, continuations, work stealing, distributed systems...)
• Finance, econometrics, operations research and monetary policies