جست‌وجوی استاد و پژوهشگر

Bo Zengمشاهده پروفایل

دانشیار

• Optimization
• Robust Optimization
• Stochastic Programming
• +۷ مورد دیگر

Bo Zeng is an Associate Professor in the Swanson School of Engineering at the University of Pittsburgh. His research focuses on developing and utilizing optimization and analytics tools to address challenges in real systems, particularly in discrete optimization models with uncertainties, game theory models, and advanced data analysis and computing methods. His work is extensively applied in engineering, healthcare, and management systems. Dr. Zeng earned his PhD from Purdue University in 2007 and his BS from Xian Jiaotong University in 1998. His research interests span optimization, robust optimization, stochastic programming, power systems, demand response, renewable energy integration, high performance computing, game theory, mixed integer programming, and multilevel optimization. Analysis of Dr. Zeng's recent publications reveals a strong focus on power systems and energy applications, with significant contributions to microgrid planning, demand response modeling, renewable energy integration, and robust optimization techniques. His work demonstrates a consistent pattern of applying advanced mathematical optimization methods to solve complex problems in energy systems, with increasing attention to uncertainty modeling and risk management in power grid operations. Dr. Zeng has collaborated extensively with researchers across multiple institutions, particularly in China, reflecting the global nature of energy research and the international collaboration needed to address complex energy challenges. His publications span high-impact journals in power systems, optimization, and interdisciplinary energy research.

Stefano Lucidiمشاهده پروفایل

استاد

• Nonlinear Optimization
• Derivative-Free Optimization
• Mixed Integer Programming
• +۳ مورد دیگر

Stefano Lucidi is a Full Professor of Operations Research at Sapienza University of Rome, where he is affiliated with the Department of Computer, Automatic and Management Engineering within the Faculty of Information Engineering, Computer Science and Statistics. He has held this position since November 1, 2000, after serving as Associate Professor from November 1, 1992 to October 31, 2000. He was coordinator of the PhD program in Operations Research from 2010 to 2012 and was a shareholder of the university spin-off ACTOR SRL until July 2024. His research interests span Nonlinear Optimization, Derivative-Free Optimization, Mixed Integer Programming, and Global Optimization. His methodological work focuses on unconstrained optimization methods, constrained optimization methods, non-differentiable optimization methods, derivative-free methods, and global optimization techniques. His applied research includes mathematical modeling of biological phenomena in cell kinetics, identification of astrophysical parameters, optimal management of bookable seats in rail transport, and optimal design of electromagnetic devices and industrial electric motors. His recent publications demonstrate a strong focus on derivative-free optimization methods, complexity analysis of algorithms, multi-objective optimization, and applications in diverse fields including healthcare, transportation, and neuroscience. His work bridges theoretical advances in optimization with practical applications across multiple domains. His significant contributions to the field include developing algorithms for simulation-driven design optimization, addressing nonsmooth optimization problems, and creating methods for multi-fidelity computations. His research has been published in top journals including Optimization Methods & Software, Journal of Optimization Theory and Applications, and Optimization Letters. Full Professor of Operations Research since 2000 PhD program coordinator (2010-2012) Shareholder of ACTOR SRL spin-off (2011-2024) Active contributor to optimization theory and applications Professor Lucidi has been instrumental in advancing optimization methodologies while maintaining strong connections to practical applications across various industries. His work continues to influence both theoretical developments and real-world implementations of optimization techniques.

Sriram Sankaranarayananمشاهده پروفایل

استاد

• Cyber-physical systems
• Hybrid dynamical systems
• Formal methods
• +۸ مورد دیگر

