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

Hartwig Anztمشاهده پروفایل

دانشیار

• Algorithm Engineering
• High Performance Computing
• Numerical Linear Algebra
• +۳ مورد دیگر

Hartwig Anzt is a Research Associate Professor in the Min H. Kao Department of Electrical Engineering and Computer Science at the University of Tennessee, and Director of the Innovative Computing Lab (ICL). He holds a Senior Research Scientist position at the Steinbuch Centre for Computing at Karlsruhe Institute of Technology (KIT), where he previously held an Early Career Award and a Junior Professorship. He earned a Diploma in Industrial Mathematics (2009) and a PhD in Applied Mathematics (2012) from KIT, with a year of studies at the University of Ottawa. His research focuses on algorithm engineering for computational mathematics, particularly numerical linear algebra, GPU computing, and mixed-precision methods. Key areas include asynchronous algorithms, communication-avoiding techniques, and sustainable software engineering for exascale computing. He leads development of the Ginkgo library, designed for high-performance numerical linear algebra on heterogeneous architectures. Anzt's work emphasizes practical software solutions for scientific computing, including sparse linear algebra, batched solvers, and FAIR-compliant research software practices. His contributions span fusion plasma simulations, cardiac electromechanics, and scalable data compression techniques for extreme-scale systems. Education: Diploma (2009), PhD (2012) in Applied Mathematics from KIT Key Roles: ICL Director, xSDK Multiprecision Project Lead Software Contributions: Ginkgo Library, JuMonC Tool, Compressed Basis GMRES

Robert Woodleyمشاهده پروفایل

عضو هیئت علمی

• Computational Intelligence
• Embedded Systems
• Digital Logic
• +۳ مورد دیگر

Dr. Robert Woodley is an Associate Teaching Professor and Advising and Recruiting Specialist in the Department of Electrical and Computer Engineering at Missouri University of Science and Technology (Missouri S&T). He joined the faculty in January 2018, bringing 14 years of industry experience including co-founding a company. His role emphasizes academic advising, course redesign, and student recruitment. He holds a PhD, MS, and BS in Electrical Engineering from Missouri S&T. Research interests include Computational Intelligence, Embedded Systems, Digital Logic, and Control Systems. He co-authored a textbook for CpE 2210 and developed an online lab for digital logic courses. Dr. Woodley restructured the CpE 2210 course into an online format during the pandemic, introduced entrepreneurial components in senior design projects, and uses Kahoot! for interactive circuits education. He serves as IEEE Rolla Subsection treasurer and has received notable awards: 2023 Dean’s Educator Award, 2022 IEEE Outstanding Educator, and 2022 Missouri S&T Faculty Achievement Award. His industry roles include Senior Scientist at Triplet Tech Corporation and 21st Century Systems, Inc.

Dunwei Wenمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +۳ مورد دیگر

Dr. Dunwei Wen is Associate Professor and Chair at the School of Computing and Information Systems within Athabasca University's Faculty of Science and Technology. With academic credentials from Ph.D. in Pattern Recognition and Intelligent Systems (Central South University) M.Sc. in Computer Science (Tianjin University) B.Eng. in Electrical Engineering (Hunan University) , he bridges theoretical AI research with practical implementations in information systems. His research program focuses on statistical learning and deep learning for Natural language processing Sequential data analysis Multimodal content understanding with applications spanning education, healthcare, and industrial domains. Publication trends show increasing emphasis on deep learning architectures for medical image analysis (SRTNet 2024), contextual topic modeling in education (2013-2015), and multimodal systems combining text/image analysis (2015-2018). Recent projects (2021-2022) center on self-supervised learning for natural language understanding. Professional engagements include Member, AAAI (Association for the Advancement of Artificial Intelligence) Member, ACM and ACM SIGAI Senior Member, IEEE Former CAAI Board Member (2001-2010) As academic advisor, he has supervised over 25 graduate students and interns, including Co-supervised 4 PhD candidates (Jilin University) Mentored 12+ Master's students (AU, Jilin University) Hosted 6 MITACS Globalink Research Interns with projects spanning from cardiac detection systems to educational data mining.

Arne Koorsمشاهده پروفایل

پژوهشگر

• Discrete-Event Simulation
• Algorithm Optimization
• Financial Market Modeling
• +۳ مورد دیگر

