ECpE’s Kumar delivers keynote at IC3 and is “Best Paper Award” finalist at ICINCO

Department of Electrical and Computer Engineering (ECpE) Professor Ratnesh Kumar at Iowa State University recently gave a keynote talk at International Conference on Contemporary Computing (IC3) in India. This conference has been running annually since 2008. Kumar, one of seven keynote speakers at the conference, spoke on Model-Based Safety Analysis in Cyber-Physical Systems.

“This was its thirteenth iteration and my first participation, which allowed me to visit their beautiful campus, and to meet the organizers and also some of the other invited keynote speakers from the field of computing from UFL, UT Austin, Cornell and Penn State,” Kumar said. “While in Delhi, it also provided the opportunity to connect with some of the Technology Administration leaders there and explore a bit of India’s capital city.”

In the same trip to the IC3, Kumar attended the International Conference on Informatics in Control, Automation, and Robotics (ICINCO), where he and two members of his team were “Best Paper Award” finalists for their paper on “‘Reduced Logic Inference for Composition’ for Quantifier Elimination based Compositional Reasoning.”