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

Pavithra Prabhakarمشاهده پروفایل

استاد

• Formal Verification
• Cyber-Physical Systems (CPS)
• Autonomous Systems
• +۵ مورد دیگر

Pavithra Prabhakar is a Professor of Computer Science and Peggy and Gary Edwards Chair in Engineering at Kansas State University (KSU). She holds a Ph.D. from the University of Illinois at Urbana-Champaign and has held roles including postdoctoral positions at Caltech and directorships at the IMDEA Software Institute. Her research focuses on formal analysis of autonomous and cyber-physical systems, with applications in aerospace, automotive, and agricultural automation. She has authored over 100 peer-reviewed articles and received prestigious awards such as the NSF CAREER Award and ONR Young Investigator Award. Education: Ph.D. in Computer Science, University of Illinois at Urbana-Champaign (2011) M.S. in Applied Mathematics, University of Illinois at Urbana-Champaign (2010) M.S. in Computer Science and Automation, Indian Institute of Science (2006) B.Tech. in Computer Science and Engineering, National Institute of Technology, Warangal (2004) Research Interests: Her work emphasizes formal verification and synthesis of autonomous systems, integrating ideas from control theory, formal methods, and AI. Key areas include stability analysis of hybrid systems, safety-critical AI components, and applications in robotics and CPS. Recent projects involve robust analysis of systems with machine learning components. Awards and Contributions: In addition to her academic roles, Dr. Prabhakar serves as a Program Director at the NSF CISE Directorate, managing over $100M in CPS and AI-related grants. Her leadership in conferences like HSCC and FORMATS reflects her influence in the field. Her work has been funded by NSF, ONR, NASA, USDA, and industry partners like Amazon. Advising and Grants: She advises PhD and postdoctoral researchers, with notable student achievements like Ratan Lal’s Excellence in Research Award. Her grants include NSF core programs on formal methods and CPS, as well as NASA projects on certifiable autopilots. Labs and Teams: Her research group focuses on formal methods for CPS, with collaborations in robotics, aerospace, and agricultural automation. She leads initiatives like the Center for Trustworthy AI-enabled Robotic and Autonomous Systems at KSU.

Zhimin Zhangمشاهده پروفایل

استاد

• Numerical analysis
• Computational mathematics
• Scientific computing
• +۸ مورد دیگر

Zhimin Zhang is a Professor in the Department of Mathematics at Wayne State University's College of Liberal Arts and Sciences, where he has worked since 2002. Previously, he served at Texas Tech University from 1991 to 2000, including as associate professor (1997-2000). He earned a B.S. (1982) and M.S. (1985) in Computational Mathematics from the University of Science and Technology of China, followed by a Ph.D. (1991) in Applied Mathematics from the University of Maryland at College Park. Research Focus : Numerical analysis, computational mathematics, and scientific computing with specialization in finite element methods, finite volume methods, and spectral methods for partial differential equations. Teaching : Regularly teaches Calculus III (MAT2030) and Numerical Methods I (MAT5100). His research trends include: Development of superconvergence techniques for discontinuous Galerkin and immersed finite element methods Advancements in fractional calculus numerical schemes for nonlocal and nonsmooth solutions Innovations in curl-conforming elements for electromagnetic problems Studies on Hamiltonian systems with structure-preserving spectral methods Error analysis for high-order finite element methods in anisotropic and Shishkin meshes Efficient solvers for bihamonic and eigenvalue problems Dr. Zhang serves on multiple editorial boards including: Mathematics of Computation (2009-2017) Journal of Computational Mathematics (since 2007) SIAM Journal on Numerical Analysis (since 2013) Communications on Applied Mathematics and Computation (since 2018) Scientific recognition includes: 2011 Outstanding Graduate Mentor Award 2014 Charles H. Gershenson Distinguished Faculty Fellows Award Continuous NSF funding since 2003 for projects such as "Recovery Type A Posteriori Error Estimates" (DMS-0311807) and "Spectral and Spectral Collocation Methods for Hamiltonian Systems" (DMS-1115530) He maintains active contributions to mathematical culture through editorial roles at journals like Mathematical Culture and Journal of Mathematical Study since 2008 and 2013 respectively.

Tobias Dammمشاهده پروفایل

استاد

• Control Theory
• Numerical Analysis
• Linear Systems
• +۳ مورد دیگر

