People

Eric Meinhardt

Eric Meinhardt works in research and engineering at Imandra. His interests include typed functional programming, domain-specific languages, automata and reasoning about state machines; he holds a linguistics PhD.