Ryszard Janicki

Dr. Ryszard Janicki is a Professor in the Department of Computing and Software at McMaster University, affiliated with the Faculty of Engineering. He serves as the Graduate Advisor for Computer Science and has held academic positions since 1975. His expertise spans concurrency theory, rough sets, pairwise comparisons, software engineering fundamentals, and formal verification. He earned a Dr. Habil. from the Polish Academy of Sciences (1980), a Ph.D. (1977), and an M.Sc. (1975) in Computer Science and Applied Mathematics.

• Ph.D.: Computer Science, Polish Academy of Sciences, 1977
• Dr. Habil.: Computer Science, Polish Academy of Sciences, 1980
• M.Sc.: Applied Mathematics, Warsaw University of Technology, 1975

His research focuses on concurrency semantics (interval orders, Petri nets), approximation theory (rough sets, pairwise comparisons), software engineering (tabular expressions), and mereology applications. His work bridges theoretical foundations with practical systems modeling, including cardiac pacemakers and elevator systems using Petri nets.

Recent publications emphasize advancements in pairwise comparison methods, data poisoning attack prevention in federated learning, and formal verification techniques for concurrent systems. He has advised numerous PhD students and contributed to textbooks and special journal issues on concurrency and rough sets.

His contributions span 40+ years of academic leadership, with over 150 publications and international collaborations. He actively participates in conferences like Petri Net Theory and chairs special issues on concurrency and software certification.