The focus of my research is on a model of knowledge representation that is
based on a theory of cognitive activity and a Peircean theory of signs
(semiotics). In the past I did research in various fields of computer science
including compiler construction, natural language parsing and formal
conceptual analysis.
See also KiF project .