Prof. Dr. Tobias Damm is a leading academic in the Department of Mathematics at RPTU Kaiserslautern-Landau, heading the Technomathematics Group. His work focuses on control theory, numerical analysis, and stochastic systems, with significant contributions to model reduction, linear systems, and optimization. He holds a professorship and has authored influential publications on topics such as balanced truncation, stochastic control, and numerical methods for large-scale systems. Research Interests: Tobias Damm’s research emphasizes the interplay between theoretical mathematics and practical engineering challenges. Key areas include model order reduction techniques for complex systems, optimal control strategies, and the numerical solution of Lyapunov equations. His work bridges stochastic systems, linear algebra, and control engineering, with applications in energy networks and power systems. Recent Articles: His recent publications explore distributed model predictive control for power systems, complexity reduction of stochastic systems, and Hadamard powers in kernel methods. These contributions highlight advancements in both theoretical frameworks and applied methodologies. Advising & Grants: Damm’s research is supported by grants focusing on energy systems and control theory. His work often collaborates with interdisciplinary teams, addressing challenges in district heating networks and hyperbolic systems reduction. Labs/Teams: He leads the Technomathematics Group, fostering collaborations on cutting-edge problems in control systems and numerical analysis.

• Operations Research
• Air Traffic Management
• Scheduling Algorithms
• +۳ مورد دیگر

Rich Conniss is a Senior Lecturer in Electronics and Mathematics at the University of Derby, affiliated with the College of Science and Engineering. His research focuses on rostering, scheduling algorithms, and agent-based simulations applied to air traffic management systems. He has contributed to studies on workforce planning and optimization models in aviation contexts. Key research interests include operations research, discrete systems modeling, and the application of computational techniques to transportation challenges. His recent work explores constraint satisfaction in rostering problems and resource allocation for air traffic controllers. No scientific awards or grants are explicitly mentioned. No student advisees or lab affiliations are listed in the provided information.

• Graph Theory
• Combinatorics
• Extremal Graph Theory
• +۳ مورد دیگر

Dr. Bing Wei is a Professor of Mathematics and Graduate Program Coordinator at the University of Mississippi's Department of Mathematics within the College of Liberal Arts. His research focuses on Graph Theory and Combinatorics, with specific interests in long paths and cycles in graphs, domination in graphs, graph polynomials, Ramsey and Gallai-Ramsey numbers, and extremal graph theory. He holds a B.S. from Huazhong Normal University (1978), a Ph.D. from Technischen Universitat Berlin (1992), and an M.S. from Huazhong Normal University (2002). Dr. Wei has published extensively in graph theory and combinatorics, with recent work exploring bondage numbers in planar graphs, Ramsey numbers related to fan graphs, and applications of nanomaterials in biomedical treatments. His teaching spans courses from College Algebra to advanced topics like Graph Theory II and Combinatorics. He maintains an active role in academic administration and research collaboration. His scientific contributions emphasize structural graph theory, with notable results in connectivity, path analysis, and graph domination. While no specific awards are listed, his sustained research output over three decades reflects significant scholarly impact. Advising and grant details are not explicitly mentioned in the provided text.

Marty Allenمشاهده پروفایل

عضو هیئت علمی

• Artificial Intelligence
• Machine Learning
• Reinforcement Learning
• +۳ مورد دیگر

Marty Allen is an Associate Teaching Professor and Director of Online Programs in the Department of Computer Science at Tufts University's School of Engineering. He holds a PhD in Computer Science from the University of Massachusetts Amherst (2009), with earlier degrees in Philosophy from Simon Fraser University (1996 B.A.) and the University of Pittsburgh (2001 M.A.). His research focuses on multiagent reinforcement learning and applications of AI to biological systems, including influenza phenotype prediction and complex ecological modeling. He has authored or co-authored over 40 publications across journals like Emerging Microbes and Infections and conferences such as AAAI and NIPS. Allen has led multiple grants including a $1.2M REU program and a Disc Seed Grant for AI-driven viral research. He teaches courses in discrete mathematics, algorithms, and capstone projects, and has held leadership roles in curriculum development including the Strategic Planning Transformational Education Action Group at University of Wisconsin–La Crosse (2016–2019). Professional activities include service on Tufts' Computer Science External Advisory Board and equity initiatives as Department Equity Liaison. His work bridges theoretical computing with interdisciplinary applications in both natural and social sciences.

Raffaele Carliمشاهده پروفایل

دانشیار

• Control Systems Engineering
• Energy Systems Management
• Industrial Automation
• +۴ مورد دیگر

