Jiefei Ma

Papers

Total Citations

H-Index

About

Jiefei Ma is a researcher whose work sits at the intersection of distributed systems, declarative programming, and artificial intelligence. His most notable contribution is the development of **DARE (Distributed Abductive Reasoning)**, a system that applies abductive reasoning—a form of logical inference that seeks the simplest and most likely explanation for observed facts—to distributed environments. This work, published in 2008 and garnering 23 citations, laid a foundation for using logic-based reasoning in decentralized settings. Ma further advanced the field with a **declarative framework for the specification, simulation, and analysis of distributed applications**, showing how Datalog-like languages can naturally model and implement network protocols and services. This framework, which has attracted recent interest, demonstrates his ability to bridge theoretical logic with practical distributed systems engineering. By enabling developers to specify complex distributed behaviors in a high-level, declarative manner, Ma’s research offers powerful tools for both reasoning about and building reliable, analyzable distributed applications—a contribution that continues to influence researchers working at the nexus of databases, networking, and AI.