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

Michael Finkمشاهده پروفایل

پژوهشگر

• Control Theory
• Automation and Robotics
• Agricultural Engineering
• +۴ مورد دیگر

Michael Fink is a researcher at the Chair of Automatic Control Engineering , Technical University of Munich . He holds an M.Sc. in Electrical Engineering and Information Technology (2020) and a B.Eng. in the same field from Technical University Munich and University of Applied Sciences Landshut (2018), respectively. Research Interests : Model Predictive Control (MPC) with focus on stochastic and robust variants Optimal control strategies for autonomous driving and vertical farming Constraint violation probability minimization in dynamic systems Publications span topics in: Time-optimal MPC for linear systems Stochastic and robust MPC frameworks Learning-based control for greenhouse climate systems Vertical farming optimization Contact: michael.fink@tum.de

• Program Verification
• Program Synthesis
• Concurrency
• +۳ مورد دیگر

Roopsha Samanta serves as an Assistant Professor in the Department of Computer Science at Purdue University, where she leads the Purdue Formal Methods (PurForM) research group and participates in the Purdue Programming Languages (PurPL) initiative. Her academic foundation includes a PhD from the University of Texas, Austin (2013) and postdoctoral research at the Institute of Science and Technology Austria prior to joining Purdue in 2016. Education: PhD in Computer Science, University of Texas, Austin (2013) Postdoctoral Researcher, Institute of Science and Technology Austria Professor Samanta's research centers on bridging formal methods with programming languages to enhance software reliability, with core expertise in program verification, program synthesis, and concurrency. Her work uniquely targets both professional developers and non-programmers, developing techniques to ensure programs align with user intent through automated reasoning and synthesis. Recent efforts focus on distributed systems verification where traditional methods face scalability challenges. Analysis of her 2020-2024 publications reveals a dominant trajectory in distributed agreement systems, particularly advancing parameterized verification for unbounded process networks. Key innovations include bounded verification techniques for doubly-unbounded systems, explainable synthesis through specification localization, and secure multi-party computation frameworks like HACCLE. Her work consistently integrates theoretical formal methods with practical system implementation. Scientific Awards: NSF CAREER Award (2019) for “Robustness of Inductive Reasoning Engines” Amazon Research Award (2021) supporting secure computation research Her research is primarily funded through competitive grants including the NSF CAREER award and Amazon Research Award, enabling exploration of verification robustness and secure multi-party computation. While specific advising details aren't publicly documented, her leadership of the PurForM group indicates active mentorship of graduate researchers in formal methods. Current projects suggest expanding applications to privacy-preserving technologies and explainable AI-assisted programming. The PurForM research group, under her direction, develops foundational tools for program verification and synthesis with emphasis on distributed and concurrent systems. Collaborations within PurPL and industry partners like Amazon drive translational research from theoretical models to practical verification frameworks applicable to real-world distributed infrastructure.

• Safe Reinforcement Learning
• Data-Driven Model Predictive Control
• Artificial Intelligence
• +۷ مورد دیگر

Sebastien Nicolas Gros is a Professor at the Department of Engineering Cybernetics, Norwegian University of Science and Technology (NTNU). His research focuses on safe reinforcement learning (RL) and data-driven model predictive control (MPC), with applications in energy systems, biomedical engineering, and autonomous vehicles. Institution: Norwegian University of Science and Technology Department: Engineering Cybernetics His work emphasizes AI-driven optimization for domestic energy storage, battery integration, and smart building management. Collaborations include Equinor, DNV, Kongsberg, Volvo, and CorPower Ocean. Key themes in his publications include: Control theory for renewable energy systems (wave energy converters, buildings) Biomedical applications (artificial pancreas, glucose monitoring) Transportation systems (electric vehicles, autonomous ships) Machine learning integration with physical models He supervises 6 PhD students and co-supervises projects on multi-rotor wind turbines and industrial PhD collaborations. The articles demonstrate a convergence of RL, MPC, and uncertainty quantification across energy, biomedical, and transportation domains.

Michael Everettمشاهده پروفایل

استادیار

• Robotics
• Motion Planning
• Control Theory
• +۶ مورد دیگر

Michael Everett is an Assistant Professor at Northeastern University with a joint appointment in the Department of Electrical & Computer Engineering and the Khoury College of Computer Sciences. He directs the Autonomy & Intelligence Laboratory, focusing on certifiable learning machines at the intersection of robotics, deep learning, and control theory. His research emphasizes safety, reliability, and efficiency in robotics applications like off-road navigation and social environments. Education: PhD in Mechanical Engineering, Massachusetts Institute of Technology (2020) SM in Mechanical Engineering, MIT (2017) SB in Mechanical Engineering, MIT (2015) Research Interests: Robotics and motion planning Control theory and neural network verification Reinforcement learning applications Certifiable safety guarantees for autonomous systems Navigation in dynamic/human environments Awards: Runner-Up: Best Paper Award (ICML 2022) Winner: Best Student Paper (IROS 2017/2023) Editors’ Top 5 Published Articles (IEEE Access 2021) Lab & Contributions: The Autonomy & Intelligence Lab develops algorithms for high-speed off-road autonomy, socially aware navigation, and neural feedback verification. His work includes the RAMP planning pipeline and Evora traversability learning framework. He collaborates with Google’s PAIR team on trustworthy AI.

