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

• Optimization
• Operational Research
• Electric Mobility
• +۳ مورد دیگر

Imene ZAIDI is a Teacher-researcher at CESI engineering school in France, affiliated with the Engineering and Digital Tools research team. Her work bridges computer science and operational research with practical applications in sustainable transportation systems. Her academic background includes: Doctorate in Optimized management of electric vehicle fleet charging from University of Haute-Alsace (2022) Engineering Diploma in Computer Systems from ex.INI Algiers (2018) ZAIDI's research centers on optimization challenges in electric mobility, particularly electric vehicle charging scheduling. She develops computational approaches including heuristics, metaheuristics, and exact algorithms to address grid capacity constraints, demand satisfaction, and energy maximization in unbalanced power systems. Her work integrates operational research with real-world transportation and energy infrastructure challenges. Analysis of her 2020-2024 publications reveals consistent focus on preemptive scheduling, computational complexity, and multi-objective optimization in electric vehicle ecosystems. The research demonstrates increasing sophistication from foundational scheduling models to grid-integrated solutions addressing three-phase power imbalances and capacity limitations. She teaches computer science courses including Object-oriented programming, Algorithms, Databases, Embedded systems, Web development, and Information systems to engineering and bachelor's students across multiple academic levels. The Engineering and Digital Tools research team at CESI provides the collaborative framework for her investigations into decision support systems for sustainable mobility and energy-efficient transportation solutions.

Roberto Tronمشاهده پروفایل

استادیار

• Control Theory
• Robotics
• Computer Vision
• +۴ مورد دیگر

Roberto Tron is an Assistant Professor in the Mechanical Engineering and Systems Engineering departments at the Boston University College of Engineering , with his office located at 110 Cummington Mall. His research integrates control theory, robotics, and computer vision to solve complex multi-agent coordination problems. His primary research interests focus on Riemannian geometry applications , distributed multi-agent systems , and safety-critical control . Key methodologies include Control Barrier Functions (CBFs), Riemannian optimization, and distributed consensus algorithms, with applications spanning autonomous aerial vehicles, robotic manipulation, and multi-robot security systems. Analysis of his recent publications reveals a strong emphasis on safety verification and real-time optimization for autonomous systems. His work consistently bridges theoretical foundations in nonlinear control with practical implementations in robotics, particularly addressing challenges in limited sensor fields of view, distributed task allocation, and noise-robust navigation. The research shows increasing integration of formal methods like Signal Temporal Logic with learning-based approaches. Tron received his Ph.D. from The John Hopkins University and previously conducted post-doctoral research at the GRASP Lab, University of Pennsylvania. His work demonstrates significant contributions to provably safe autonomous systems through frameworks like the Control Barrier Function Toolbox.

Alan Edelmanمشاهده پروفایل

استاد

• Julia Programming
• High Performance Computing
• Linear Algebra
• +۳ مورد دیگر

Alan Edelman is a Professor at the Massachusetts Institute of Technology (MIT), renowned for his work in high-performance computing, linear algebra, and random matrix theory. He is a co-creator of the Julia programming language, which emphasizes efficiency and versatility for scientific computing. His research integrates mathematics and computer science, focusing on numerical methods, parallel computing, and applications in fields like quantum control and climate modeling. Edelman leads projects such as Oceananigans.jl for geophysical fluid dynamics and Circuitscape for connectivity analysis in conservation biology. His academic contributions span theoretical advancements in matrix theory and practical implementations of computational tools. Edelman collaborates across disciplines, bridging scientific computing with machine learning and quantum physics. His work on differentiable programming frameworks and GPU acceleration has impacted both academic research and industry applications. Key Projects: Julia programming language, Oceananigans.jl, Circuitscape Research Themes: High-performance computing, numerical linear algebra, random matrices, scientific machine learning Affiliations: MIT’s Theory of Computation Community of Research, PI of multiple NSF-funded projects Edelman’s recent work emphasizes interdisciplinary applications, including climate policy modeling and automated materials discovery. His publications reflect a blend of foundational mathematics and cutting-edge computational techniques.

• Statistical Mechanics of Disordered Systems
• Spin Glasses
• Glass Transition Phenomena
• +۵ مورد دیگر

