Contact Information

Research Information

Research Description

Logic, semantics, Programming Languages, dataflow, computation ,Artificial Intelligence. Automated reasonong; Bilingual education, second language education; Computers; Critical thinking; E-Learning; Electronic publishing; Formal Language theory; Functional programming; Information storage and retrieval; Innovation; Intelligent systems; Knowledge representation; Language teaching; Logic; Logic programming; Logic theory; Mathematics; Semantics; Software and development

Degrees

Interdisciplinary Research

Foreign Language Teaching Software

Research Keywords

International Involvement

Countries lived/worked in

United States, United Kingdom