Infomorphism is a software company.

Skills:

• Functional programming, especially ML and OCaml.
• Writing compilers and translations.
• Developing EDA (Electronic Design Automation) Tools.
• Modelling systems - simulation.
• Theorem proving - formalising theories and mechanising their proofs on computers.

You can contact me here.