• Communication Systems
• Radio Resource Management
• Massive Machine Type Communications (mMTC)
• +۴ مورد دیگر

Dr. Wenjuan Yu is a Lecturer at the School of Computing and Communications (SCC), InfoLab21, Lancaster University, UK. She holds a PhD in Communication Systems from Lancaster University and has held prior roles, including Research Fellow at the 5G Innovation Centre (5GIC), University of Surrey (2018–2020), and part-time Research Officer at the University of Essex (2017–2018). She is a Fellow of the Higher Education Academy and a Senior Member of IEEE. Her research focuses on communication systems, with emphasis on radio resource management, mMTC, low-latency communications, B5G/6G, MEC, and machine learning. She actively contributes to IEEE conferences as a Technical Program Committee (TPC) member and holds editorial roles, including Executive Editor for Transactions on Emerging Telecommunications Technologies (2019–2022). Current teaching includes CNSCC141 Professionalism in Practice and CNSCC365 Advanced Networking . Dr. Yu supervises PhD students in EE/CS, particularly welcoming applicants from China via CSC scholarships. Her projects include DSI-funded initiatives on sustainable AI-driven resource allocation for 6G and Smart Multi-RAT Traffic Steering for V2X systems. She leads research groups in Security Lancaster (Networks, Systems, Distributed Systems).

Gustav Henterمشاهده پروفایل

استادیار

• Deep Generative Models
• Speech Synthesis
• 3D Character Animation
• +۳ مورد دیگر

Gustav Henter is an Assistant Professor in Intelligent Systems at KTH Royal Institute of Technology, specializing in Machine Learning. He is affiliated with the Division of Speech, Music and Hearing (TMH) within the School of Electrical Engineering and Computer Science. His research focuses on deep generative models for applications like speech synthesis, 3D character animation, and human-computer interaction. He holds a Docent degree from KTH and has held post-doctoral positions at the University of Edinburgh and the National Institute of Informatics in Tokyo. Education: PhD in Electrical Engineering (KTH, 2013), MSc in Engineering Physics (KTH, 2007). He supervises doctoral students in areas like gesture synthesis and multimodal interaction. His work is supported by grants from the Wallenberg AI, Autonomous Systems, and Software Program (WASP) and South Korea's MOTIE. He co-founded Motorica AB to commercialize motion synthesis research. Awards include Best Paper Awards at ICMI 2020 and IVA 2020, and recognition for student theses. His research spans generative AI, perceptual evaluation, and robust statistical models. He organizes the GENEA Challenge and Workshop series for gesture generation benchmarking.

Lin Caiمشاهده پروفایل

استاد

• Wireless Communications
• Networking
• Mobile Computing
• +۷ مورد دیگر

Lin Cai is a Professor in the Department of Electrical & Computer Engineering at the University of Victoria, Canada. She holds prestigious fellowships including NSERC Steacie, IEEE, CAE, and Royal Society of Canada. Her research focuses on wireless communications, networking, and mobile computing, with emphasis on protocols for multimedia and IoT systems. She has led projects in vehicular networks, UAV-assisted systems, and federated learning for edge intelligence. Dr. Cai has advised over 20 students, many of whom have received awards and prominent roles in academia and industry. She has authored numerous high-impact papers, secured grants from NSERC, CFI, and industry partners, and serves in leadership roles at IEEE and educational institutions. Notable contributions include work on congestion control, network security, and autonomous systems. Education: BEng (Nanjing U. of Sci. & Tech.), MASc/PhD (University of Waterloo) Affiliations: IEEE Vehicular Technology Society Board of Governors, IEEE ComSoc Distinguished Lecturer Awards: 2020 IEEE N2Women 'Star in Networking', RSC Fellow 2024, Best Paper Awards (ICC 2008, WCNC 2011) Research Labs: Connected Autonomous Vehicles (CAV) Lab, AI-driven Networking Group Her work integrates networking, AI, and control theory to address challenges in 6G, IoT, and smart transportation. She actively promotes diversity through initiatives like the 'Riko-chan' STEM manga series.

Randa Herzallahمشاهده پروفایل

دانشیار

• Control Systems
• Energy Systems
• Machine Learning
• +۲ مورد دیگر

