Our research focus
Reasoning, software development and scientific applications: what we work on.
Convergent explores alternative approaches to intelligent computer systems.
Reasoning
We study how systems can solve multi-step problems in a structured way.
Software development
We build tools that help with designing, writing and reviewing code.
Science
We work on applications that support research in other disciplines.