Mission and Founder
Intentional is reinventing productivity software to transform how teams work in the modern workplace. Our next generation application platform for team productivity is designed for the latest hardware technologies and the modern workplace.
Intentional Software was founded by Charles Simonyi, chief architect of Microsoft Word and Excel. Prior to joining Microsoft in 1981, Simonyi created the first WYSIWYG (What You See Is What You Get) Word Processor at Xerox PARC which transformed how we create documents. Charles Simonyi holds a Ph.D. in Computer Science from Stanford University with a dissertation on “Meta Programming”.
Intentional Software builds on the Intentional Programming project led by Charles Simonyi at Microsoft Research. The Death of Computer Languages, The Birth of Intentional Programming describes the vision for that project; there is also a video. The Intentional Programming system enabled programs to be written and viewed in a variety of specific notations, and also permitted the smooth integration of domain-specific and general-purpose languages.
Intentional Software Corporation was founded in August, 2002 by Dr. Charles Simonyi and Professor Gregor Kiczales, the leader of the research team for compile time aspect-oriented programming and the AspectJ programming language at Xerox PARC. Gregor Kiczales has returned as a full time professor of computer science at the University of British Columbia.
Intentional technology is a generalization of these concepts where domain specific languages (DSLs) are used to describe domain knowledge, which is combined using run time aspect oriented programming.
You may have noticed the highlighted E and A in our logo, and the backwards E and the upside down A in our logo icon (∃ and ∀). E and A have special meaning in the Simonyi Law; they stand for Entities and Aspects. The backwards E and upside down A are important mathematical symbols called the existential and universal quantifiers. An important branch of mathematics – predicate logic – is based on them. They are read as there exists and for all, hence their form that relates them to the letters E(xist) and A(ll). They are used to formally say things like ”for all domains, there exists a language”. The iconic form of the logo recalls the two quantifiers and adds the graphical element of an arrow symbolizing the generative techniques that are integral to Intentional Software.
Intentional Software is not specially connected with predicate logic, but the allusion to the quantifiers in the logo is still meaningful. It reminds us that there exists an intention for all domain concepts. It also suggests that the special notations of a domain, like ∃ and ∀ in predicate logic, should be usable when expressing intentions.