Prof. Raffaele Carli is an Associate Professor in Systems and Control Engineering at Politecnico di Bari, Italy. He holds a PhD in Electrical and Information Engineering (2016) and has been qualified as a Full Professor since 2023. His roles include technical lead of the Decision and Control Laboratory (DCLAB) and Vice-Coordinator of the National PhD program in Autonomous Systems (DAuSy). He has extensive editorial roles, including Associate Editor for IEEE Transactions on Automation Science and Engineering and IEEE Transactions on Systems, Man, and Cybernetics. Education: Laurea (Master’s) in Electronic Engineering (2002), PhD in Electrical and Information Engineering (2016), both from Politecnico di Bari. Professional experience includes roles as a System Engineer in the defense sector (2004–2012) and military service as a Reserve Officer (2003–2004). Research focuses on decision and control techniques for energy systems, industrial automation, and complex systems. Key areas include smart grids, energy communities, robotics, and optimization. Recent work emphasizes distributed control for renewable energy integration, human-robot collaboration, and sustainable manufacturing. Publications span 120+ international articles in journals like IEEE Transactions and conferences such as CDC and CASE. His research trends include game-theoretic control, MPC applications, and energy system optimization. Awards include the 2024 IEEE Italy SMCS Chapter Award and recognition for editorial contributions. Advising 8 current PhD students and supervising 7 past candidates. Active in organizing international conferences (e.g., General Chair of SENSYS 2025). Grants include projects on energy communities and smart city technologies funded by the Apulia Region. Labs include the Decision and Control Laboratory (DCLAB), focusing on automation, energy systems, and industrial applications. Collaborations with global institutions like TU Delft, UPC Barcelona, and Chinese Academy of Sciences.

Graziana Cavoneمشاهده پروفایل

استادیار

• Decision Support Systems
• Modeling and Control of Complex Systems
• Transportation Systems Optimization
• +۴ مورد دیگر

Graziana Cavone is an Assistant Professor in Systems and Control Engineering at the University Roma Tre. She holds a Ph.D. in Electronic and Information Engineering from the University of Cagliari and is qualified as an Associate Professor in Automatica. Her research focuses on decision support systems, transportation networks, energy systems, and industrial automation, with expertise in Model Predictive Control (MPC), Petri Nets modeling, and resilient infrastructure design. Education: Ph.D. (Excellent with Honors), Electronic and Computer Engineering, University of Cagliari (2018) Master’s (Summa Cum Laude), Control Engineering, Polytechnic of Bari (2013) Research Interests: Optimization of intermodal transport terminals and railway networks Energy-efficient building management and microgrids Cyber-physical systems in Industry 4.0 Resilient critical infrastructure control Human-robot collaboration and safe ergonomics Grants & Leadership: Principal Investigator for a National Natural Science Foundation of China grant (2020–2021) Recipient of multiple RTD-B and research fellowships in control systems and automation Organizer of international conferences like IEEE CASE 2024 and MED 2021 Labs & Collaborations: Member of the Decision and Control Laboratory at University Roma Tre Collaborations with institutions like Delft University of Technology and Southwest Jiaotong University Industry partnerships with Enel, Fiat Chrysler Automobiles, and Elettric80

Martin Hutzenthalerمشاهده پروفایل

استاد

• Stochastic Analysis
• Numerical Methods for PDEs
• High-Dimensional Systems
• +۲ مورد دیگر

Martin Hutzenthaler is a Professor in the Faculty of Mathematics at the University of Duisburg-Essen, leading the Stochastic Analysis research group. His office is located in Essen, Germany. His research centers on stochastic analysis and numerical methods, particularly multilevel Picard techniques for solving high-dimensional semilinear PDEs without the curse of dimensionality. Additional interests include stochastic differential equations, deep learning approximations, and functional inequalities. Recent publications focus on overcoming computational limitations in high-dimensional systems through novel approximation techniques. He serves as Associate Editor for the SIAM Journal on Numerical Analysis and offers student positions for tutorial development and algorithm implementation.

Gabriel A. Wainerمشاهده پروفایل

استاد

• Discrete-Event Modeling and Simulation
• Real-Time Systems
• Cellular Models
• +۴ مورد دیگر

