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

Shreyas Kousikمشاهده پروفایل

استادیار

• Robotics
• Autonomy
• Collision Avoidance
• +۶ مورد دیگر

Shreyas Kousik is an Assistant Professor in the Woodruff School of Mechanical Engineering at the Georgia Institute of Technology, affiliated with the College of Engineering. He leads the Safe Robotics Lab, focusing on translating mathematical safety guarantees to real-world robotic systems through uncertainty modeling and collision avoidance methods. Education: Ph.D. in Mechanical Engineering, University of Michigan (Advisor: Prof. Ram Vasudevan) B.S. in Mechanical Engineering, Georgia Institute of Technology (Advisor: Prof. Antonia Antoniou) Research Focus: His work bridges autonomy theory and practical implementation, specializing in: (1) Real-time safety verification for robotic systems, (2) Reachability-based trajectory design under uncertainty, (3) Neural network applications for safe control, and (4) Human-centered robotic interactions. Primary methodologies include zonotope-based reachability analysis, model predictive control, and imitation learning frameworks. Publications: Recent works demonstrate strong emphasis on safety-critical applications including manipulator control (2025), bipedal social navigation (2024), and autonomous vehicle planning (2023). Predominant themes include real-time verification, uncertainty quantification, and integration of learning-based methods with formal guarantees. Technical Contributions: Developed open-source tools including the Reachability-based Trajectory Design (RTD) framework and robot simulator. Contributes to robotics infrastructure through GitHub repositories focused on trajectory optimization and control implementations.

Byoung Jik Leeمشاهده پروفایل

استاد

• Artificial intelligence
• neural networks
• image processing
• +۱ مورد دیگر

Byoung Jik Lee serves as a Professor of Computer Science within the Department of Computer Science, College of Business and Technology at Western Illinois University (WIU). His office is located in Stipes Hall 442E, reachable via telephone at (309) 298-1073 or email BJ-Lee@wiu.edu, with a professional web presence at faculty.wiu.edu/bj-lee. Educational background: Ph.D., University of Iowa, 2000 Dr. Lee's research centers on Artificial Intelligence with specialized expertise in neural networks for pattern recognition systems, image processing algorithms for visual data analysis, and genetic algorithms applied to complex optimization problems. His work bridges theoretical computational models with practical implementations in machine learning and computer vision, emphasizing adaptive systems development and evolutionary computation techniques. Professional engagement includes maintaining an active academic profile through WIU's Department of Computer Science resources, though specific advising roles, grants, or laboratory affiliations are not detailed in the provided text.

• Differential-Algebraic Equations (DAEs)
• Interval Methods
• Structural Analysis
• +۷ مورد دیگر

Nedialko Nedialkov is a Professor in the Department of Computing and Software at McMaster University, Faculty of Engineering. His research centers on differential-algebraic equations (DAEs) , interval methods , and computational science , with a focus on rigorous numerical solutions and structural analysis. Contact: nedialk@mcmaster.ca Teaching: Courses include Scientific Computing, Advanced Topics in Computing and Software, and Principles of Programming. Research Highlights: Nedialkov has developed symbolic-numeric methods for DAEs, improved verified ODE integration, and created tools like DAETS for structural analysis. His work spans applications in hybrid systems , control theory , and biomedical computing . Publications Trends: Over the past 15 years, his scholarship emphasizes DAEs, validated numerical methods, and computational modeling. Key subfields include Port-Hamiltonian systems , block triangularization , interval constraints , and automatic differentiation . Labs & Teams: Collaborates with McMaster Experts and contributes to open-source projects for validated numerical computing.

Ehsan Taheriمشاهده پروفایل

دانشیار

• Optimal Control
• Orbital Mechanics
• Optimization