Dr. Randa Herzallah is an Associate Professor at the University of Warwick with interdisciplinary expertise spanning control systems, quantum engineering, and machine learning. Her research develops probabilistic frameworks for complex systems control. Research interests focus on probabilistic control methods applied to energy grids, quantum systems, and biomedical applications. Recent work integrates machine learning with control theory for smart grid optimization and quantum system management. Publication analysis shows consistent focus on probabilistic control frameworks, with recent expansion into quantum applications and deep learning for industrial applications. Research funding includes EPSRC and Leverhulme Trust grants supporting quantum control and energy systems projects. Leads research in probabilistic control methodologies with industrial applications.

• Hyperspectral Imaging
• Computer Vision
• Pattern Recognition
• +۳ مورد دیگر

Jun Zhou is Professor and Deputy Head of School (Research) at Griffith University's School of Information and Communication Technology. His research specializes in hyperspectral imaging, computer vision, and pattern recognition with applications in agriculture, environmental monitoring, and remote sensing. Zhou leads significant projects including the ARC Research Hub for Driving Farming Productivity and Disease Prevention. His work develops innovative computer vision systems for agricultural automation, environmental conservation, and industrial quality control. He has received the ARC Discovery Early Career Researcher Award and secured extensive research funding from ARC, CSIRO, and industry partners. Zhou's publications demonstrate consistent contributions to hyperspectral image analysis, object tracking, and deep learning applications. As Deputy Director of the ARC Industrial Transformation Research Hub, he coordinates multi-institutional research teams developing AI-powered solutions for farming productivity and disease prevention.

Sagar Samtaniمشاهده پروفایل

دانشیار

• Artificial Intelligence for Cybersecurity
• Cyber Threat Intelligence
• Deep Learning
• +۵ مورد دیگر

Sagar Samtani is an Associate Professor and Weimer Faculty Fellow at the Kelley School of Business , Indiana University. He serves as Director of the Kelley’s Data Science and Artificial Intelligence Lab (DSAIL) . His research focuses on Artificial Intelligence for Cybersecurity , including cyber threat intelligence, deep learning, and dark web analytics. He holds a PhD from the University of Arizona (2018), and has received prestigious awards such as the Indiana University Outstanding Junior Faculty Award (2023) and IEEE Big Data Security Junior Research Award (2023). Education : PhD in Information Systems, University of Arizona, 2018 MSMIS, University of Arizona, 2014 BSBA, University of Arizona, 2013 Research Interests : Samtani’s work addresses cybersecurity challenges through AI, including proactive threat detection, vulnerability assessment, and healthcare analytics. He emphasizes explainable AI (XAI) for transparency in cybersecurity systems. Grants & Awards : NSF Grant: CyberCorps SFS Program ($2.3M, 2020–2025) NSF Grant: AI4Cyber Research Education ($300K, 2020–2022) Multiple teaching awards, including the Trustees Teaching Award (2023) and recognition as one of Top 50 Undergraduate Professors (2022) Labs & Teams : Leads the DSAIL lab, focusing on AI-driven solutions for business and cybersecurity. Collaborates with NSF-funded initiatives on cyber AI education and threat intelligence.

Luca Sterponeمشاهده پروفایل

استاد

• Reconfigurable computing
• Computer-aided design algorithms
• Fault tolerance and reliability
• +۷ مورد دیگر

Luca Sterpone is a Full Professor at the Department of Control and Computer Science (DAUIN), Politecnico di Torino. He serves as Head of the Control and Computer Engineering Department (2023-2027), coordinates the Aerospace and Safety Computing Lab, and is a member of the Academic Senate and Power Electronics Innovation Center (PEIC). His research spans reconfigurable computing, fault tolerance, and radiation effects analysis in electronic systems. Professor since 2021 Department Head (DAUIN) since 2023 Coordinates international collaborations with ESA, AMD Xilinx, NVIDIA, and Thales Alenia Space Develops radiation-hardened FPGA tools (SETA, VERI-Place, PyXEL) 2007 EDAA Outstanding Dissertation Award and 2005 IEEE Best Paper Award Research Focus : Designing radiation-tolerant systems for aerospace, including fault-tolerant AI accelerators, FPGA reliability, and software-based error mitigation. He investigates soft error propagation in nanoscale circuits and develops tools for radiation sensitivity analysis in VLSI. His work integrates hardware-software co-design for mission-critical applications. Awards : EDAA Outstanding Dissertation Award (2007) IEEE European Test Symposium Best Paper (2005) SMACD Best EDA Tool Award (2018) ARC Best Paper candidate (2018) Teaching : He leads courses in Reconfigurable Computing (PhD level), GPU Programming , and Operating Systems . He has formal responsibility for teaching roles across 9 bachelor's and 7 master's years, and mentors multiple PhD students. Collaborations : Coordinates with the European Space Agency (ESA), University of Bielefeld, Universidad de Sevilla, and industrial partners like AMD Xilinx, NVIDIA, and General Motors. He leads projects such as RESCHIP4EU, VEGAS, and TERRAC for radiation-hardened computing solutions.