Professor Gabriel A. Wainer holds a Ph.D. from the Universidad de Buenos Aires and is a Full Professor at Carleton University's Department of Systems and Computer Engineering, Faculty of Engineering and Design. His research focuses on Discrete-Event Modeling and Simulation (DEVS), Real-Time Systems, and Parallel/Distributed Simulation. He leads the Advanced Real-Time Simulation (ARS) Lab at Carleton's V-Sim Centre, collaborating with industry partners like Ericsson Canada on projects such as channel reconstruction for wireless networks and AI-driven spectrum sharing. Wainer is a Fellow of the Society for Modeling and Simulation International (SCS) and an ACM Distinguished Speaker, with over 450 publications and significant grant funding. He has mentored numerous students and researchers, contributing to Carleton's academic and research excellence. Education: Ph.D. (Computer Science, Universidad de Buenos Aires, 1998), M.C.S. (Universidad de Buenos Aires, 1993). He has held visiting roles at institutions worldwide, including INRIA and the University of Nice. Research interests include DEVS formalism, cellular models, and real-time operating systems. His work bridges theory and application, addressing challenges in embedded systems, IoT, and pandemic modeling. Awards include the McLeod Founder Award (2022), SCS Outstanding Professional Achievement (2020), and IEEE Outstanding Engineering Award (2019). Labs/Teams: Advanced Real-Time Simulation Lab (ARS), part of Carleton's V-Sim Centre. Grants: Over $4.3M as PI and $1.2M as co-applicant, totaling $30M+ in collaborative funding. Advising: Supervised 12 postdocs, 19 PhDs, 16 RAs, 71 MSc students, and 150+ undergrads since 1997.

Bruce Harveyمشاهده پروفایل

دانشیار

• Wireless Communication
• Spread-spectrum Communications
• Real-time Digital Signal Processing (DSP)
• +۵ مورد دیگر

Bruce Harvey, Ph.D., is an Associate Professor at the Florida A&M University – Florida State University Joint College of Engineering in Tallahassee, Florida. He holds a B.E.E. from Auburn University (1984), M.S.E.E. from the University of Alabama in Huntsville (1987), and Ph.D. in Electrical Engineering from Georgia Institute of Technology (1991). His research focuses on wireless communication systems, spread-spectrum communications, real-time digital signal processing, and lightning surge protection for critical infrastructure. Currently, he leads projects for the Florida Department of Transportation (FDOT) to enhance telemetered traffic monitoring systems and assess lightning damage to intelligent transportation systems (ITS). Education: B.E.E. (Co-op, Highest Honor), Auburn University, 1984 M.S.E.E., University of Alabama in Huntsville, 1987 Ph.D. in Electrical Engineering, Georgia Tech, 1991 Professional Affiliations: IEEE Communications & Education Societies American Society of Engineering Educators Tau Beta Pi & Eta Kappa Nu Service Roles: Associate Chair of ECE Department (2004–2010, 2013–present) Chair of IEEE Tallahassee Area Section (2003–2004) Advisor for IEEE Student Branch since 1998 His research spans telecommunications infrastructure resilience, sensor technology for traffic systems, and pedagogical innovations in engineering education. Recent work includes analyzing lightning-induced surges in ITS equipment and developing robust telemetered data collection methods.

Fengjiao Liuمشاهده پروفایل

استادیار

• Stochastic control
• Complex systems and networks
• Distributed decision-making
• +۵ مورد دیگر

Fengjiao Liu is an Assistant Professor of Electrical & Computer Engineering at the FAMU-FSU College of Engineering (2024–present). Previously, they held postdoctoral positions at Georgia Institute of Technology (2021–2024) and Yale University (2020–2021), following a PhD in Electrical Engineering from Yale (2014–2020) and a B.E. from Nanyang Technological University (2008–2012). Their research focuses on structural properties of dynamical systems, distributed control of multi-channel systems, and optimal control of stochastic systems. Key contributions include graphical characterizations of controllability, distributed feedback control designs, and covariance steering methods for stochastic systems. Liu also serves as a reviewer for top journals like IEEE Transactions on Automatic Control and has taught courses in control systems analysis and multivariable calculus. Research interests span stochastic control, complex networks, and structural system analysis. Their work bridges algebraic system properties with graphical representations to guide network design and collective behavior modeling. Distributed control methodologies developed aim to improve performance in smart grids and home automation systems. Recent efforts focus on quantifying uncertainty evolution in stochastic systems through optimal covariance steering techniques. Education: PhD Yale University (2020), B.E. Nanyang Technological University (2012) Professional Memberships: IEEE Control Systems Society Teaching: Instructor for Control System Analysis & Design at Georgia Tech (2022) Publications emphasize theoretical advancements in control systems, including 12+ journal/conference articles since 2016. Ongoing work explores applications of distributed control in multi-agent systems and robust formation control under measurement biases.

Dmitriy Leykekhmanمشاهده پروفایل

استاد

• Applied Mathematics
• Numerical Analysis
• Partial Differential Equations
• +۴ مورد دیگر