Professor Silvio Franz is affiliated with the Department of Mathematics and Physics 'Ennio De Giorgi' at the University of Salento (Italy). His research career spans over 30 years with 110+ publications, focusing on the statistical mechanics of disordered systems and their interdisciplinary applications. Key contributions include the development of the Franz-Parisi potential for studying glass transitions and rigorous mathematical frameworks for spin glasses. PhD in Theoretical Physics Full Professor at University of Salento Research Interests center on spin glasses and glassy systems , with applications to: Theoretical Neuroscience Machine Learning Population Genetics Constraint Satisfaction Problems Random Matrix Theory Theoretical Computer Science His work connects statistical physics to: Information Theory Optimization Algorithms Neural Network Modeling Evolutionary Biology Complex Systems Theory Key Publications demonstrate: Landau theory for glasses Universality in jamming transitions Stochastic stability analysis Effective temperature formulations Replica symmetry breaking Applications to error-correcting codes

Mehtaab Sawhneyمشاهده پروفایل

استادیار

• combinatorics
• probability
• analytic number theory
• +۱ مورد دیگر

Mehtaab Sawhney is a Clay Research Fellow and a tenure-track assistant professor at Columbia University specializing in combinatorics, probability, analytic number theory, and theoretical computer science. His academic journey began at the University of Pennsylvania where he enrolled in a Bachelor of Engineering in Computer Science (2016-2017), then continued at MIT where he earned a Bachelor of Science in Mathematics with Minor in Computer Science (2017-2020), followed by a Doctor of Philosophy in Mathematics (2020-2024) under the advisorship of Yufei Zhao. His research spans probabilistic combinatorics, random matrix theory, additive number theory, and theoretical computer science. Sawhney's work bridges theoretical mathematics with computational applications, focusing on random structures, additive combinatorics, and spectral properties of discrete objects. His publications demonstrate a strong interdisciplinary approach that connects number theory with probabilistic methods to solve complex combinatorial problems. The analysis of his publication record reveals a consistent focus on foundational mathematical structures with applications across multiple domains. His work on random graphs, additive bases, and arithmetic progressions has established him as a leading researcher in modern combinatorics, often collaborating with prominent mathematicians including Ashwin Sah, Yufei Zhao, and Vishesh Jain. His research output shows remarkable depth and breadth, with contributions to both pure mathematics and theoretical computer science. 2024 Clay Research Fellow 2021 Frank and Brennie Morgan Prize for Outstanding Research in Mathematics by an Undergraduate Student (joint with Ashwin Sah) Churchill Scholar 2020 Best Student Paper STOC 2021 (Joint with Ryan Alweiss, Yang Liu) Best Student Paper ITCS 2022 (Joint with Yang Liu, Ashwin Sah) 2023 Hartley Rogers Jr. Prize 2022 Charles W. and Jennifer C. Johnson Prize (joint with Ashwin Sah) NSF Graduate Fellowship Sawhney has established a robust research program with significant contributions across multiple mathematical disciplines. His frequent collaborations with top researchers worldwide indicate an active and influential research network. While specific advisees aren't listed in available information, his extensive publication record with numerous co-authors suggests active mentorship of junior researchers through collaborative projects.

Gaurav Rattanمشاهده پروفایل

استادیار

• Graph Theory
• Machine Learning on Graphs
• Graph Neural Networks
• +۵ مورد دیگر