Ehsan Taheri is an Associate Professor in the Department of Aerospace Engineering at Auburn University. His research focuses on optimal control, orbital mechanics, and optimization applied to aerospace systems. His work addresses fundamental challenges in spacecraft trajectory design, guidance systems, and autonomous aerial vehicles. Dr. Taheri received his Ph.D. in Mechanical Engineering from Michigan Technological University, M.S. in Aerospace Engineering from K. N. Toosi University of Technology, and B.S. in Aerospace Engineering from Islamic Azad University. His research integrates control theory with practical aerospace applications, developing novel methods for trajectory optimization of low-thrust spacecraft and autonomous drones. Recent work explores neural network applications for collision avoidance and real-time trajectory planning in unmanned aerial systems. Dr. Taheri's publications demonstrate consistent focus on computational methods for orbital mechanics and control systems, with particular emphasis on fuel optimization, trajectory planning under constraints, and novel applications of Fourier series and neural networks to aerospace problems.

• Formal Methods
• Model Checking
• Automata Theory
• +۵ مورد دیگر

Mahesh Viswanathan is a Professor and Associate Head at the Siebel School of Computing and Data Science at the University of Illinois. His primary research focuses on formal methods, automata theory, and model checking, with applications in computer security, runtime verification, and cyber-physical systems. He received the NSF CAREER Award in 2005 for his contributions to these fields. His research explores: Foundations of automata theory and formal verification Runtime assurance mechanisms for safety-critical systems Concurrency analysis and race detection algorithms Differential privacy and security protocol verification Theoretical aspects of real-time and hybrid systems Viswanathan's recent publications demonstrate a strong focus on developing theoretically-grounded verification techniques for practical applications. His work frequently combines formal methods with machine learning approaches to solve challenging problems in program verification and system security. Awards and Honors: NSF CAREER Award (2005)

Sebastian Urrutiaمشاهده پروفایل

استاد

• Operations Research
• Optimization
• Integer Programming
• +۴ مورد دیگر

Sebastian Urrutia is a Professor in the Faculty of Logistics at Molde University College (HiMolde), specializing in Operations Research and Optimization. He holds a PhD in Computer Science from Pontifical Catholic University of Rio de Janeiro (2005) and a BSc in Computer Science from the University of Buenos Aires (2001). His research focuses on Integer Programming, Approximation Algorithms, Graph Theory, and applications in Healthcare Logistics, Transportation, and Sports Scheduling. Key research interests include optimization methods for healthcare systems, maritime inventory routing, and algorithmic solutions for complex scheduling problems. His work bridges theoretical advancements in combinatorial optimization with practical applications in logistics and transportation. Recent publications emphasize Benders decomposition for healthcare logistics, polynomial-time graph algorithms, and maritime routing optimization. He has contributed to over 40 peer-reviewed articles in journals like European Journal of Operational Research and Networks . Urrutia’s academic contributions include developing exact and heuristic methods for NP-hard problems, with notable work on the Double Traveling Salesman Problem with Multiple Stacks and token swapping algorithms on cographs.

Lauri Vaherمشاهده پروفایل

مدرس

• Entrepreneurship
• Project Management
• Interdisciplinary Education
• +۳ مورد دیگر

Lauri Vaher is a Lecturer at the Department of Management and Engineering (Department of Management and Engineering) within Malmstens Linköping University (MLU), part of Linköping University. His role involves teaching and academic contributions in management and engineering disciplines. Research interests focus on interdisciplinary education, entrepreneurship, and project management, particularly through initiatives like the inGenious course, which fosters creative problem-solving and business idea development. Collaborative projects and symposium curation, such as editing the 2023 woodworking tools proceedings, reflect his engagement with historical and applied technical studies. He is reachable at lauri.vaher@liu.se and can be contacted via +4613282392.

• Design Theory
• Graph Theory
• Combinatorics on Words
• +۳ مورد دیگر

Václav Linek is a Professor of Mathematics at the University of Winnipeg, affiliated with the Department of Mathematics and Statistics. His research focuses on Design Theory (including Steiner systems and Langford sequences), Graph Theory, and Combinatorics on Words. He holds degrees from the University of Toronto (Ph.D., M.Sc.) and the University of Calgary (B.Sc. Honours). Ph.D., University of Toronto M.Sc., University of Toronto B.Sc. (Hon.), University of Calgary His work explores topics such as colourings of Steiner Systems, Skolem sequences, and antimagic squares. He previously served as editor-in-chief of CRUX Mathematicorum with Mathematical Mayhem , a journal by the Canadian Mathematical Society. His publications span combinatorial design theory, graph algorithms, and discrete mathematics, reflecting his expertise in foundational and applied combinatorial problems.