Dmitriy Leykekhman is a Professor in the Department of Mathematics at the University of Connecticut, affiliated with the College of Liberal Arts and Sciences. His research focuses on Applied Mathematics, Numerical Analysis, and Partial Differential Equations, with a particular emphasis on finite element methods, optimal control problems, and error estimation. He holds academic positions at both the Storrs and Avery Point campuses, with offices in MONT 328 and Marine Science 190 respectively. His research interests span numerical analysis of PDEs, including studies on conformal fractals, fractional Laplacians, and non-smooth optimal control problems. He has contributed to advancing discrete maximal regularity, weak maximum principles, and pointwise error estimates in finite element discretizations. His work intersects with fluid dynamics through analyses of Stokes equations and transient flows. Recent studies include investigations into Apollonian gaskets, Hausdorff dimension estimates, and sparse initial data identification for parabolic systems. Leykekhman’s publications reflect a deep engagement with both theoretical and applied aspects of numerical methods. He has explored topics ranging from Galerkin solutions of transient Stokes problems to local energy estimates in fractional calculus. His work emphasizes rigorous mathematical foundations while addressing practical computational challenges in engineering and physics applications. Though specific scientific awards are not listed, his extensive publication record and academic rank indicate sustained contributions to his field. Advising and grant activities are not explicitly detailed in the provided texts, though his teaching and research activities suggest involvement in mentoring graduate students and possibly securing research funding. He maintains an active professional presence through collaborations, conferences, and seminar engagements.

Silvère Bonnabelمشاهده پروفایل

استاد

• Systems and control
• Robotics
• Machine learning
• +۵ مورد دیگر

Silvère Bonnabel is a Professor at École des Mines ParisTech (Mines ParisTech), a prestigious engineering school in France. He holds a Research Habilitation HDR (2014) and a PhD (2007) from Mines ParisTech, along with advanced degrees in financial mathematics and engineering. His professional experience includes roles as Professor at the University of New Caledonia (2019-2022), Visiting Fellow at the University of Cambridge (2017), and Assistant Professor at Mines ParisTech (2009-2016). Bonnabel’s research focuses on systems and control, robotics, machine learning, and navigation, with notable contributions to invariant Kalman filtering and optimization on manifolds. He has authored/co-authored over 100 articles, 9 patents, and achieved an h-index of 39. Notable awards include the 2024 George N. Saridis Award and 2021 European Control Award. His work bridges theoretical advancements with industrial applications, including collaborations with companies like Safran, Thales, and Manitowoc. Bonnabel has supervised numerous PhD students, contributing to breakthroughs in inertial navigation, radar tracking, and autonomous systems. Education: 2014: HDR in Mathematics (Paris VI Sorbonne) 2004-2007: PhD, Mines ParisTech 2003-2004: Master in Financial Mathematics (Paris XII) 2001-2004: Engineering Degree, Mines ParisTech Industrial Collaborations: Partnerships with Safran, Thales, Manitowoc, and startups like OFFROAD, focusing on crane control, inertial navigation, and autonomous systems. Editorial Roles: Associate Editor for IEEE Control Systems Magazine, European Control Conference, and Systems & Control Letters. His research emphasizes geometric control theory, stochastic algorithms, and sensor fusion, with applications to robotics, aerospace, and industrial automation. Bonnabel’s work on invariant extended Kalman filters has been commercialized in products like Safran’s inertial navigation systems.

Christos Panayiotouمشاهده پروفایل

استاد

• Modeling
• Control Systems
• Optimization
• +۶ مورد دیگر

Christos Panayiotou is a Professor in the Electrical and Computer Engineering Department at the University of Cyprus (UCY) and serves as the Deputy Director of the KIOS Research and Innovation Center of Excellence. He holds a B.Sc. and Ph.D. in Electrical and Computer Engineering from the University of Massachusetts Amherst (1994 and 1999), as well as an MBA from the Isenberg School of Management. Prior to joining UCY in 2002, he was a Research Associate at Boston University's Center for Information and System Engineering. His research focuses on modeling, control, optimization, and performance evaluation of discrete event and hybrid systems, with applications in intelligent transportation systems, cyber-physical systems, machine learning, wireless networks, and smart buildings. His work has secured over €45 million in funding from national/EU agencies, governments, and private entities. He has published over 290 papers and received the 2014 Best Paper Award in Building and Environment . Editorial Roles : Associate Editor for IEEE Transactions on Intelligent Transportation Systems, IEEE Control Systems Society, and others. Leadership : General Chair of EWGT2020, Co-Chair of ECC2018, and Chair of IEEE Computational Intelligence Society subcommittees. Key projects include UAV swarm coordination for maritime surveillance, digital twin architectures for smart buildings, and resilient traffic demand management systems. His grants emphasize cyber-physical systems, energy grids, and disaster response technologies.