Gaurav Rattan is an Assistant Professor in the Department of Applied Mathematics at the University of Twente's Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), where he joined in May 2024. His research focuses on the mathematical foundations of machine learning on graphs and discrete structures, with particular emphasis on theoretical aspects of graph neural networks. University of Twente, Department of Applied Mathematics (May 2024-present) TU Darmstadt, Postdoctoral Researcher in Pascal Schweitzer's group RWTH Aachen, DFG Eigene Stelle Researcher in Martin Grohe's group Dr. Rattan completed his PhD at IMSc Chennai under V. Arvind and earned his B. Tech. from IIT Bombay, establishing a strong foundation in theoretical computer science and mathematics. His research spans graph theory, algorithms, and machine learning on graphs, with specific expertise in graph isomorphism, graph homomorphisms, and the theoretical underpinnings of graph neural networks. He applies mathematical techniques from logic and algebra to develop theory-driven approaches for graph learning systems, with practical applications in optimization, bioinformatics, and databases. Dr. Rattan's publication record reveals a consistent focus on the intersection of theoretical computer science and machine learning. His recent work explores Weisfeiler-Leman algorithms, symmetry breaking techniques, and parameterized complexity of graph problems, demonstrating how classical graph algorithms connect with modern graph learning methodologies. His research provides crucial theoretical foundations for understanding the capabilities and limitations of graph neural networks. Active in the academic community, Dr. Rattan regularly presents at conferences including the Netherlands Mathematical Congress, SIGAlgo, LOGAMS, and specialized workshops on graph learning. Recent presentations include "From Graph Homomorphisms Densities to Graph Learning" at the Graph Learning Workshop at NITMB Chicago and "Color Refinement: One Algorithm, Many Facets" at SIGAlgo 2024.

• Graph Theory
• Combinatorial Optimization
• Operations Research
• +۴ مورد دیگر

Cristina Bazgan is a University Professor at Université Paris-Dauphine, affiliated with LAMSADE (Laboratoire d'Analyse et Modélisation de Systèmes pour l'Aide à la Décision) within PSL University. Her office is located at P 409 with contact number 01 44 05 40 90. She maintains an active research profile with numerous publications spanning graph theory, combinatorial optimization, and multi-objective optimization. Professor Bazgan's research primarily focuses on graph theory and combinatorial optimization , with significant contributions to domination theory, network analysis, approximation algorithms, and multi-objective optimization. Her work bridges theoretical computer science and operations research, addressing fundamental problems in computational complexity while developing practical algorithmic solutions. She has made notable contributions to understanding graph partitions, community detection in networks, and the complexity of various optimization problems. Analysis of her recent publications reveals a strong trend in multi-objective optimization and parameterized complexity . Her work often explores the interface between theoretical computer science and operations research, with applications to network analysis and decision support systems. A significant portion of her research addresses the complexity and approximability of graph-theoretic problems, particularly those related to domination, community structure, and anonymization in networks. Professor Bazgan has co-authored the book Combinatorial Algorithms (2022) with H. Fernau and contributed chapters to authoritative works on combinatorial optimization. While specific scientific awards aren't mentioned in the available information, her extensive publication record in top-tier journals demonstrates significant recognition in her field. She maintains an active collaboration network, frequently working with researchers such as Vanderpooten D., Tuza Z., Chlebíková J., and Herzel A. Her research has practical applications in network security, social network analysis, and decision support systems. The LAMSADE laboratory, where she is based, focuses on decision support systems and operations research, providing an interdisciplinary environment for her theoretical and applied work.

Gerhard Friedrichمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge-Based Systems
• Recommender Systems
• +۱۰ مورد دیگر

Gerhard Friedrich is a Full Professor at the University of Klagenfurt, leading the Institute for Artificial Intelligence and Cybersecurity. He previously served as Dean of the Faculty of Technical Sciences (2013–2021). His roles include Coordinator for International Relations of the Faculty of Engineering and Member of the Faculty Conference of Technical Sciences. He holds a PhD in Computer Science from Vienna University of Technology and has extensive industry experience, including heading departments at Siemens Austria and research roles at Siemens Corporate Research and Stanford Research Institute. Research focuses on knowledge-based systems, recommender systems, configuration and planning, and production informatics. His work bridges theoretical AI with practical applications in manufacturing, software development, and business processes. He has authored a book on recommender systems (translated into Japanese and Chinese) and contributed to prestigious journals like Artificial Intelligence and IEEE Transactions . He has organized major conferences such as the German Conference on Artificial Intelligence (2016) and served as editor and program committee member for leading venues. His awards include Fellowships from the European and Asia-Pacific AI Associations (2012, 2023). His advising and grants include leadership in applied AI projects and international collaborations. He directs the Intelligent Systems and Business Informatics research group, emphasizing interdisciplinary innovation.