Will Evansمشاهده پروفایل

استاد

• Computational Geometry
• Graph Drawing
• Information Theory
• +۳ مورد دیگر

Will Evans is a Professor in the Department of Computer Science at the University of British Columbia (UBC). He specializes in computational geometry, graph drawing, information theory, data compression, and algorithms. His research focuses on geometric algorithms, graph visualization, and theoretical computer science applications. Recent work emphasizes optimization of algorithms for moving objects, congestion control, and geometric representations. His publications span topics from scheduling strategies to visualization techniques for complex data structures. While no formal awards or grants are listed, his extensive list of peer-reviewed publications underscores his contributions to the field. Advising details and lab affiliations are not explicitly mentioned in the provided materials.

• Boolean Satisfiability (SAT) Solvers
• Formal Verification
• Distributed Protocols
• +۷ مورد دیگر

Karem Sakallah is a Professor in the Department of Electrical Engineering and Computer Science at the University of Michigan, College of Engineering. His research focuses on formal verification, SAT solvers, and distributed protocols, with a strong emphasis on symmetry breaking and scalable verification techniques. He mentors Ph.D. students by fostering curiosity, collaborative problem-solving, and clear technical communication. Research highlights: Quantified symmetric minimization, SAT-based verification of distributed systems, symmetry detection in graphs, and automated inductive invariant inference. Teaching philosophy: Encourages students to view research as an adventure, prioritizes teaching them to identify gaps in literature, write effectively, and present solutions elegantly. Conference attendance: Supports participation in top-tier venues like FMCAD, SAT, CAV, and VMCAI, covering associated costs through research funding.

• Quantum Computing
• Smart Grid
• Machine Learning
• +۳ مورد دیگر

Junpeng Zhan is an Assistant Professor in the Department of Renewable Energy Engineering at the Inamori School of Engineering, Alfred University. He earned his B.S. and Ph.D. in Electrical Engineering from Zhejiang University (2009, 2014). His research focuses on quantum computing, smart grid technologies, and optimization methods, with a particular interest in solving NP-complete problems using hybrid quantum-classical algorithms like the Variational Quantum Search. He has held positions at Brookhaven National Laboratory and the University of Saskatchewan. Education: B.S. (Electrical Engineering, Zhejiang University, 2009), Ph.D. (Electrical Engineering, Zhejiang University, 2014). Research interests include quantum algorithms, machine learning applications in power systems, and renewable energy integration. Current grants include NSF-funded work on variational quantum algorithms for power system simulation and ISO-New England-funded projects on quantum computing for unit commitment. Teaching includes courses like Power System Operation and Python for Power Systems Research. He is an Associate Editor of IET Generation, Transmission & Distribution and has authored over 50 publications.

Yuyan Baoمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Formal Methods
• +۵ مورد دیگر

Yuyan Bao is an Assistant Professor in the Department of Computer & Cyber Sciences at Augusta University, affiliated with the School of Computer and Cyber Sciences. His research focuses on programming languages, formal methods, and software security, particularly in developing frameworks for program correctness and security verification. He holds a Ph.D. in Computer Science from the University of Central Florida (2017), a ME from Beihang University (2007), and a BE from Beijing University (2003). Education: Ph.D., Computer Science, University of Central Florida, 2017 ME, Computer Software Engineering, Beihang University, 2007 BE, Computer Science, Beijing University, 2003 Research interests include formal verification, higher-order functional programming, domain-specific languages, and secure multi-party computation. Recent work emphasizes reachability types for aliasing and separation tracking, and graph intermediate representations for optimization in impure languages. His projects include HACCLE for secure MPC and collaborations on cryptographic API misuse detection. His publications span formal methods, type systems, and security analysis, with a focus on practical applications of theoretical frameworks. He serves on the Faculty Search Committee and as a Journal Editor for Computer Software and Media Applications.