Arne Koors serves as a scientific Assistant at the Department of Computer Science , University of Hamburg , under the Faculty of Mathematics, Informatics and Natural Sciences (MIN) . His research focuses on discrete-event simulation optimization , financial market modeling , and ERP system integration . He has contributed to 9 Bachelor's and 5 Diplom theses as primary supervisor. Education & Teaching: He teaches courses including Mathematics for Computer Science , Introduction to Computer Science , and Simulation Projects . His teaching spans topics like cryptography, network systems, and simulation seminars. Research Contributions: His work emphasizes performance optimization of simulators, priority queue algorithms, and simulation-ERP system interaction. Notable achievements include a Best Paper Award at ESM 2014 for Analysis by State: An Alternative View on Discrete Event Time Series . Practical Experience: He led project management for 75 manufacturing companies in ERP implementation and developed a globally used sales planning software deployed in 250 firms. His invited talks include presentations on ERP systems in education and sales planning strategies. Key Projects: Development of the DESMO-J simulation framework, integration of financial risk metrics into discrete-event systems, and asynchronous RNG methods for performance enhancement.

Sylvain Senéمشاهده پروفایل

استاد

• Computer Science
• Theoretical Computer Science
• Discrete Mathematics
• +۵ مورد دیگر

Sylvain Sené is a Professor of Computer Science at Aix-Marseille University (AMU), affiliated with the Department of Computer Science and Interactions (DII) and the Computer Science and Systems Laboratory (LIS). He leads the ANR-funded project FANs (Foundations of Automata Networks) and focuses on discrete mathematics, theoretical computer science, and computational properties of automaton networks. His research bridges abstract computational models with applications in biology, particularly gene regulatory networks and cellular reprogramming. Research Interests: Automaton networks, Boolean networks, and cellular automata Computational complexity and dynamical systems Discrete mathematics and theoretical computer science Applications in systems biology and genetic networks Key Projects: Principal investigator of the ANR project FANs (2019–2023), focusing on advancing automata network theory Collaborations with CNRS, Chilean universities, and international institutions Advising & Grants: Directed PhD students including Pacôme Perrotin and Martín Ríos Wilson Secured funding through ANR and other national/international grants Labs & Teams: LIS (Computer Science and Systems Laboratory), collaborating with interdisciplinary teams in biology and mathematics.

Rajit Manoharمشاهده پروفایل

استاد

• Asynchronous VLSI Design
• Concurrency
• Formal Methods
• +۵ مورد دیگر

Rajit Manohar is the John C. Malone Professor of Electrical & Computer Engineering at Yale University, with appointments in Applied & Computational Mathematics and Computer Science. He is a core member of the interdisciplinary Computer Systems Lab (CSL), which bridges ECE and CS departments. His research focuses on asynchronous VLSI design, neuromorphic computing, and hardware-software co-design. Education: Manohar holds a B.S., M.S., and Ph.D. from the California Institute of Technology. His academic career spans over two decades, with notable contributions to asynchronous circuit theory and neuromorphic engineering. Research Interests: Manohar's work emphasizes energy-efficient asynchronous architectures, concurrency control, and biologically inspired computing. He explores topics like formal methods for circuit verification, cognitive systems, and dynamic sensor networks. His lab develops tools like Fluid (asynchronous synthesis) and Neurobench (neuromorphic benchmarking). Publications: Recent work includes advancements in asynchronous logic synthesis (Maelstrom), neuromorphic frameworks (Neurobench), and scalable brain-computer interfaces (SCALO). His research often intersects NSF-funded projects in energy-aware computing and neuromorphic systems. Awards: Inaugural Misha Mahowald Prize (2025), MIT TR35 (2000s), IBM Goldberg Award (2023) Grants & Labs: Manohar leads NSF-supported initiatives in carbon-aware networking and neuromorphic hardware. The Computer Systems Lab collaborates across disciplines to advance sustainable computing and neuro-inspired architectures.

Konstantinos Chorianopoulosمشاهده پروفایل

دانشیار

• Human-Computer Communication
• Multimedia
• Software Technology
• +۳ مورد دیگر

