Uduak Inyang-Udoh

Uduak Inyang-Udoh

By |

My research seeks to exploit graph-based modeling theory and the tools of machine learning for efficient control of physical dynamical systems and control co-design in these systems. I am particularly interested in the design of graph-based machine/deep learning model structures that are compatible with basic physics, and using those model structures for real-time actions. Application of interest include advanced manufacturing, thermal and energy storage systems.

Cam McLeman

Cam McLeman

By |

My research interests lie in the application of mathematical tools to machine learning models, e.g., using tools from graph theory and stochastic processes to study graphical neural networks, and conversely, the application of artificial intelligence to mathematical proofs, e.g., automated theorem-proving and theorem-generation. With IDEAS, I also work to use more standard applications of machine learning models to solve problems for groups who traditionally lack access to data science expertise.

My doctoral training was in algebraic number theory, and one of the boasts of number theory is that you are required to use tools from every discipline in mathematics to understand all of its facets. This brought me in contact with graph theory both in the abstract and in the applied setting of Markov chains and stochastic processes, and using these ideas to model evolutions of systems in natural settings. Most recently, the dynamic updating of stochastic processes on graphs is very similar in spirit to the training of many models of neural networks, and exploring the symbiosis between these two sets of ideas has been a driver of my recent research.

In IDEAS, we are excited about taking the reams of student and faculty expertise and research at the University of Michigan and using it “for the people” — finding ways of furthering the goals of small businesses or local community groups that do not have the resources to have a data scientist on staff. On the research front, I personally am very excited to see how the study of mathematics evolves as generative AI models meet formal theorem-proving systems.