NorKen Technologies was founded in a pursuit to bridge the gap between mainstream application development and on-going research in the fields of computer science, knowledge engineering and artificial intelligence--by developing tools that leverage key principles from each of these disciplines, while presenting them in a way that is practical for everyday development projects.

ProGrammar is our first such product, in what we plan to be a continually growing family of integrated developer's tools.

Our research and development interests include:

• The practical application of computer science and information technologies
• The formalization of knowledge and knowledge representation
• Developing software engineering tools based on formal methods
• Building executable models of application domains