Konstantinos Chorianopoulos is an Associate Professor at Ionian University's Department of Informatics, specializing in Human-Computer Interaction and Multimedia Software Technology. PhD in Administrative Science and Technology, Athens University of Economics and Business MSc in Marketing and Communication Diploma in Electronic and Computer Engineering, Technical University of Crete His research bridges computer science and communication, focusing on: Interactive systems for health informatics Video processing algorithms Educational game mechanics Ubiquitous computing interfaces Social media analytics Mobile communication platforms Recent publications demonstrate expertise in interdisciplinary applications combining data science with user experience design , particularly in epidemiological tracking , serious games , and video interaction systems . He teaches advanced courses in: Human-Computer Communication (THE-400) Information Visualization (HY-645) Mobile and Social Media (HY-665)

• Numerical Optimization
• Mixed-Integer Nonlinear Programming
• Global Optimization
• +۱۴ مورد دیگر

Ruth Misener is a Professor in the Department of Computing at Imperial College London, where she leads the Computational Optimization Group and holds the BASF/RAEng Research Chair in Data-Driven Optimization (2022–2027). She is affiliated with the Faculty of Engineering and contributes to interdisciplinary research institutes including the Data Science Institute, the Institute for Molecular Science and Engineering, and the Sargent Centre for Process Systems Engineering. Her research lies at the intersection of numerical optimization, operations research, and machine learning, with applications in chemical engineering, bioprocess optimization, energy systems, and industrial scheduling. She develops global optimization algorithms for mixed-integer nonlinear programs (MINLP), focusing on real-world challenges such as heat recovery network design, petrochemical process optimization, and robust bioreactor operation. A key innovation is her work on optimizing over machine learning surrogates, including tree ensembles and neural networks, enabling data-driven decision-making under uncertainty. Her recent publications demonstrate a strong trend toward integrating Bayesian optimization with active learning, explainable AI, and industrial applications, particularly in collaboration with BASF, Royal Mail, and Eli Lilly. She develops and maintains open-source optimization tools such as ROmodel, OMLT, and ENTMOOT, which are publicly available on GitHub. STEM for Britain acceptance Runner-Up Presentation Award at PSE@ResearchDayUK Best Quality Poster to Simon Olofsson 1st Poster Prize at UK/Ireland Annual Meeting of the Society for Industrial & Applied Mathematics (2018) 2nd Poster Prize at Centre for Process Systems Engineering Industrial Consortium Meeting (2017) 1st Poster Prize at 2nd PSE@ResearchDayUK (2017) 2nd Presentation Prize at Department of Computing Research Associate Symposium (2017) Runner-Up for May Hicks Award (via student Natasha Page) Ruth supervises a dynamic research team and has examined and mentored numerous PhD students, including Jean Kossaifi, Robert Walecki, Alexander Thebelt, and Toby Boyne. She leads major research grants, including the BASF/RAEng Research Chair and the IConIC Prosperity Partnership, and collaborates with industry partners to advance continuous manufacturing and data-driven process optimization. Her team actively disseminates work through open-access publications, video presentations, and social media.

• Algorithmic Game Theory
• Stochastic Games
• Distributed Systems
• +۴ مورد دیگر