Sriram Sankaranarayanan is a Professor in the Department of Computer Science at the University of Colorado Boulder and also serves as Associate Dean for Digital Education in the College of Engineering and Applied Science. Since joining the faculty in 2009, he has built an internationally recognized research program that blends programming languages, formal methods, and control theory to reason about cyber-physical systems. Education: Ph.D. in Computer Science, Stanford University, 2005 (advisers Zohar Manna & Henny Sipma) B.Tech., Indian Institute of Technology Kharagpur (President’s Gold Medal, 2000) Research Interests: Prof. Sankaranarayanan’s work centers on hybrid dynamical systems —models that capture discrete software interacting with continuous physical environments—and on developing formal-methods techniques for their verification, control, and synthesis. Specific themes include control-barrier & Lyapunov function synthesis, neural-network verification, stochastic-game models for human-autonomy interaction, and physics-informed machine learning. Application domains range from autonomous robotics and surgical-task planning to safety-critical medical devices such as the artificial pancreas. Recent Publication Trends (2024-2025): His latest papers advance safe control synthesis (successive control barrier functions, piecewise-affine Lyapunov functions) and trustworthy AI (Taylor-model enhanced physics-informed neural networks), while also exploring game-theoretic anticipation for robotic systems interacting with uncertain human operators. Honors & Awards: NSF CAREER Award (2009) Siebel Scholar (2005) President’s Gold Medal, IIT Kharagpur (2000) CU Boulder Dean’s Award for Outstanding Junior Faculty (2012) CU Boulder Outstanding Teaching Award (2014) CU Boulder Provost’s Faculty Achievement Award (2014) Coursera Outstanding Innovation Award (2022) Student Advising & Grants: He has mentored numerous PhD students; recent graduates include Dr. Emily Jensen, Dr. Monal Narasimhamurthy, and Dr. Kandai Watanabe (2024). His group regularly publishes at top venues such as HSCC, POPL, PLDI, CAV, and WAFR, supported by NSF, NIH, and industry grants. Group & Teaching: Prof. Sankaranarayanan leads activities within the Programming Languages & Verification group and teaches graduate and undergraduate courses on programming languages, algorithms, optimization, and formal methods. He is active in conference organization (e.g., PC Chair VMCAI 2025) and maintains open-source courseware and research notebooks on GitHub.

Antonio Flores Tlacuahuacمشاهده پروفایل

استاد

• Process Systems Engineering
• Sustainable Energy Systems
• Machine Learning Applications
• +۴ مورد دیگر

Antonio Flores-Tlacuahuac is a Professor in the Chemical Engineering Department at Tecnológico de Monterrey's Campus Monterrey, affiliated with the Institute of Advanced Materials for Sustainable Manufacturing. His research spans sustainable process systems engineering with emphasis on optimization, machine learning applications, and resource nexus modeling. Chemical Engineering Degree, Universidad Autónoma de Puebla Ph.D. in Philosophy, University of London His research interests focus on developing advanced computational frameworks for sustainable engineering systems. Key areas include Bayesian optimization for chemical processes, machine learning applications in polymerization and separation systems, and integrated modeling of water-energy-carbon systems. His work bridges fundamental process engineering with sustainability challenges, particularly in renewable energy integration and CO 2 capture technologies. Analysis of his 2024-2025 publications reveals a strong trend toward hybrid AI-optimization methodologies, with 60% of recent work incorporating Bayesian approaches. The research spans from molecular-scale catalyst design to community-scale energy systems, demonstrating exceptional breadth while maintaining technical depth in process systems engineering. Mexican Researcher Certification - Level 3 Flores-Tlacuahuac mentors doctoral students through courses including Automation and Control of Chemical Processes and Doctoral Research series. His research portfolio includes significant contributions to the Centro Mexicano de captura, uso y almacenamiento de CO 2 , with funding evidenced by extensive publication output in high-impact journals. Current projects focus on quantum-classical hybrid algorithms for bioprocess optimization and machine learning frameworks for pandemic surveillance. He leads research within the Institute of Advanced Materials for Sustainable Manufacturing, with strong emphasis on UN Sustainable Development Goals including Affordable and Clean Energy, Climate Action, and Sustainable Cities. His work integrates multiple stakeholder perspectives in sustainable system design, particularly for rural energy solutions and circular economy implementations.