|
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.
|