Hugo Gimbert is a CNRS Researcher at LaBRI (Laboratoire Bordelais de Recherche en Informatique), affiliated with the University of Bordeaux, where he serves as a PhD advisor and contributes to the Formal Methods research team. His work bridges theoretical computer science with practical applications in diverse domains. His research spans Algorithmic Game Theory, Stochastic Games, Distributed Systems, and Robotics, with current focus on stochastic games with partial observation, decidability of distributed games, and applications in precision agriculture. He explores intersections with social choice theory, probabilistic logics, and humanoid robot control using Markov Decision Processes. Publications from 2010-2017 reveal consistent contributions to game theory foundations (stochastic/mean-payoff/parity games), automata theory (decidability problems, stabilization monoids), and applied robotics (vineyard trellising systems). His work demonstrates a trajectory from pure theoretical results toward real-world implementations in agriculture and education systems. Gimbert actively mentors PhD candidates including Soumyajit Paul, Simon Mauras, and Edon Kelmendi. He leads critical national projects: serving as Chargé de mission for Parcoursup (France's centralized college admission platform) since 2018, developing its core algorithms with Claire Mathieu to handle quotas, housing constraints, and transparency requirements. He also co-founded the Rhoban System spin-off applying robotic control algorithms to precision agriculture. As a core member of the Rhoban robotics project, he develops real-time image processing systems for robot soccer competitions. His software contributions include Stamina (automata theory toolkit), Marmotte (CNRS committee management system), and BipBip (ROS-based weeding robot for vineyards), demonstrating commitment to translating research into tangible societal impact.

Thomas Zeiserمشاهده پروفایل

پژوهشگر

• High-Performance Computing
• Lattice Boltzmann Methods
• Computational Fluid Dynamics
• +۳ مورد دیگر

Dr. Thomas Zeiser serves as Head of Systems & Services and Chief Operating Officer HPC at NHR@FAU (Center for National High Performance Computing Erlangen) at Friedrich Alexander University Erlangen-Nuremberg. He leads the Systems & Services group of NHR@FAU and HPC4FAU since the end of 2020 and serves as deputy for NHR@FAU in the NHR Betreiberausschuss. His work focuses on transitioning from serving FAU only to national center operations, managing HPC systems, procuring new infrastructure, financial controlling of NHR@FAU's budgets, and supporting planning for a new data center building. Dr. Zeiser's research interests center around High-Performance Computing with specific expertise in Lattice Boltzmann Methods , large-scale simulations, evaluation of HPC hardware and software, and efficient operation of HPC systems. His work bridges the gap between theoretical computational methods and practical implementation in high-performance environments. He has implemented the first job-based job and performance monitoring for RRZE's HPC systems and has extensive experience in procurement of HPC infrastructure. Analysis of Dr. Zeiser's publication record reveals a consistent focus on practical applications of computational methods in HPC environments. His research demonstrates a progression from fundamental lattice Boltzmann method development toward increasingly complex system-level concerns including fault tolerance, performance monitoring, energy efficiency, and scalable implementations. The publications show strong collaboration patterns with researchers at FAU and other German institutions, particularly in the areas of computational fluid dynamics and parallel computing. Dr. Zeiser regularly serves as a reviewer for various journals and compute time commissions of different HPC centers. He is also one of the local organizers for the Ferienakademie of TUM, FAU, and Universität Stuttgart held in Sarntal. His work with NHR@FAU positions him at the forefront of national high-performance computing infrastructure in Germany. At NHR@FAU and RRZE (Regional Computing Center Erlangen), Dr. Zeiser leads teams responsible for operating some of Germany's most powerful academic supercomputing resources. His group plays a critical role in supporting computational research across multiple disciplines at FAU and increasingly at the national level through the NHR initiative.

KC Sivaramakrishnanمشاهده پروفایل

استادیار

• Functional Programming
• Language Runtimes
• Concurrency
• +۴ مورد دیگر

KC Sivaramakrishnan is an Assistant Professor at Indian Institute of Technology Madras and concurrently serves as CTO of Tarides. He works at the intersection of programming languages and systems, focusing on concurrency, distributed systems, and OCaml runtime development. Primary Affiliation: Indian Institute of Technology Madras Co-founder: Tarides His research explores: Concurrency and parallelism in OCaml Effect handlers for modular programming Mergeable Replicated Data Types for distributed systems Weak memory models and consistency guarantees Lock-free algorithms and safe multicore programming Recent publications focus on OCaml 5.0's concurrency features, effect handler integration, and verified CRDT implementations. He contributes to compiler design, runtime optimization, and testing frameworks for multicore systems. Service roles include committee memberships in SPLASH, ICFP, OCaml, and PROPL conferences. He actively bridges functional programming with systems research through practical implementations.

JAVIER DÍEZ GONZÁLEZمشاهده پروفایل

استاد

• Robotics
• Wireless Sensor Networks
• Smart Manufacturing
• +۴ مورد دیگر

JAVIER DÍEZ GONZÁLEZ is a Professor at the Universidad de León , affiliated with the College of Industrial, Information and Aerospace Engineering and the Department of Mechanical, Computer and Aerospace Engineering . He leads research in intelligent systems for manufacturing ( SINFAB research group), focusing on cutting-edge applications of localization technologies, robotics, and optimization algorithms. Research Interests : Advanced localization systems for autonomous vehicles and robots Smart manufacturing and Industry 4.0/5.0 integration Optimization techniques for wireless sensor networks Metaverse applications in industrial and educational contexts Hybrid AI and fuzzy logic for aerospace engineering problems Scientific Contributions : His recent work (2025-2024) explores asynchronous localization architectures, collaborative robotics, mixed reality training, and metaverse-human interaction. He has pioneered UWB-based positioning solutions for UAVs and AMRs, with a strong focus on error characterization, sensor deployment, and robustness under failure conditions. Academic Background : Earned a PhD (2020) from Universidad de León with a thesis on time-based local positioning systems, supervised by Dr. Hilde Pérez García.

• Distributed Computing
• Self-Stabilizing Algorithms
• Robotics
• +۳ مورد دیگر

Stéphane Devismes is a Professor at Université de Picardie Jules Verne and a member of the ALCO: Algorithmics and Complexity team within the MIS Lab (UR 4290). His research focuses on Distributed Computing , Self-Stabilizing Algorithms , Robotics , and Network Security . He has contributed extensively to algorithmic solutions for grid exploration by autonomous robots, leader election in dynamic networks, and certified self-stabilization frameworks. Keywords : Distributed Systems, Self-Stabilization, Robotics, Algorithmics, Complexity, Security His recent work trends include self-stabilizing unison in directed networks, infinite grid exploration by myopic robots, and certified algorithm analysis for worst-case stabilization times. Notable projects include the SASA simulator for self-stabilizing algorithms and the SR3 secure routing protocol. Devismes has received prestigious awards including the Wilkes Award 2022 and Best Student Paper Awards at ICDCN'2023 and SSS'2013. He has supervised numerous PhD and Master's theses, including those of Geoffrey Defalque and Anaïs Durand, and actively participates in international program committees and grant-funded research like the ANR SkyData project.

• Solar Energy Optimization
• Control Systems
• Remote Laboratories
• +۷ مورد دیگر

Fariba Moghaddam is an Ordinary Professor at HES-SO Valais-Wallis - Haute Ecole d'Ingénierie, leading the Power & Control orientation under the Institut Systèmes industriels. She specializes in renewable energy systems, control engineering, and educational technology, with a focus on solar energy optimization, remote laboratories, and sustainable development initiatives in the Global South. Her work spans academic leadership, research, and pedagogical innovation. Education: PhD in Control Engineering from École Polytechnique Fédérale de Lausanne (EPFL), 1996. Additional academic background in electrical and mechanical engineering. Research Interests: Solar tracking systems, photovoltaic-thermal (PVT) integration, machine learning applications in energy systems, remote experimentation platforms, and collaborative educational infrastructure. Recent projects include the Solar Energy Optimization via Remote Platforms and DEAR MENA (Digital Education & Research for MENA). Grants & Projects: Solar Energy Optimization (2022-2026): Swiss National Science Foundation-funded project developing cost-effective sun tracking solutions. DEAR MENA (2019-2024): Cluster fostering digital education partnerships between Swiss and MENA institutions. Sustainable Laboratories (2020-2021): Platform for redistributing lab equipment to emerging economies. MOOLs (2018-2021): Massive Open Online Laboratories for global engineering education. Labs & Infrastructure: Spearheaded the Remote Real-Time Research Platform for control engineering, enabling global access to lab equipment via secure web interfaces. Collaborates on IoT-integrated systems for remote experimentation and industrial automation. Awards: None explicitly listed, but recognized for contributions to sustainable energy and educational equity through numerous funded projects.

Jinling Wangمشاهده پروفایل

دانشیار

• Geospatial Mapping
• Global Navigation Satellite Systems (GNSS)
• Inertial Navigation Systems (INS)
• +۵ مورد دیگر

Associate Professor Jinling Wang is an academic at the University of New South Wales (UNSW), affiliated with the School of Civil Engineering and the Department of Civil Engineering. Her research focuses on geospatial mapping and navigation, including Global Navigation Satellite Systems (GNSS), Inertial Navigation Systems (INS), and multi-sensor integration for applications in autonomous vehicles and high-definition mapping. She has supervised 22 PhD and 6 Master’s students, seven of whom won prestigious international awards during their studies. Her awards include being named on the World’s Top 2% Scientists List from 2020 to 2024 and recognized as Australia’s Research Leader in 'Radar, Positioning, and Navigation' multiple times. She leads projects such as the UNSW Engineering Goldstar Award 2024 Research Grant and the UNSW-Tsinghua Collaborative Research Seed Project. Dr. Wang’s research trends emphasize ionospheric analysis, robust positioning algorithms, and sensor fusion for autonomous systems. Her articles span disciplines like atmospheric science, data science, and geomatics engineering, addressing challenges in GNSS reliability and real-time navigation integrity. Her advisory and grants section highlights her role in advancing autonomous vehicle technologies and HD mapping. She is part of research teams utilizing advanced facilities at UNSW’s Mark Wainwright Analytical Centre and collaborates on global navigation challenges.