• Linear Algebra
• Matrix Theory
• Control Systems
• +۵ مورد دیگر

Maria Dels Dolors Magret Planas is a Professor in the Department of Mathematics at the Universitat Politècnica de Catalunya (UPC), specifically affiliated with the School of Industrial Engineering (ETSEIB). She is a core member of the SCL-EG research group (Sistemes de Control Lineals: estudi Geomètric), focusing on geometric approaches to linear control systems. Her research spans linear algebra, matrix theory, and control systems with particular emphasis on singular systems, switched linear systems, matrix pencils, and invariant subspaces. Over her career, she has developed geometric frameworks for analyzing controllability and stability properties of complex dynamical systems, with applications extending to electrical circuit analysis and coding theory. Her work bridges theoretical mathematics with practical engineering applications, demonstrating how abstract algebraic structures can solve concrete control problems. Analysis of her recent publications reveals a consistent focus on geometric methods in control theory, particularly investigating the structural properties of switched linear systems and singular systems. Her research demonstrates sophisticated applications of matrix theory to characterize system behavior, with particular attention to controllability subspaces, invariant structures, and distance metrics between system classes. These contributions have advanced theoretical understanding while providing practical tools for system analysis and design. Professor Magret Planas has successfully supervised doctoral students including Montoro López, Maria Eulalia (thesis on hyperinvariant subspaces) and Tarragona, Sonia (thesis on geometric study of differentiable families of singular systems). She has participated in numerous competitive R&D projects, including 'Estructuras geométricas de los sistemas de control lineales' and 'Red temática de álgebra lineal, análisis matricial y aplicaciones,' demonstrating sustained research funding and collaborative leadership. As a member of the SCL-EG research group within UPC's Department of Mathematics, she contributes to a vibrant research environment focused on geometric approaches to linear control systems. Her work exemplifies the strong tradition of applied mathematics at UPC, particularly in the intersection of algebra and control theory.

• Abstract Algebra
• Ring Theory
• Commutative Algebra
• +۳ مورد دیگر

Nicholas Werner is an Associate Professor in the Department of Mathematics, Computer & Information Science at the State University of New York at Old Westbury, within the School of Arts and Sciences. His research focuses on abstract algebra, particularly ring theory and integer-valued polynomials, with a strong emphasis on commutative and non-commutative structures. He has published extensively on topics including null ideals of matrix rings, covering numbers of rings, and polynomial constructions over algebraic structures. Key research directions include the study of σ-elementary rings, countably coverable rings, and Fuchs' problems for group structures. His work bridges algebraic structures with number theory, exploring polynomial behaviors in modular arithmetic and quaternion rings. Recent articles (2022-2023) highlight advancements in null ideal theory and ring covering properties. No scientific awards or major grants are explicitly listed in the provided materials. His advising record remains unspecified. Research collaborations likely involve algebraic structures and matrix theory, though specific lab affiliations are not mentioned.

• Optimization
• Operations Research
• Algorithmic Graph Theory
• +۳ مورد دیگر

Oliver Bachtler is a Researcher in the Department of Optimization at Rhineland-Palatinate Technical University of Applied Sciences (RPTU). He is based in Kaiserslautern, Germany, located in Room 256 of Building 31 (Felix-Klein-Zentrum). His work focuses on optimization, algorithmic graph theory, and combinatorial problems. Contact him via telephone at +49 (0)631 205 2852 or email at o.bachtler@math.rptu.de. His research interests center on advanced optimization techniques, including graph algorithms, scheduling under uncertainty, and parametric combinatorial optimization. He explores topics like public transport planning, matroid interdiction, and graph certification methods. His recent publications highlight contributions to fixed-parameter tractability, pathwidth analysis, and decomposition conjectures in graph theory. His work trends reveal a consistent focus on bridging theoretical computer science with practical optimization challenges. Notable themes include robust scheduling strategies, algorithmic certification processes, and innovative approaches to graph structure analysis. No scientific awards or grants are explicitly mentioned in the provided materials. His academic contributions are primarily through his research and teaching in optimization methodologies.