• Software Engineering
• Artificial Intelligence
• Machine Learning
• +۷ مورد دیگر

Maxime CORDY is a Research Scientist at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) , University of Luxembourg, within the Security, Design and Validation group (SerVal) . He holds a PhD from the University of Namur (Belgium, 2014) and specializes in software engineering, applied artificial intelligence, and cybersecurity. His work focuses on adversarial machine learning, deep learning robustness, and model checking for critical systems. Research interests include adversarial attacks on tabular data , energy system optimization , code understanding models , and software quality assurance . Recent projects address challenges in secure AI deployment, automated test generation, and fault detection in large language models. Publications emphasize empirical studies on adversarial defenses, data augmentation for code models, and energy consumption forecasting. He contributes to tools like Daedalux (variability-aware model checking) and benchmarks like Tabularbench for adversarial robustness evaluation. Current affiliations include leadership within the SerVal group and collaborations on interdisciplinary projects such as MALETSQUE (Machine Learning Techniques for Software Quality Evaluation). His work bridges theoretical computer science with practical applications in energy systems, medical imaging, and space program design.

Ali Akhavanمشاهده پروفایل

استادیار

• Power Systems
• Microgrids
• Control Systems Engineering
• +۳ مورد دیگر

Ali Akhavan is an Assistant Professor at the Faculty of Engineering and Science , Aalborg University, specializing in Electric Power Systems and Microgrids . His work focuses on grid-connected inverters, microgrid stability, and advanced control algorithms. Research Interests: Control systems for power electronics, stability analysis in asymmetrical grids, passivity-based control, and harmonic compensation. Projects: Participated in CROM (Villum Foundation), SYNCHRONY (private funding), and ASSET (Horizon Europe) to develop high-performance converter systems for renewable energy integration. Scientific Awards: Recipient of the Best Paper Award (May 2021). Email: alak@energy.aau.dk Publications Trend: 15 recent works emphasize grid-forming inverters, harmonic voltage compensation, and stability analysis in renewable energy systems. Key subfields include power quality, passivity enhancement, and dynamic response optimization.

Ramsey Faragherمشاهده پروفایل

پژوهشگر

• Infrastructure-free Indoor Positioning
• Simultaneous Localisation and Mapping (SLAM)
• Smartphone Sensing
• +۹ مورد دیگر

Dr. Ramsey Faragher is a Senior Research Associate at the Computer Laboratory , University of Cambridge, and a Bye-Fellow at Queens' College. His work focuses on infrastructure-free indoor positioning systems, sensor fusion, and improvements to smartphone sensing capabilities. Academic Affiliation : University of Cambridge (Computer Laboratory) Professional Roles : Bye-Fellow at Queens' College, Senior Research Associate His research spans multiple disciplines within computer science and engineering, emphasizing innovative navigation solutions and signal processing techniques. Key areas include GNSS robustness, wireless security, and machine learning applications for positioning systems. Recent publications highlight advancements in supercorrelation for automotive GNSS, sensor data calibration, and motion-compensated signal processing. Articles frequently address challenges such as spoofing mitigation, urban navigation, and infrastructure-free localization. Scientific Recognition Fellow of the Royal Institute of Navigation Chartered Physicist (CPhys)

James B. Orlinمشاهده پروفایل

استاد

• Network Optimization
• Combinatorial Optimization
• Transportation
• +۷ مورد دیگر

James B. Orlin is the E. Pennell Brooks (1917) Professor in Management and a Professor of Operations Research at the MIT Sloan School of Management. He specializes in network and combinatorial optimization with applications spanning transportation, computer science, operations, and marketing. BA in Mathematics, University of Pennsylvania MA in Mathematics, California Institute of Technology MMath, University of Waterloo PhD in Operations Research, Stanford University His research focuses on designing efficient algorithms for network optimization problems, including shortest path, max flow, and min cost flow. He has contributed to algorithmic theory in logistics, telecommunications, and inventory management, with work on stochastic demand models and data-driven inventory policies. Recent publications include advancements in directed shortest path algorithms, robust submodular function maximization, and energy storage problem complexity. His seminal textbook Network Flows: Theory, Algorithms, and Applications (1993) remains a foundational reference. Leonard G. Abraham Prize Khachiyan Prize Test of Time Award As a mentor, he has advised numerous researchers through collaborative publications and teaching. His work addresses both theoretical algorithm development and practical implementation across diverse domains including airline scheduling, logistics, and network design.