Estamos
particularmente interesados en colaborar con grupos de investigación
o empresas que deseen desarrollar aplicaciones mediante uso intensivo
de Métodos Formales. Estamos capacitados para trabajar con C,
C++, Haskell, Linux (núcleo del sistema), TCP/IP, programación
a bajo nivel, drivers para dispositivos, criptografía,
CSP, TLA, Z, Larch, Statecharts, Coq, diseño orientado a objetos
(DOO), arquitecturas de software, seguridad informática, seguridad
multi-nivel (MLS), modelos formales de seguridad informática,
etc.
También,
buscamos socios, inversores, sponsors, o instituciones de financiamiento
interesadas en apoyar cualquiera de nuestros proyectos.