AUTONOMY - Key Persons
Job Titles:
- Breakthrough Research Award, Microsoft Research 2008
G. Rosu and A. Stefanescu, "Checking reachability using matching logic," Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, (OOPSLA'12), part of SPLASH 2012, Tucson, AZ, USA, 21-25 October 2012. ACM, pages 555-574, 2012. Acceptance rate 57/228 (25%).
Lee, N., A. Zorn, and M. West, "Passive Vertical Stabilization of Two Tethered Nanosatellites with Engineered Damping," in Proceedings of the AIAA Guidance, Navigation and Controls Conference, Honolulu, Hawaii, AIAA-2008-6450, 2008.
Job Titles:
- Professor
- Professor of Engineering and Department Head
Job Titles:
- Professor
- Professor, Computer Science
Alex Kirlik is Professor in the Department of Computer Science with additional appointments in the Department of Industrial & Enterprise Systems Engineering, the Department of Electrical and Computer Engineering, the Beckman Institute for Advanced Science and Technology, and the Information Trust Institute, the Coordinated Science Laboratory, the Intelligent Robotics Laboratory and the Illinois Informatics Institute. He previously served as acting head of Illinois's Human Factors program in the Institute of Aviation from 2006-2010. Alex earned his B.S., M.S. and Ph.D. degrees in Industrial & Systems Engineering (Human-Machine Systems) at The Ohio State University. His Ph.D. thesis, "The organization of perception and action in complex control skills" earned the George Briggs Award from APA's Division of Applied Experimental and Engineering Psychologists, as the best dissertation of the year. During his academic career, in addition to positions held with his home institutions at the University of Illinois (2002-date) and Georgia Tech (1989-2001), Alex has held visiting positions at Stanford University and NASA Ames Research Center (ASEE-NASA Stanford Summer Faculty Fellow, 1989, 1990), Yale University, Haskins Laboratory and the University of Connecticut (Visiting Scholar, 2001-02 academic year), Draper Laboratory, Cambridge, MA (Sabbatical Research, 2012-13 academic year), and the Liberty Mutual Research Institute for Safety (Visiting Scholar, summer 2015).
Hettinger, L. J., Kirlik, A., Goh, Y. M. & Buckle, P. (2015). Modelling and simulation of complex sociotechnical systems: Envisioning and analysing work environments. Ergonomics, 58, (4), 600-614.
Kirlik, A. (2012). Relevance versus generalization in cognitive engineering. (Invited) Cognition, Technology and Work, 14(3), 213-220.
Kirlik, A., (1993). Modeling strategic behavior in human-automation interaction: Why an "aid" can (and should) go unused. Human Factors, Vol. 34, No. 2.
Vicente, K. and Kirlik, A., Putting the cart before the horse: Taking perception seriously in unified theories of cognition. Commentary on Newell. Behavioral and Brain Sciences, Vol.
Kirlik, A., Ackerman, K., Seefeldt, B., Xargay, E., Talleur, D., Carbonari, R., Hovakimyan, N. and Sha, L. (2015). Inverting the human/automation equation to support situation awareness and prevent loss of control. Proceedings of the 2015 International Symposium on Aviation Psychology.
Kirlik, A. (2007) Lessons learned from the design of the decision support system used in the hurricane Katrina evacuation decision. Proceedings of the 51st Annual Meeting of the Human Factors and Ergonomics Society. Santa Monica, CA: Human Factors and Ergonomics Society.
Kirlik, A. (2007) Conceptual and technical issues in extending computational cognitive modeling to aviation. Proceedings of Human-Computer Interaction International 2007, Beijing, China.
Nunes, A., Kirlik, A. (2005) An empirical study of calibration in air traffic control expert judgment. Proceedings of the 49th Annual Meeting of the Human Factors and Ergonomics Society (pp. 422-426). Santa Monica, CA: Human Factors and Ergonomics Society.
Kirlik, A. "Conducting generalizable research in the age of the field study." IEA/HFES 2000. San Diego, CA, 2000.
Bisantz, A.M. Gay, P., Phipps, D., Walker, N., Kirlik, A., and Fisk, A.D. "Specifying training needs in a dynamic judgment task using a Lens Model approach." Proceedings of the 1997 IEEE Conference on Systems, Man, and Cybernetics. 1997.
Kirlik, A., "The design of perceptually augmented displays to support interaction with dynamic systems," Proceedings of the 1995 IFAC Conference on Man-Machine Systems, Cambridge, MA, 1995.
Kirlik, A. "Perceptual augmentation to support skilled interaction," Proceedings of the 1993 IEEE International Conference on Systems, Man, and Cybernetics, Le Touquet, France, 1993.
Kirlik, A. and Rothrock, L., "Constraints on neural net modeling to support display design for skilled decision-making," Proceedings of the Second Workshop on Neural Networks: Academic/Industrial /NASA/Defense, Auburn, Alabama, 1991.
Kirlik, A., Miller, R.A., and Jagacinski, R.J. "A process model of skilled human performance in a dynamic uncertain environment," Proceedings of the 1989 IEEE Int'l Conference on Systems, Man, and Cybernetics, Cambridge, MA, 1989.
Job Titles:
- Research Fellowship, 2010
Job Titles:
- Assistant Professor / Mechanical Science & Engineering
Job Titles:
- Co - Director and Founder, Center for People and Infrastructures, Coordinated Science Laboratory, University of Illinois, 2011 - Present
B. Chen, M. West, and C. Zilles, "Predicting the difficulty of automatic item generators on exams from their difficulty on homeworks", in Proceedings of the Sixth Annual ACM Conference on Learning at Scale (L@S 2019), 2019.
Job Titles:
- George and Ann Fisher Distinguished Professor in Engineering
- Professor
Job Titles:
- Associate Professor
- Professor
C. Langbort, Bifurcation of Relative Equilibria in the Main Problem of Artificial Satellite Theory for a Prolate Body. Celestial Mechanics and Dynamical Astronomy, no. 84-vol., pp. 369-385, 2002.
O. Massicot, C. Langbort, On the comparative performance of information provision policies in network routing games, in Proceedings of the 2018 Asilomar Conference, October 2018.
C. Valicka, D. M. Stipanovic, and A. E. Abbas. Multiattribute Copulas for Multiobjective Control, Proceedings of the 2013 American Control Conference, pp. 3218-3223.
H. Huang, W. Zhang, J. Ding, D. M. Stipanovic, and C. J. Tomlin. Guaranteed Decentralized Pursuit-Evasion in the Plane with Multiple Pursuers, Proceedings of the 2011 IEEE Control and Decision Conference.
T. Brdar, S. Bieniawski, D. M. Stipanovic, and J. Vian. Application of Collision Avoidance on Flying Vehicles, Proceedings of the AIAA Guidance, Navigation, and Control Conference, Toronto, Ontario, Canada, August 2-5 (2010), 10 sigle-column single-space pages.
X. Chen, A. E. Abbas, and D. M. Stipanovic, A Multiattribute Utility Approach to Target Assignment, Proceedings of the 2009 Dynamic Systems and Control Conference.
M. S. Stankovic and D. M. Stipanovic. Stochastic Extremum Seeking with Applications to Mobile Sensor Networks, Proceedings of the 2009 American Control Conference, St. Louis, Missouri, June 10-12
J. S. Mejía and D. M. Stipanovic. Asymptotic Stabilization using a Constructive Approach to Constrained Nonlinear Model Predictive Control, Proceedings of the 2008 IEEE Control and Decision Conference, Cancun, Mexico, December 9-11 (2008), pp. 4061-4066.
D. M. Stipanovic, A. Melikyan, and N. Hovakimyan. Pursuit-Evasion Games with Two Pursuers on the Moving Time Horizon, in the Proceedings of the 12th International Symposium on Dynamic Games and Applications, Sophia Antipolis, France, July 3-5 (2006), 3 single column pages.
I. Hwang, D. M. Stipanovic, and C. J. Tomlin. Applications of Polytopic Approximations of Reachable Sets to Linear Dynamic Games and a Class of Nonlinear Systems, Proceedings of the 2003 American Control Conference, Denver, Colorado, June 4-6 (2003), pp. 4613-4619.
G. İnalhan, D. M. Stipanovic, and C. J. Tomlin. Decentralized Optimization, with Application to Multiple Aircraft Coordination, Proceedings of the 2002 IEEE Conference on Decision and Control, Las Vegas, Nevada, December 10-13 (2002), pp. 1147-1155.
G. M. Lu, D. R. Trinkle, A. Schleife, C. Leal, J. Krogstad, R. Maass, P. Bellon, P. Y. Huang, N. H. Perry, M. West, T. Bretl, and G. L. Herman, "Impact of integrating computation into undergraduate curriculum: New modules and long-term trends", in Proceedings of the 2020 American Society for Engineering Education Virtual Annual Conference (ASEE 2020), 2020.
Dave Ward Memorial award by Aerospace Control Guidance and Systems Group (ACGSC) for outstanding contributions to Aerospace GNC (2015)
Job Titles:
- Fulton Watson Copp Chair in Computer Science
- Professor
David Ren, Lara Waldrop, Farzad Kamalabadi, "Tomographic Reconstruction of Atmospheric Density With Mumford-Shah Functionals", Proceedings of IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Shanghai, China, 2016.
Job Titles:
- Chairman in Computer Science
Job Titles:
- Donald Biggar Willett Professor Emeritus
- Professor in Engineering
- Professor of Engineering at the University of Illinois
Rakesh Nagi is Donald Biggar Willett Professor of Engineering at the University of Illinois, Urbana-Champaign. He served as the Department Head of Industrial and Enterprise Systems Engineering (2013-2019). He also served as the Interim Director of the Illinois Applied Research Institute (2016 - 2018). He is an affiliate faculty in Computer Science, Electrical and Computer Engineering, and Computational Science and Engineering.
Previously he served as the Chair (2006-2012) and Professor of Industrial and Systems Engineering at the University at Buffalo (SUNY) (1993-2013). He received his Ph.D. (1991) and M.S. (1989) degrees in Mechanical Engineering from the University of Maryland at College Park, while he worked at the Institute for Systems Research and INRIA, France, and B.E. (1987) degree in Mechanical Engineering from University of Roorkee (now IIT-R), India.
He is a recipient of IIE Fellow Award (2010), UB's "Sustained Achievement Award" in recognition of outstanding achievements in scholarly activity (2009), Business First of Buffalo's "40 under Forty" award (2004), SME's Milton C. Shaw Outstanding Young Manufacturing Engineer Award (1999), IIE's Outstanding Young Industrial Engineer Award in Academia (1999), and National Science Foundation's CAREER Award (1996). His papers have been published in journals including IIE Transactions, International Journal of Production Research, Journal of Manufacturing Systems, International Journal of Flexible Manufacturing Systems, Journal of Intelligent Manufacturing, Computers in Industry, Computer Integrated Manufacturing Systems, Management Science, Operations Research, Naval Research Logistics, European Journal of Operational Research, Annals of Operations Research, Computers and Operations Research, Computers and Industrial Engineering, and ASME and IEEE Transactions. Dr. Nagi's major research thrust is in the area of production systems and applied/military operations research. His research interests are in Location theoretic approaches to Facilities Design, Agile Enterprises and Information-Based Manufacturing, Just-In-Time production of assemblies, and Information Fusion.
Douglas L. Jones received the BSEE, MSEE, and Ph.D. degrees from Rice University in 1983, 1986, and 1987, respectively. During the 1987-1988 academic year, he was at the University of Erlangen-Nuremberg in Germany on a Fulbright postdoctoral fellowship. Since 1988, he has been with the University of Illinois at Urbana-Champaign, where he is currently a Professor in Electrical and Computer Engineering, Neuroscience, the Coordinated Science Laboratory, and the Beckman Institute. He was on sabbatical leave at the University of Washington in Spring 1995 and at the University of California at Berkeley in Spring 2002. In the Spring semester of 1999 he served as the Texas Instruments Visiting Professor at Rice University. He is now serving as the Director of the Advanced Digital Sciences Centre (ADSC) Illinois at Singapore. He is an author of two DSP laboratory textbooks, and was selected as the 2003 Connexions Author of the Year. He is a Fellow of the IEEE. He served on the Board of Governors of the IEEE Signal Processing Society from 2002-2004. His research interests are in digital signal processing, including nonstationary signal analysis, adaptive processing, multisensor data processing, OFDM, and various applications such as low-power implementations, biology and neuroengineering, and advanced hearing aids and other audio systems.
Professor Jones teaches from the freshman to graduate levels in the general area of Electrical and Computer Engineering, with an emphasis on signal processing. He is particularly interested in laboratory-based instruction, and has developed ECE 420: Digital Signal Processing Laboratory, the laboratory for ECE 210, and the laboratory-intensive ECE 101 general education course. He has also developed and taught a course in signal analysis for neuroscientists participating in an interdisciplinary Neuroengineering program and an interdisciplinary neuroengineering research course. Professor Jones is committed to enhancing engineering education world-wide, and has made his instructional texts for digital signal processing laboratory and advanced signal processing algorithms openly available for use and reuse through the Connexions open-source textbook project; they have been used at a number of universities and translated into several languages.
Job Titles:
- Associate Head for Undergraduate Programs, Professor, Willett Scholar
Job Titles:
- Kung Chie and Margaret Yeh Endowed Professor in Electrical and Computer Engineering
- Professor
R.A. Frazin, F. Kamalabadi, "On the use of total brightness measurements for tomography of the solar corona", Astrophysical Journal, Vol. 628, No. 2, pp. 1061-1069, August 2005.
Job Titles:
- Fulton Watson Copp Chair in Computer Science
Job Titles:
- Director
- PROGRAM DIRECTOR
- Director of the Center
- Director, Center
G. Singh, C. Xiao, E. T. Hsiao-Wecksler, and G. Krishnan, "Design and analysis of coiled fiber reinforced soft pneumatic actuator," Bioinspiration and Biomimetics, vol. 13, no. 3, p. 036010, Apr. 2018.
S. K. Patiballa and G. Krishnan, "On the design of three-dimensional mechanical metamaterials using load flow visualization," Mech. Based Des. Struct. Mach., pp. 1-26, Feb. 2020.
Marry, C., Dankowicz, H., and Krishnan, G. (2021). Continuation-based design of self-contacting soft robotic manipulators, in proceedings of the 2021 Second International Nonlinear Dynamics Conference (Nondycon 2021), February 16-19, 2021
Job Titles:
- Chairman Emeritus
- Chairman Emeritus in Electric Machinery and Electromechanics in Electrical and Computer Engineering
- Director 's Chair in Electric Machinery and Electromechanics, 2002 to 2015 Grainger Emeritus Chair since 2015. Fellow, IEEE, 2000
- Grainger Endowed Chair Emeritus, Research Professor
Grigore Rosu does research in design, semantics and implementation of programming and specification languages, automated software engineering and formal methods, especially push-button techniques for certification, monitoring, synthesis and modularization, and in automated reasoning about computer systems, applications of logics, theorem proving, algorithms, (co)algebra, and category theory. He teaches classes on software engineering, programming languages, formal methods, and runtime verification. Before joining UIUC in 2002, he was a research scientist at NASA Ames. He obtained his Ph.D. at the University of California at San Diego in 2000 and his M.S. at the University of Bucharest, Romania, in 1996. Grigore was offered the CAREER award by the NSF in 2005, the outstanding junior award by the CS Department at UIUC in 2005, and the Dean's award for excellence in research by the College of Engineering at UIUC in 2014. He won the ASE IEEE/ACM most influential paper award in 2016 and the RV test of time award for papers published in 2001 that shaped the runtime verification field, and distinguished/best paper awards at ASE 2008, ASE 2016, OOPSLA 2016, ETAPS 2002. He was ranked a UIUC excellent teacher in Spring 2013, Fall 2012, Spring 2008 and Fall 2004.
Rosu is known for work in runtime verification, the K framework, matching logic, and automated coinduction.
Runtime verification was coined by Havelund and Rosu as the name of a workshop they started in 2001, aimed at addressing problems at the boundary between formal verification and testing. Since 2001, runtime verification (RV) has grown into an active and diverse community, with its own international conference. The underlying idea of RV is to verify a system while it executes, where the system is either instrumented or simulated in an environment in which efficient monitors are generated from specifications and checked against the running system. Combined with recovery when properties are violated, RV can be used as a scalable alternative to formal verification, yielding the same correctness guarantees but at a cost fraction. Runtime verification has got significant traction in the formal verification and software engineering communities, where major conferences include special tracks named Runtime Verification. Within the RV field, Rosu and his collaborators introduced several notions, seminal algorithms and techniques for parametric property monitoring, efficient monitor synthesis, runtime predictive analysis, as well as monitoring-oriented programming as a programming paradigm where a formal specification and an implementation form together a (runtime verified) system. In 2010, Rosu founded the company Runtime Verification, Inc. , as a vehicle to productize and commercialize RV technology to customers such as NASA, Boeing, Toyota, Denso, as well as emerging companies in the blockchain space such as Ethereum Foundation, IOHK, Tezos, Algorand, Maker, Gnosis, etc.
The K framework was proposed by Rosu together with his FSL lab in 2003, as an executable semantic framework. Programming languages, type systems and formal analysis tools can be defined uniformly in the K framework, using configurations, computations and rewrite rules. The distinctive feature of K is that once a system is formalized as a K definition, all the tools needed for that system, from concrete execution engines (interpreters, virtual machines (VMs), compilers) to symbolic execution and formal verification tools, can and should be derived automatically or semi-automatically, correct-by-construction. The goal of K is to put an end to the adhoc language tool development. Several complete semantics of real-life programming languages, such as C, Java, JavaScript, Python, and the Ethereum Virtual Machine, have been formally defined in K.
A. Stefanescu, S. Ciobaca, R. Mereuta, B. Moore, T. Serbanuta, and G. Rosu, "All-Path Reachability Logic". Proceedings of the 25th International Conference on Rewriting Techniques and Applications, RTA'14, and 12th International Conference on Typed Lambda Calculus and Applications, TLCA'14, Vienna, Austria, 14-17 July 2014. Lecture Notes in Computer Science, Volume 8560, 2014, pages 425-440. Acceptance rate 31/87 (35.6%).
Job Titles:
- Assistant Professor
- Research Assistant Professor
Ian Atkinson, Farzad Kamalabadi, "CFAR Detection of a Known FSK-Modulated Signal in White Gaussian Noise With Unknown Variance," Proceedings of the International Conference on Accoustics, Speeach, and Signal Processing (ICASSP), March 2005.
Job Titles:
- Professor / Civil & Environmental Engineering
Job Titles:
- Assistant Professor
- Adjunct Associate Professor
Job Titles:
- PROGRAM COORDINATOR / Center for Autonomy / the Grainger College of Engineering / University of Illinois
Job Titles:
- Professor of Electrical and Computer Engineering
Job Titles:
- Professor / Materials Science & Engineering
- Professor, Materials Science and
Job Titles:
- Intelligent Robotics Lab Manager
Job Titles:
- Professor / Mechanical Science & Engineering
Eric Gilbert and Karrie Karahalios. Predicting Tie Strength with Social Media. Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI), 2009. (Acceptance Rate: 24.5%) Best Paper Award.
Job Titles:
- Associate Director for Robotics
- Professor
Job Titles:
- Kung Chie and Margaret Yeh Endowed Professor in Electrical and Computer Engineering
- Professor
L. Li, O. Massicot, C. Langbort. Sequential Public Signaling in Routing Games with Feedback Information, in Proceedings of the 2018 IEEE Conference on Decision and Control, (Miami, FL), December 2018.
Lui Sha graduated with Ph.D. from CMU in 1985. He worked at the Software Engineering Institute from 1986 to1998. He joined UIUC in 1998 as a full professor. Currently, he is Donald B. Gillies Chair Professor of Computer Science Department and Daniel C. Drucker Eminent Faculty at UIUC's College of Engineering. He is a fellow of IEEE and ACM, and a recipient of the IEEE Simon Ramo Medal for exceptional achievement in systems engineering and systems science. He was a member of National Academic of Science's Committee on Certifiably Dependable Software Systems and a member of NASA Advisory Council.
He led the research, development, and the transition to practice on real-time and embedded computing technologies, which were cited as a major accomplishment in the selected accomplishment section of the 1992 National Academy of Science's report, "A Broader Agenda for Computer Science and Engineering" (P.193). He led a comprehensive revision of IEEE standards on real-time computing, which have since become the best practice in real-time computing systems. Now it has been widely used in real-time systems such as airplanes, robots, cars, ships, trains, medical devices. His work on real-time and safety-critical system integration has impacted many high technology programs, including GPS, Space Station, and Mars Pathfinder. In recent years, his team has been working on autonomous vehicles.
His recent research includes: 1) Physics Model Edited DNN. A physics model is a validated low-dimensional model of causality with critical properties such as provable stability. DNN is a high-dimensional model of correlations that may capture not only unmodeled dynamics in physics model but also spurious corrections in the training samples (overfitting) that leads to outputs inconsistent with physical laws. Physics Edited DNN combines the best of the physical model and DNN model; 2) Medical GPS systems to dramatically reduce preventable medical errors, which are the misapplication of complex modern medical knowledge. Preventable medical errors claim 250,000 lives per year and are the third leading cause of deaths in the USA alone.
Research Interests
Cyber-Physical Systems, Safe Autonomy, Medical Guidance Systems
M. S. Stankovic, D. M. Stipanovic, and S. S. Stankovic. Consensus Based Overlapping Decentralized Control, Proceedings of the 52nd Conference for Electronics, Telecommunications, Computers, Automatic Control, and Nuclear Engineering, ISBN 978-86-80509-63-1, Palic, Serbia, June 8-12 (2008), paper AU1.5, pp. 1-4.
N. Nytko, M. West, and M. Silva, "A simple and efficient markup tool to generate drawing-based online assessments", in Proceedings of the 2020 American Society for Engineering Education Virtual Annual Conference (ASEE 2020), 2020.
Job Titles:
- Associate Professor / Civil & Environmental Engineering
Job Titles:
- Associate Professor / Mechanical Science & Engineering
C. Zilles, M. West, G. Herman, and T. Bretl, "Every university should have a computer-based testing facility", in Proceedings of the 11th International Conference on Computer Supported Education (CSEDU 2019), 2019.
Tomkin, J., M. West, and G. L. Herman, "A methodological refinement for studying the STEM grade-point penalty," in Proceedings of the 2016 IEEE Frontiers in Education Conference (FIE), 2016.
West, M. and C. Zilles, "Modeling student scheduling preferences in a computer-based testing facility," in Proceedings of the Third ACM Conference on Learning @ Scale (L@S 2016), 309-312, 2016.
West, M., M. Silva Sohn, and G. L. Herman, "Sustainable reform of an introductory mechanics course sequence driven by a community of practice," in Proceedings of the ASME 2015 International Mechanical Engineering Congress & Exposition (IMECE 2015), IMECE2015-51493, 2015.
Herman, G. L., I. B. Mena, M. West, J. Mestre, and J. H. Tomkin, "Creating institution-level change in instructional practices through faculty communities of practice," in Proceedings of the 122nd American Society for Engineering Education Annual Conference and Exposition
Zorn, A. and M. West, "Multipoint extension of Pontryagin's maximum principle applied to the optimal attitude scheduling of an imaging satellite," in Proceedings of the AAS/AIAA Astrodynamics Specialist Conference, AAS 13-716, 2013.
Selle, C. and M. West, "Multiscale Networks for Distributed Consensus Algorithms," in the Proceedings of the 48th IEEE Conference on Decision and Control, 4753-4758, 2009.
Liang, T.-C. and M. West, "Numerical Evidence for Cutoffs in Chaotic Microfluidic Mixing," in the Proceedings of the 2008 ASME Dynamic Systems and Control Conference, 2008.
Job Titles:
- Assistant Professor / Mechanical Science & Engineering
Max Z. Li, Karthik Gopalakrishnan, Xiyitao Zhu, Aritro Nandi, Hamsa Balakrishnan and Lavanya Marla, "Identification and Prediction of Disruptions in Airline Networks", Transportation Research Part B: Methodological, under review.
Job Titles:
- Associate Professor
- Alexander Rakhlin, and Aolin Xu, "Information - Theoretic Stability and Generalization, " in "Information - Theoretic Methods in Data Science" ( Cambridge University Press, 2021 )
- Professor
Maxim Raginsky received the B.S. and M.S. degrees in 2000 and the Ph.D. degree in 2002 from Northwestern University, all in Electrical Engineering. He has held research positions with Northwestern, the University of Illinois at Urbana-Champaign (where he was a Beckman Foundation Fellow from 2004 to 2007), and Duke University. In 2012, he has returned to the UIUC, where he is currently a Professor with the Department of Electrical and Computer Engineering and the Coordinated Science Laboratory. He also holds a courtesy appointment with the Department of Computer Science.
Aryeh Kontorovich and Maxim Raginsky, "Concentration of measure without independence: a unified approach via the martingale method," in IMA Volume "Convexity and Concentration" (Springer, 2017)
Maxim Raginsky and Angelia Nedich, "Online discrete optimization in social networks in the presence of Knightian uncertainty," Operations Research, vol. 64, no. 3, pp. 662-679, 2016 (special issue on Information and Decisions in Social and Economic Networks)
Maxim Raginsky, "Empirical processes, typical sequences, and coordinated actions in standard Borel spaces," IEEE Transactions on Information Theory, vol. 59, no. 3, pp. 1288-1301, 2013
Tanya Veeravalli and Maxim Raginsky, "Nonlinear controllability and function representation by neural stochastic differential equations," 5th Conference on Learning for Dynamics and Control, 2023
Joshua Hanson and Maxim Raginsky, "Universal simulation of stable dynamical systems by recurrent neural nets," 2nd Conference on Learning for Dynamics and Control (L4DC), 2020
Belinda Tzen and Maxim Raginsky, "Theoretical guarantees for sampling and inference in generative models with latent diffusions," Conference on Learning Theory, 2019
Jie Xiong, Zaichen Chen, Yang Xiu, Zhen Mu, Maxim Raginsky, and Elyse Rosenbaum, "Enhanced IC modeling methodology for system-level ESD simulation," Proceedings of the 2018 Electrical Overstress/Electrostatic Discharge Symposium (EOS/ESD)
Xiao Ma, Maxim Raginsky, and Andreas Cangellaris, "Machine learning methodology for inferring network S-parameters in the presence of variability," IEEE Workshop on Signal and Power Integrity, 2018
Ehsan Shafieepoorfard and Maxim Raginsky, "Sequential empirical coordination under an output entropy constraint," IEEE Conference on Decision and Control, 2016
Peng Guan, Maxim Raginsky, and Rebecca Willett, "From minimax value to low-regret algorithms for online Markov decision processes," Proceedings of the American Control Conference, 2014
Maxim Raginsky, Alexander Rakhlin and Serdar Yüksel, "Online convex programming and regularization in adaptive control," Proceedings of the IEEE Conference on Decision and Control, 2010
Todd Coleman and Maxim Raginsky, "Mutual information saddle points in channels of exponential family type," Proceedings of the IEEE International Symposium on Information Theory, 2010
Maxim Raginsky and Svetlana Lazebnik, "Locality-sensitive binary codes from shift-invariant kernels," Advances in Neural Information Processing 22, pp. 1509-1517, 2009
Maxim Raginsky, "Achievability results for statistical learning under communication constraints," Proceedings of the IEEE International Symposium on Informaiton Theory, 2009
G. Puthumanaillam, X. Liu, N. Mehr, M. Ornik. "Weathering ongoing uncertainty: Learning and planning in a time-varying partially observable environment." Accepted to 2024 IEEE International Conference on Robotics and Automation, 2024.
G. Puthumanaillam, Y. Mamik, M. Ornik. "Online learning and planning in time-varying environments: An aircraft case study." AIAA SciTech Forum, 2024. DOI: 10.2514/6.2024-0109
T. Shafa, R. Dong, M. Ornik. "Identifying single-input linear system dynamics from reachable sets." 62nd IEEE Conference on Decision and Control, pp. 3527-3532, 2023. DOI: 10.1109/CDC49753.2023.10384274
X. Duan, N. Baharisangari, R. Yan, Z. Xu, M. Ornik. "On a notion of resilience for Markov decision processes with reachability objectives." 22nd World Congress of the International Federation of Automatic Control, pp. 12083-12088, 2023. DOI: 10.1016/j.ifacol.2023.10.318
T. Shafa, M. Ornik. "Maximal ellipsoid method for guaranteed reachability of unknown fully actuated systems." 61st IEEE Conference on Decision and Control, pp.
F. Blahoudek, M. Cubuktepe, P. Novotny, M. Ornik, P. Thangeda, U. Topcu. "Fuel in Markov decision processes (FiMDP): A practical approach to consumption." Formal Methods, pp. 640-656, 2021. DOI: 10.1007/978-3-030-90870-6_34 (acceptance rate: 26%)
H. El-Kebir, M. Ornik. "Online inner approximation of reachable sets of nonlinear systems with diminished control authority." SIAM Conference on Control and Its Applications, pp. 9-16, 2021. DOI: 10.1137/1.9781611976847.2
P. Mercader, M. Ornik, P.-O. Gutman, I. Ioslovich. "Optimal signal timing for multi-phase intersections." 15th IFAC Symposium on Control in Transportation Systems, pp. 476-481, 2018. DOI: 10.1016/j.ifacol.2018.07.078
Job Titles:
- Professor / Mechanical Science & Engineering
Job Titles:
- Donald Biggar Willett Professor Emeritus
Job Titles:
- Adjunct Professor
- Assistant Professor / Aerospace Engineering
Taghvaei, A., J., de Wiljes, P. G. Mehta, and S. Reich, "Kalman filter and its modern extensions for the continuous-time nonlinear filtering problem," ASME Journal of Dynamic Systems, Measurement, and Control, 140(3), 030904, March 2018.
Job Titles:
- Associate Professor
- Associate Head for Operations and Infrastructure
Job Titles:
- Professor / Aerospace Engineering
J. Aubrecht and P.G. Voulgaris, "Minimization of the peak-to-peak gain in multirate systems under state feedback", Kybernetika, Vol 35, No. 5, pp. 55-586, 1999.
M.V. Salapaka, P.G. Voulgaris and M. Dahleh , "SISO controller design to minimize a positive combination of the l1 and the H2 norms", Automatica, Vol. 33, No. 3, pp. 387-391, 1997.
P.G. Voulgaris, "Optimal l-inf to l-inf estimation for periodic systems", IEEE Transactions on Automatic Control, September 1996.
S. Talwar, N.S. Namachchivaya and P.G. Voulgaris, "A systematic normal form approach to feedback linearize a class of nonlinear systems," ASME Journal of Dynamic Systems, Measurement and Control, Vol. 118, No. 2, pp. 201-211, 1996.
P.G. Voulgaris and L.S. Valavani, "High performance linear-quadratic and designs for a super maneuverable aircraft", Journal of Guidance, Control, and Dynamics, Vol. 14, No. 1, January-February 1991, pp. 157-165.
Job Titles:
- Grainger Endowed Chair Emeritus, Research Professor
- Registered Professional Engineer in Illinois
Philip T. Krein received the B.S. degree in electrical engineering and the A.B. degree in economics and business from Lafayette College, Easton, Pennsylvania, and the M.S. and Ph.D. degrees in electrical engineering from the University of Illinois, Urbana. He was an engineer with Tektronix in Beaverton, Oregon, and then returned to the University of Illinois at Urbana-Champaign. At present, he holds the Grainger Endowed Chair Emeritus in Electric Machinery and Electromechanics as Professor Emeritus and Director of the Grainger Center for Electric Machinery and Electromechanics. He was the founding Executive Dean of the Zhejiang University/University of Illinois at Urbana-Champaign Institute, started in 2016. His research interests address all aspects of power electronics, machines, drives, transportation electrification, and renewable energy, with emphasis on nonlinear control approaches. He published an undergraduate textbook, Elements of Power Electronics (Oxford University Press, second edition 2015). In 2001, he helped initiate the International Future Energy Challenge, a major student competition involving fuel cell power conversion and energy efficiency. From 2008 through 2015 he chaired the New Building Committee in the Department of Electrical and Computer Engineering, and contributed several energy and design innovations to the new ECE Building at Illinois. He holds forty-two U.S. patents.
Dr. Krein is a registered professional engineer in Illinois and in Oregon. He was a senior Fulbright Scholar at the University of Surrey in the United Kingdom in 1997-98, and was recognized as a University Scholar in 1999, the highest research award at the University of Illinois. He received the IEEE William E. Newell Award in Power Electronics in 2003 and the IEEE Transportation Technologies Award in 2021. In 1999-2000 he served as President of the IEEE Power Electronics Society. In 2003-2004 he was a member of the IEEE Board of Directors. From 2003-2014 he was a member of the board of directors of SolarBridge Technologies, the leading innovator of integrated ac solar panels. He was elected to the U.S. National Academy of Engineering in 2016. He is an Associate Editor for the IEEE Open Journal of Power Electronics. In 2005-2007, he was a Distinguished Lecturer for the IEEE Power Electronics Society. In 2015-2016, he was Chair of the IEEE Transportation Electrification Community. In 2017, he was recognized as a Foreign Expert under the China 1,000 Talents Program. He is a Fellow of the U.S. National Academy of Inventors.
Job Titles:
- Assistant Professor / Aerospace Engineering
Job Titles:
- Professor / Mechanical Science & Engineering
Job Titles:
- Associate Professor / Mechanical Science & Engineering
Rachneet Kaur, Sanjana Menon, Xiaomiao Zhang, Richard Sowers, Manuel Hernandez, Exploring Characteristic Features in Gait Patterns for Predicting Multiple Sclerosis, 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
Rongyi Sun, Rachneet Kaur, Liran Ziegelman, Shuo Yang, Richard Sowers, and Manuel E. Hernandez, Using Virtual Reality to Examine the Correlation between Balance Function and Anxiety in Stance, in 2019 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
Rachneet Kaur, Rongyi Sun, Liran Ziegelman, Richard Sowers, Manuel Hernandez, Using Virtual Reality to Examine the Neural and Physiological Responses to Height and Perturbations in Quiet Standing, 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
Job Titles:
- Associate Professor
- Professor
Rakesh Kumar is a Professor and John Bardeen Faculty Scholar in the Electrical and Computer Engineering Department at the University of Illinois at Urbana Champaign with research and teaching interests in computer architecture and system-level design automation. His research has been recognized through an ISCA Influential Paper Award, a MICRO Test-of-Time Award, an ICCAD Ten Year Retrospective Most Influential Paper Award, an ASPDAC 10 Year Retrospective Most Influential Paper (MIP) Award, three selections to ISCA-50 Retrospective, several best paper awards and best paper award nominations (IEEE MICRO Top Picks, ISCA, ASPLOS, HPCA, CASES, SELSE, IEEE CAL), IIT Kharagpur Young Alumni Achiever Award, ARO Young Investigator Award, and UCSD CSE Best Dissertation Award. His teaching and advising have been recognized through Stanley H Pierce Faculty Award and Ronald W Pratt Faculty Outstanding Teaching Award. He often writes about issues at the intersection of technology, policy, and society and has commented on semiconductor issues for The New York Times, The Wall Street Journal, BBC, and Fortune, among others. His book Reluctant Technophiles (Sage Select: Dec 2021) was one of "GQ's Best Indian Non-fiction Books of 2021". Rakesh has a BS from IIT Kharagpur and a PhD from University of California at San Diego.
Anzoom, R., Nagi, R. and Vogiatzis, C. "Uncovering illicit supply networks and their interfaces to licit counterparts through graph theoretic algorithms," IISE Transactions on Operations Engineering and Analytics, Feb. 2022, Vol 54(2), pp. 134-158.
Job Titles:
- Endowed Chair / Professor
Job Titles:
- Associate Professor & Associate Head for Graduate Studies
- Professor
Richard B. Sowers, Hydrodynamical limits and geometric measure theory: mean curvature limits from a threshold voter model, Journal of Functional Analysis, 169, pp. 421-455, (1999).
Mark I. Freidlin and Richard B. Sowers, A comparison of homogenization and large deviations, with applications to wavefront propagation, Stochastic Process and Their Applications 82, pp. 23-52, (1999).
N. Sri Namachchivaya and Richard B. Sowers, Unified approach for noisy nonlinear Mathieu-type systems, Stochastics and Dynamics, 1, pp. 405-450, (2001).
Richard B. Sowers, Hypoelliptic random heat kernels: a case study, Proceedings of the American Mathematical Society, 129, pp. 2451-2460, (2001).
N. Sri Namachchivaya and Richard B. Sowers, Rigorous stochastic averaging at a center with additive noise, Meccanica, 37, pp. 85-114, (2002).
Richard B. Sowers, Stochastic averaging with a flattened Hamiltonian; a Markov process on a stratified space (a whiskered sphere), Transactions of the American Mathematical Society, 354, pp. 853-900, (2002).
Richard B. Sowers, Stochastic averaging near a homoclinic orbit with multiplicative noise, Stochastics and Dynamics, , pp. 299-391, (2003).
Job Titles:
- Professor, Department of Electrical and Computer Engineering, UIUC, 2020 - Present
Romit Roy Choudhury is a Jerry Sanders III AMD Scholar and Professor of ECE and CS at the University of Illinois at Urbana Champaign (UIUC). He joined UIUC from Fall 2013, prior to which he was an Associate Professor at Duke University. Romit received his PhD in the CS department of UIUC in Fall 2006. His research interests are in sensing and signal processing with applications in mobile and wearable computing. Along with his students, he received a few research awards, including the 2017 ACM MobiSys Best Paper Award, the 2016 CS@UIUC Distinguished Alumni Award, the 2015 ACM Sigmobile Rockstar Award, the 2009 Hoffmann Krippner Award for Engineering Innovations, 2007 NSF CAREER Award, etc. Romit was elected as an IEEE Fellow in 2019. Visit Romit's Systems Networking Research Group (SyNRG) at http://synrg.csl.illinois.edu
Job Titles:
- Assistant Professor
- Research Assistant Professor
Job Titles:
- Associate Director for Theoretical Foundations and Algorithms
- Professor
Job Titles:
- Research Assistant Professor
Job Titles:
- Best Student Paper Award Finalist ( As Adviser, Student
- Best Student Paper Award Winner ( As Adviser, Student
Job Titles:
- Professor and Willett Faculty Scholar
Job Titles:
- Associate Professor / Aerospace Engineering
C. Zilles, M. West, D. Mussulman, and T. Bretl, "Making testing less trying: Lessons learned from operating a computer-based testing facility," in Proceedings of the 2018 Frontiers in Education Conference (FIE 2018), 2018.
Job Titles:
- Fellow
- Distinguished Professor
- Distinguished Professor Emeritus
- Distinguished Professor in Electrical and Computer Engineering
- Fellow in Electrical and Computer Engineering
Job Titles:
- Clinical Associate Professor
Xiao Li, Michael D. Lipkin, and Richard B. Sowers, Dynamics of Bankrupt Stocks, SIAM J. Financial Mathematics 5, 323--257 (2014).
Y. T. Lo Faculty Fellow in Electrical and Computer Engineering (2023)
Job Titles:
- Assistant Professor
- Nuclear, Plasma & Radiological Engineering