Rochester, Minnesota




Dr. Jyotishman Pathak is a research associate in the Division of Biomedical Statistics and Informatics at Mayo Clinic, Rochester. His research interests lie at the intersection of artificial intelligence, software engineering and distributed systems. Primarily his research involves development of approaches for modeling and executing complex semantic Web services using techniques drawn from formal methods, knowledge representation and planning. He is interested in developing practical solutions that have a sound theoretical basis.

More recently, Dr. Pathak has investigated several challenges related to discovery, composition, substitution, execution and adaptation of semantically heterogeneous Web services and software processes. In particular, he has proposed ontology-based techniques for discovering Web services, and developed sound and complete algorithms based on automata-theoretic formal methods for automatic service composition that satisfy the desired functional and non-functional requirements (e.g., Quality of Service). He has also developed model checking-based techniques for substitutability of Web services that take into account the overall context (or functionality) of the composition when determining compatible service replacements and proposed a novel approach for modeling Web service compositions via adaptation. Dr. Pathak's work has been multi-disciplinary. In collaboration with colleagues from Iowa State University, he was involved in developing and implementing systems for distributed knowledge acquisition and semantic information integration to predict interaction between proteins and failure of electric power transmission equipments.

At Mayo Clinic, Dr. Pathak is working on projects associated with the Cancer Biomedical Informatics Grid (caBIG), the National Center for Biomedical Ontologies (NCBO), and the Mayo Clinic-University of Minnesota Bioscience partnership (The Minnesota Partnership). Specifically, he is investigating research methodologies in ontology discovery, distributed reasoning, collaborative knowledge authoring, and semantic workflow composition.

Dr. Pathak is a member of the American Association for Artificial Intelligence (AAAI), the American Medical Informatics Association (AMIA), the Association of Computing Machinery (ACM), the Institute of Electrical and Electronics Engineers (IEEE), and the International Machine Learning Society (IMLS).

Recent Publications

See my publications

Professional Details

Academic Rank

  1. Associate Professor of Medical Informatics


  1. Ph.D. - Computer Science Iowa State University
  2. B.Engg. - Computer Science and Engineering Regional Engineering College, Jamshedpur

Mayo Clinic Footer