• Answer Set Programming
• Artificial Intelligence
• Logic Programming
• +۴ مورد دیگر

Torsten Schaub is a Professor at the Institute of Computer Science , University of Potsdam. His research focuses on Answer Set Programming (ASP) , constraint solving, temporal reasoning, and combinatorial optimization, with applications in multi-agent pathfinding, product configuration, and course timetabling. Key contributions include ASP-based tools for industrial-scale optimization problems, metric temporal logic implementations, and frameworks for dynamic equilibrium logic. Recent work explores efficient design space exploration, stream reasoning, and multi-shot ASP solving for complex domains. His publications emphasize hybrid ASP systems , integrating constraints and temporal logic, with co-authors across Europe and Asia. He actively develops tools like clingo and Clingraph for practical ASP applications in logistics, bioinformatics, and robotics. The articles reveal a trend toward multi-agent systems (e.g., pathfinding algorithms) and temporal extensions in ASP, combining formal logic with real-world problem-solving. Sub-fields include constraint satisfaction, logical abduction, and declarative modeling for optimization tasks.

Thorsten Kochمشاهده پروفایل

استاد

• Mathematical Optimization
• High-Performance Computing
• Artificial Intelligence
• +۴ مورد دیگر

Thorsten Koch is a Professor for Software and Algorithms for Discrete Optimization at Technische Universität Berlin , with multiple leadership roles including Head of the Applied Algorithmic Intelligence Methods (A²IM) , Digital Data and Information for Society, Science, and Culture (D²IS²C) , Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV) , and Forschungs- und Kompetenzzentrum Digitalisierung Berlin (digiS) . Based at Zuse Institute Berlin and affiliated with TU Berlin's Institute for Mathematics, he focuses on integrating mathematical optimization with high-performance computing and artificial intelligence to solve complex real-world problems. Research Pillars : Mathematical optimization algorithms Quantum computing applications AI/ML integration in decision systems Energy systems optimization Scientific software development Leadership Roles : Head of Applied Algorithmic Intelligence Methods (A²IM) Head of Digital Data & Information for Society, Science, and Culture (D²IS²C) Head of Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV) Head of Forschungs- und Kompetenzzentrum Digitalisierung Berlin (digiS) Key Collaborations : Working with IBM Quantum on quantum optimization Collaborating across institutions for energy system modeling Developing open-source optimization tools like SCIP Contributing to digital library infrastructure Recent Research Trends : Quantum optimization benchmarking Machine learning-aided optimization Multi-objective decision frameworks Energy infrastructure optimization Adaptive algorithm design CO2 network modeling Impact : Advancing hybrid optimization methods Developing open-source tools for scientific computing Building digital infrastructures for libraries and research Exploring quantum-classical algorithm synergies

Pedro Orvalhoمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Automated Reasoning
• Formal Methods
• +۴ مورد دیگر

Pedro Orvalho is a Research Associate in the Department of Computer Science at the University of Oxford, working with Professor Marta Kwiatkowska on the FUN2MODEL ERC project. His research bridges theoretical computer science with practical applications in software engineering and programming education. His educational background includes: PhD in Computer Science and Engineering (2025) from Instituto Superior Técnico, Universidade de Lisboa MSc in Information Systems and Computer Engineering (2019) from Instituto Superior Técnico BSc in Information Systems and Computer Engineering (2017) from Instituto Superior Técnico Orvalho's research spans Artificial Intelligence, Automated Reasoning, Formal Methods, and Program Repair, with significant contributions to programming education tools. His work integrates formal methods with machine learning techniques to develop novel approaches for program verification and repair, particularly focused on introductory programming assignments. His scientific achievements have been recognized with prestigious awards: Vencer o Adamastor (VoA) - 3rd Edition (2025) ELISE Mobility Grant (2024) COST Travel Grant (2022) Excellence in Teaching IST Awards (2021 and 2024) ACM SIGSOFT Distinguished Paper Award (ESEC/FSE 2021) FCT PhD Scholarship (2020-2024) With five years of teaching experience at Instituto Superior Técnico, Orvalho has developed educational tools like GitSEED and MENTOR that bridge his research with practical classroom applications. His research has been supported by multiple grants including the ERC FUN2MODEL project and FCT PhD Scholarship, demonstrating both academic and practical impact. He maintains active collaborations with researchers from Czech Technical University in Prague, Carnegie Mellon University, and industry partners like OutSystems, contributing to an international research network focused on software reliability and educational technology.

