Kedar S. Namjoshi

Murray State University, Nokia (United States)

Papers

Total Citations

H-Index

About

Kedar S. Namjoshi is a leading researcher in the formal verification, synthesis, and programming of distributed and multirobot systems. His work bridges the gap between high-level specifications and reliable, automated system behavior. A major contribution is the development of **Resh**, a novel, statically typed programming language and runtime designed to dramatically simplify the orchestration of multirobot fleets. By offloading complex coordination logic from the programmer to the language runtime, Resh represents a significant step toward making multirobot systems more accessible and robust. Namjoshi has also made foundational contributions to **reactive synthesis**, particularly in the automatic generation of coordination programs. His work on synthesizing programs from linear temporal logic (LTL) specifications provides a rigorous method for ensuring that a group of agents collectively satisfies a desired long-term behavior, a critical challenge in autonomous systems. With his most-cited works accumulating over a dozen citations, Namjoshi’s research is shaping the future of dependable, programmable multi-agent systems, offering powerful tools for both roboticists and formal methods researchers.