Welcome to Jingde Cheng's home page
Research
Research Interests in Information Security Engineering
- Information Assurance and Information Security
- Electronic Evidence
- Active and Anticipatory Defense
- Anticipatory Reasoning-Reacting Systems
- Electronic Voting and Questionnaire Systems
- Information Security Engineering Environment and Its Applications
Research Interests in Knowledge Engineering
- Relevant and Ampliative Reasoning
- Strong Relevant (Relevance) Logics and Their Applications
- Epistemic Processes in Scientific Discovery and Epistemic Programming for Scientific Discovery
- Automated Theorem Finding and Automated Problem Proposing
- Autonomous Evolution of Knowledge-Based Systems
- Knowledge Representation and Reasoning in Go ("WeiQi" in China, "Igo" in Japan, "Baduck" in Korea)
Research Interests in Software Engineering
- Persistent Computing and Persistent Computing Systems
- Anticipatory Computing and Anticipatory Computing Systems
- Design, Development, Maintenance, and Evolution Methodologies for Continuously Available, Reliable, and Secure Systems
- Program and System Dependence Analysis and Their Applications
- Programming Language Ada and Its Applications
- Soft System Buses for Persistent Computing and Ubiquitous Computing