Matthias Beckerمشاهده پروفایل

استاد

• Human-Computer Interaction
• Simulation and Modeling
• Distributed Systems
• +۶ مورد دیگر

Matthias Becker is a Professor at the Institute for Practical Computer Science within the Faculty of Electrical Engineering and Computer Science at Leibniz University Hannover, where he has been a core member of the Human-Computer Interaction group since 2019. He serves as Internship Coordinator for Computer Science and Computer Engineering and holds key roles in the Computer Science Examination Board and Selection Committee, actively shaping academic governance and student development. His academic journey began with PhD studies at the University of Bremen (1996-2000) supported by a DFG grant, followed by a postdoctoral permanent position at Leibniz University Hannover (2000-2019), an Associated Assistant Professor role at École des Mines de Nantes (2000), and a Habilitation in Computer Science in 2013. This foundation enabled his transition to a full professorship in 2019. Becker's research spans Human-Computer Interaction, Simulation and Modeling, and Bio-inspired Computing, with applications in agriculture, renewable energy, and manufacturing. His work integrates distributed systems, optimization algorithms, and wireless sensor networks to solve complex real-world problems, such as greenhouse monitoring, wind farm logistics, and tire noise reduction. Recent publications reveal a strategic focus on practical validation of simulation models and cross-domain applications of nature-inspired algorithms. His 15 most recent publications (2018-2024) demonstrate consistent innovation in applying simulation techniques to offshore wind farm installation, agricultural pest management, and sports science. These works emphasize real-world validation, collaborative problem-solving, and the development of domain-specific optimization frameworks that bridge theoretical algorithms and industrial implementation. As Internship Coordinator, Becker facilitates critical industry-academia connections for students, while his examination board responsibilities ensure rigorous academic standards. His leadership in the Human-Computer Interaction group drives research on interactive systems for agriculture, energy, and health, with particular emphasis on user-centered design in complex operational environments like wind farm logistics and greenhouse automation.

Laurens Bliekمشاهده پروفایل

استادیار

• Artificial Intelligence
• Optimization
• Sustainable Logistics
• +۵ مورد دیگر

Laurens Bliek is an Assistant Professor at the Department of Industrial Engineering & Innovation Sciences, Eindhoven University of Technology (TU/e). He specializes in combining artificial intelligence (AI) with optimization techniques for computationally intensive problems, focusing on sustainable applications such as public transport, electric vehicles, and CO 2 reduction. Education: MSc in Applied Mathematics (2014), PhD in Systems & Control (2019) from Delft University of Technology. Prior Role: Postdoctoral researcher at the Algorithmics group, Delft University of Technology. Research Interests: His work addresses AI-driven optimization of expensive cost functions, particularly in logistics, communications, and healthcare. He develops methods to handle computationally intensive simulators and digital twins, emphasizing real-time decision-making and sustainability. Recent Publications: His research spans predictive maintenance using Fourier graph neural networks, real-time container yard allocation, and 5G network optimization. Articles appear in journals like IEEE Transactions on Neural Networks and Learning Systems and Computer Networks . Collaborations: Laurens collaborates with industry partners (LioniX, Dutch Railways) and organizations (European Supply Chain Forum, Logistics Community Brabant). He co-leads the 12-PhD program AI Planner of the Future and participates in AI sustainability working groups. Supervision: Co-promotor of PhD students Ya Song and Abdo Abouelrous, focusing on AI applications in routing and maintenance logistics.

Marika Karbsteinمشاهده پروفایل

پژوهشگر

• Operations Research
• Mathematical Optimization
• Public Transport Planning
• +۳ مورد دیگر

