Miroslaw Truszczynski is a professor of computer science at the University of Kentucky. His research interests include knowledge representation, nonmonotonic reasoning, logic programming, and constraint satisfaction. He has published over 180 technical papers, co-authored a research monograph on nonmonotonic logics, and edited ten article collections and conference proceedings.

Truszczynski served on the Executive Committee of the Association of Logic Programming, was Chair of the Steering Committee of Nonmonotonic Reasoning Workshops, and President of Knowledge Representation Inc. He served as an editor and associate editor on boards of Journal of Artificial Intelligence Research, and Artificial Intelligence Journal. He is now Editor-in-Chief of Theory and Practice of Logic Programming, and an associate editor of AI Communications.

In 2013, Truszczynski was elected Fellow of the Association for the Advancement of Artificial Intelligence (AAAI).