He has over 20 years of teaching experience, as well as an extensive scholarly publication record in knowledge based systems, conceptual graphs, and formal models in software engineering. He serves on several conference program committees, including a senior role in the International Conference on Conceptual Structures (ICCS). He is the author of CharGer, an open-source conceptual graph visualization package. He serves on the USA ANSI L8 committee, which is one of the technical advisory groups to ISO/IEC JTC1’s SC32 subcommittee on data interchange, under whose auspices he served as editor of the Common Logic standard (ISO/IEC 24707:2007).