Dr. Marika Karbstein is a Researcher at the Zuse Institute Berlin (ZIB), where she has been employed since April 2006. Affiliated with the DFG Research Center Matheon "Mathematics for key technologies" from 2006-2014, she earned her doctoral degree in Mathematics from Technische Universität Berlin in 2013. Her work bridges theoretical optimization and practical public transport applications. Her academic background includes: 1999-2005: Studies of Applied Mathematics (Wirtschaftsmathematik) at Technische Universität Berlin 2003-2006: Student assistant at Konrad-Zuse-Zentrum Berlin 2013: Doctoral degree in Mathematics (Dr. rer. nat), Technische Universität Berlin Dr. Karbstein specializes in mathematical optimization for public transport systems, focusing on strategic planning, service design, and passenger behavior modeling. Her research integrates timetabling, line planning, and passenger routing through advanced integer programming and network optimization techniques. She develops practical solutions for infrastructure design, crew scheduling, and fare planning, emphasizing real-world applicability in urban transport networks. Her methodology combines theoretical rigor with implementation-focused approaches to improve system efficiency and user experience. Her publication record shows consistent innovation in periodic timetable optimization and integrated transport modeling. Early work established foundations in Steiner tree problems for transport networks, evolving into sophisticated frameworks for passenger routing and line planning. Recent contributions emphasize direct connections and transfer minimization, reflecting industry needs for seamless passenger journeys. The research demonstrates strong interdisciplinary connections between operations research, computer science, and transportation engineering. Her scientific recognition includes: Diploma Thesis Award of the German Operations Research Society (2006) Runner-Up for Richard-Rado-Prize (2014) Dissertation Award of German Operations Research Society (2014) VBKI Wissenschaftspreis (2014) Tucker Prize Finalist (2015) Best Paper Award at ATMOS 2013 As a core member of the DFG Research Center Matheon, Dr. Karbstein contributed to major collaborative projects funded by the German Research Foundation. Her work with Ralf Borndörfer at ZIB has led to practical implementations including Potsdam's 2010 line plan optimization. While specific grants aren't detailed, her research has been sustained through institutional support at ZIB and Matheon's interdisciplinary framework. She actively collaborates with transport operators to translate theoretical advances into operational improvements. Dr. Karbstein operates within ZIB's renowned applied mathematics environment, leveraging its high-performance computing resources. Her work extends through Matheon's consortium connecting Berlin's mathematics community. Current research focuses on integrating passenger behavior models with real-time scheduling systems, advancing the frontier of data-driven transport optimization.

Roie Levinمشاهده پروفایل

استادیار

• Approximation Algorithms
• Online Algorithms
• Submodular Functions
• +۵ مورد دیگر

Roie Levin is an Assistant Professor at Rutgers University's Department of Computer Science. He received his PhD in Algorithms, Combinatorics and Optimization from Carnegie Mellon University in 2022, advised by Anupam Gupta. Prior to that, he worked at the Allen Institute for Artificial Intelligence (2015-2017) and earned dual BSc degrees in Computer Science/Applied Mathematics and Mathematics from Brown University (2015). Before joining Rutgers, he was a Fulbright Postdoctoral Fellow at Tel Aviv University under Niv Buchbinder. Current Role: Assistant Professor in Computer Science Academic Training: PhD (2022) CMU, BSc (2015) Brown University Postdoctoral: Fulbright Fellow at Tel Aviv University Levin's research focuses on approximation algorithms for uncertain environments (online/dynamic/streaming models) and submodular function optimization. His work spans theoretical foundations and practical implementations across distributed systems, geometric constraints, and reinforcement learning paradigms. Teaching includes graduate and undergraduate algorithms courses (CS 344, CS 513) with emphasis on problem-solving techniques, computational complexity, and modern algorithmic trends. His publications showcase expertise in online algorithms, submodular optimization, and approximation theory with applications in clustering, caching, and machine learning. The 2025 articles demonstrate continued exploration of online consistency and contention resolution, while 2023-2024 works focus on submodular optimization under uncertainty and dynamic environments. Earlier publications (2015-2017) cover semantic parsing, geometric approximation, and planar graph optimization. Fulbright Postdoctoral Fellow Levin's research connects theoretical guarantees with practical implementations, bridging classical algorithm design with modern machine learning applications. His recent work explores primal-dual methods in online settings and robust subspace approximation techniques for streaming data environments.