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

• Game Theory
• Evolutionary Algorithms
• Artificial Immune Systems
• +۶ مورد دیگر

Paweł Jarosz serves as an Assistant Professor in the Department of Computer Science at the Faculty of Computer Science and Telecommunications , Cracow University of Technology. His work bridges computational intelligence with engineering applications. Academic Rank: Assistant Professor Department: Computer Science Faculty: Computer Science and Telecommunications University: Cracow University of Technology Research focuses on game theory, evolutionary algorithms, and multi-objective optimization, particularly in: Development of immune-inspired game-theoretic optimization methods Multi-criteria decision-making systems MEMS design optimization Biologically-inspired algorithmic frameworks Sustainable transportation modeling Distributed computing environments His publications (2010-2024) demonstrate sustained research in combining game theory with artificial immune systems for complex optimization challenges across various domains including microactuator design and spatial data analysis.

César Sánchezمشاهده پروفایل

استاد

• Formal Methods
• Computer Science
• Logic
• +۶ مورد دیگر

César Sánchez is a Full Professor at the IMDEA Software Institute , where he has been since 2007. He earned his Ph.D. in Computer Science (2007) and M.S. in Computer Science (2001) from Stanford University , and a M.Eng in Telecommunication Engineering from Universidad Politécnica de Madrid (1998). His academic career includes promotions to Associate Professor in 2012 and Full Professor in 2023. Research Interests Formal Methods Temporal Logics for Hyperproperties Reactive Synthesis Modulo Theories Blockchain and Smart Contract Reasoning Runtime Verification of Real-Time Systems Neurosymbolic Formal Methods His publications span 15 recent works (2023-2025) focusing on formal verification of systems using temporal logics , reactive synthesis , and blockchain applications . Key trends include asynchronous hyperproperty analysis , anticipatory monitoring , and shield synthesis for DRL and blockchain systems. Service & Collaboration Program Committee Member: CAV'25, ATVA'24, TACAS'24, DAPPS'23 Collaborations with institutions like Stanford, IMDEA, and Nature César actively recruits researchers (interns, PhD students, postdocs) for his group at IMDEA, focusing on hyperproperties, reactive synthesis, and blockchain verification.

Lukas Luftمشاهده پروفایل

پژوهشگر

• Robot Localization and Mapping
• Causality and Foundations of Quantum Physics
• Probabilistic Methods
• +۳ مورد دیگر

Lukas Luft is a postdoctoral researcher at the Autonomous Intelligent Systems group within the Department of Computer Science at the University of Freiburg. His work spans robotics and quantum physics, focusing on probabilistic methods for robot localization, multi-robot systems, and causal inference. Post Doc (2020–present) PhD in Computer Science, University of Freiburg (2020) Master and Bachelor in Physics, RWTH Aachen and University of Freiburg His research in Robot Localization and Mapping includes advanced probabilistic techniques like Bayes filters, decentralized algorithms for multi-robot systems, and change detection in environments using full posterior distributions. He also explores Causality and Foundations of Quantum Physics , applying entropic inequalities and information theory to causal discovery and non-locality. The articles highlight his contributions to robotics, particularly in sensor modeling for Lidar, simultaneous localization and mapping (SLAM), and efficient probabilistic methods. In quantum physics, his work addresses causal structures and entropic information, bridging AI with foundational physics. Luft has collaborated with leading researchers, including Prof. Wolfram Burgard and Bernhard Schölkopf, and contributed to key conferences like Robotics: Science and Systems (RSS) and IEEE IROS.

Javed I. Khanمشاهده پروفایل

استاد

• Computer Networking
• Cyber Infrastructure
• Active and Programmable Networking
• +۱۴ مورد دیگر

Javed I. Khan is a Professor and Chair of the Department of Computer Science at Kent State University . He leads cutting-edge research in networking, cyber infrastructure, and perceptual systems, with funding from DARPA, NSF, NASA, AFRL, and the World Bank. He is the director of the Media Communications and Networking Research Laboratory (MEDIANET) and actively contributes to international education networks. Ph.D., University of Hawaii at Manoa B.Sc., Bangladesh University of Engineering and Technology (BUET) His research spans active and programmable networking , peer-to-peer systems , semantic design , multimedia communication , and medical imaging . He has pioneered work in holographic associative memory and complex system visualization . His interdisciplinary work integrates computer science with human-centered design and global development. The recent publications reflect a strong trend in decentralized systems , next-generation architectures , and intelligent networking . Themes include P2P computing, dynamic routing, content-based search, and perceptual engineering, indicating a forward-looking research vision in network evolution and human-machine symbiosis. Fulbright Senior Specialist on High Performance Education Networking Open Grants Fellow, East West Center, Hawaii Dr. Khan has advised national and international bodies including the World Bank on research and education networks (RENs) for sustainable development. His lab has secured grants from DARPA , NSF , NASA , and AFRL , supporting innovative projects in space communication, multisensory fusion, and digital library systems. He leads the MEDIANET Lab , which houses the Internet Teaching Lab (ITL) and Student Research Portal . The lab fosters collaboration through the MEDIANET Collaboration Server and supports projects in active networking, P2P computing, and perceptual media.

• Semantic Web Technologies
• Distributed Systems
• E-Learning Systems
• +۳ مورد دیگر

Милорад Б. Тошић is a Full Professor at the Faculty of Electronic Engineering, University of Niš, specializing in Computer Science. He earned all his academic degrees (BSc 1989, MSc 1992, PhD 1998) from the same institution in Electrical Engineering and Computer Science. His research spans Semantic Web Technologies, Distributed Systems, and E-Learning Systems, with notable contributions in federated testbeds, trust-based peer assessment, and collaborative wiki tagging. His work bridges theoretical computer science with practical applications in education and embedded systems. His publication trends show consistent contributions from 1991 to 2014, with recent focus shifting from hardware design (1990s) to semantic technologies and e-learning systems (2000s-2010s), demonstrating adaptability across evolving technological domains. US Patent Application No. 09/636,552 for Internet-Enabled Embedded Device Technology validated by Motorola, Microchip, Philips, and Delphi As former Science and Technology Advisor to the Serbian Minister (2002-2003), he contributed to national science policy. His current research involves 4 national and 3 international projects totaling 7 impact-factor journal publications. His patented embedded device technology has achieved commercial validation through major global electronics firms.

Huacheng Zengمشاهده پروفایل

دانشیار

• Computer Networking
• Wireless Communication Systems
• Sensing Technologies
• +۳ مورد دیگر

Huacheng Zeng is an Associate Professor in the Department of Computer Science and Engineering (CSE) at Michigan State University (MSU), part of the College of Engineering. His research focuses on computer networking, wireless communication systems, and sensing technologies with applications in IoT security, signal processing, and machine learning. He received his Ph.D. in Computer Engineering from Virginia Tech in 2015 and was awarded the NSF CAREER Award in 2019. Dr. Zeng’s work spans innovative areas such as radar-based human motion tracking (e.g., RadEye), acoustic emotion decoding, and mmWave network optimization. His recent publications address challenges in device localization, vehicular communication, and secure RFID systems. His research often integrates machine learning techniques with traditional signal processing to enhance system performance and security. Education: Ph.D., Computer Engineering, Virginia Tech (2015) Awards: NSF CAREER Award (2019) His contributions to interference management, jamming-resilient communications, and distributed inference frameworks have advanced both theoretical and applied aspects of wireless networks. While no specific grants or advising details are listed, his extensive publication record reflects active collaboration in cutting-edge research domains.

Djob Mvondoمشاهده پروفایل

دانشیار

• Virtualization
• Cloud Computing
• Operating Systems
• +۳ مورد دیگر

Djob Mvondo is an Associate Professor at the University of Rennes 1, France, affiliated with the IRISA laboratory and the WIDE Team. He previously held a postdoctoral position at the University of Edinburgh, focusing on virtualization and cloud computing under Antonio Barbalace. His Ph.D. from the University of Grenoble Alpes (2020) explored resilience and sizing in virtualized environments under Prof. Noel De Palma and Prof. Alain Tchana. His research interests span virtualization, cloud computing, and operating systems. Notable achievements include the 2021 ASF and GDR RSD Thesis Prize for his dissertation. He advises two Ph.D. students and collaborates with institutions like Inria and Blacknut. Recent grants include a 300K€ French National Research Agency award (2023) and a 40K€ Rennes Metropole grant for heterogeneous CPU architectures. Teaching includes courses on cloud security, network security in IoT, and ACM programming at ENS Lyon. Active in the academic community, he serves on program committees for conferences such as Eurosys, Middleware, and DSN. He organizes hackathons and contributes to open-source projects like Unikraft. His work addresses challenges in distributed systems, hypervisor optimization, and cloud resilience.

• Power Systems Engineering
• Control and Optimization of Networked Systems
• Distributed Energy Resources
• +۳ مورد دیگر

Guido Cavraro is a Researcher at the National Renewable Energy Laboratory (NREL) within the Power Systems Engineering Center. His work focuses on control and optimization of networked energy systems, particularly addressing grid modernization challenges. PhD in Information Engineering from University of Padua Master's and Bachelor's in Automation/Information Engineering from University of Padua Research interests include: Control and optimization of networked systems Asynchronous control and estimation for energy systems Resilient power system operations Recent publications examine decentralized energy markets, dynamic pricing models, feedback control for climate systems, and ML-based grid controllers. Collaborations span institutions like Virginia Tech and IEEE organizations.

• Machine Learning
• Computational Modeling
• Biomedical Engineering
• +۳ مورد دیگر

Stephen Baek is a faculty member at the University of Iowa, Department of Industrial and System Engineering, with a PhD from Seoul National University's School of Mechanical and Aerospace Engineering. His research spans interdisciplinary applications of machine learning in computational modeling, biomedical engineering, and geometric data processing. Current Affiliation: University of Iowa, Department of Industrial and System Engineering PhD Institution: Seoul National University Stephen's work focuses on physics-informed machine learning , multiscale modeling , and geometric deep learning . He develops algorithms that integrate physical principles with neural networks for applications in energetic materials , human pose estimation , and medical imaging . His research also includes federated learning and interpretable AI for constraint-based synthesis and text classification. Recent publications highlight a physics-aware deep learning framework (PARCv2) for spatiotemporal dynamics, graph convolutional networks for airway mesh smoothing, and prototype trajectory methods for explainable AI. This work bridges computer science with applied physics and healthcare domains. Stephen actively collaborates across disciplines, evidenced by co-authors from institutions like Iowa, Seoul National University, and Samsung Electronics, with publications in venues such as CoRR , J. Mach. Learn. Res. , and NeurIPS . His methodological innovations address challenges in model heterogeneity , 3D surface processing , and constraint satisfaction .

• Cloud & Fog Computing
• Quality of Service (QoS)
• Scheduling
• +۷ مورد دیگر

Mª Carmen Carrión Espinosa is a Full Professor at the University of Castilla-La Mancha (UCLM) with a career spanning over 25 years. She teaches Computer Architecture in undergraduate and postgraduate programs and coordinates the bilingual Computer Engineering degree, which holds the Euro-Inf Bachelor quality award. Her research focuses on Fog computing, blockchain integration, and distributed systems management. University of Castilla-La Mancha - Full Professor (Computer Architecture) University of Cantabria - PhD in Physical Sciences Her research explores low-cost Fog infrastructures, container-based virtualization, and secure distributed architectures. Recent work includes federated learning on constrained devices and Kubernetes scheduling innovations. She has supervised 5 PhD and 15 Master's theses and contributed to 25 JCR-indexed publications. Key research trends include: Blockchain for fault-tolerant IoT systems Hybrid cloud-Fog resource orchestration Energy-efficient scheduling algorithms Educational technology innovations Scientific Awards: Extraordinary Degree Prize (1992) Euro-Inf Bachelor Quality Certification Active IEEE membership She leads the High Performance Networks and Architectures research group and has participated in 24 major projects, including CONSOLIDER-INGENIO 2010 as Task Leader. Her work bridges technical innovation with pedagogical excellence in cloud computing education.

Marco Carboneمشاهده پروفایل

استاد

• Theoretical Computer Science
• Session Types
• Concurrency Theory
• +۷ مورد دیگر

Marco Carbone is a Professor of Theoretical Computer Science at IT University of Copenhagen. His research focuses on session types , concurrency theory , structured communication , and formal verification of distributed systems. He leads the Center for Information Security and Trust and serves as Head of Education for the Master of Science in Computer Science program. Research Areas: Session Types, Concurrency, Security Protocols, Trust Management, Programming Logic Projects: GAINER (2023-2024), MECHANIST (2021-2025), PROBABILIST (2025-2028), BeHApi (2018-2023) Scientific Awards: International Prize (2018) His recent work explores probabilistic choreographies, asynchronous session subtyping, and mechanized proofs for session type systems. He has published extensively in venues like Logical Methods in Computer Science and Lecture Notes in Computer Science .

Armin Alaghiمشاهده پروفایل

استادیار

• Embedded Systems
• Digital Circuits
• Mathematics
• +۷ مورد دیگر

Armin Alaghi serves as a Research Scientist at Oculus Research (Redmond, WA) and holds an Affiliate Assistant Professor position at the University of Washington. His dual affiliation enables valuable knowledge transfer between cutting-edge industrial research and academic pursuits in computer systems engineering. Dr. Alaghi's research spans the intersection of embedded systems, digital circuits, and mathematics. His primary focus involves building low-power augmented reality (AR) and virtual reality (VR) systems while developing novel computation methods for unreliable beyond-CMOS technologies. His previous research contributions include significant work in stochastic computing (where he developed the STRAUSS synthesis methodology), reliable Network on chip (NoC) design, FPGA testing methodologies, NoC testing techniques, artificial neural networks implementations, asynchronous circuit design, and multi-valued logic systems. He has made his spectral-transform-based synthesis tool publicly available on GitHub, demonstrating commitment to open research. Analysis of Dr. Alaghi's publication record reveals a clear research trajectory from foundational circuit-level work toward practical applications in AR/VR systems. His publications from 2020-2025 demonstrate expertise spanning computer architecture, security for immersive technologies, neural network compression techniques, and homomorphic encryption methods. A recurring theme throughout his work is the exploration of quality-energy tradeoffs and error-resilient computing approaches, with increasing focus on security aspects of AR/VR systems in his most recent work. Dr. Alaghi maintains active connections with the broader research community, as evidenced by his Erdős number of 3 (Armin Alaghi John P. Hayes Frank Harary Paul Erdős) and his ongoing contributions to open-source research tools. His GitHub repository for stochastic computing synthesis shows community engagement with multiple contributors. At Oculus Research, Dr. Alaghi applies his theoretical expertise to practical challenges in next-generation AR/VR system development. His work bridges academic research with real-world product development, particularly in addressing energy efficiency challenges for wearable computing platforms through innovative circuit design approaches.

Andrew Lumsdaineمشاهده پروفایل

عضو هیئت علمی

• High Performance Computing
• Scalable Graph Algorithms
• Computational Photography
• +۵ مورد دیگر

Andrew Lumsdaine is the Chief Scientist at the Northwest Institute for Advanced Computing , a dual appointee between the University of Washington and the Pacific Northwest National Laboratory (PNNL). He holds the title of Affiliate Professor in the Paul G. Allen School of Computer Science and Engineering at UW and serves as a Laboratory Fellow in PNNL's Applied Mathematics, Computing, and Data Division. His research spans foundational and applied aspects of High Performance Computing , focusing on scalable graph algorithms, computational photography, and runtime systems for distributed-memory architectures. Education : Not explicitly stated in the provided text. Lumsdaine's work addresses critical challenges in parallel and distributed computing , including synchronization avoidance, communication optimization, and domain-specific language design for graph analytics. He has led projects like GraphPack (NSF-sponsored) and contributed to DARPA's HIVE program through the HAGGLE software development kit. His publications highlight innovations in light field imaging , GPU programming models , and graph algorithm abstractions . Notable collaborations include the GraphBLAS standardization effort and development of tools for checkpoint/restart fault tolerance. His research has been presented at leading conferences like SC , IPDPS , and Eurographics . Lumsdaine actively seeks collaborators and advises students/postdocs through projects listed on his research page.

• Artificial Intelligence
• Network Administration
• Multi-agent Systems
• +۶ مورد دیگر

Horia Popa is a Lecturer at the Faculty of Computer Science , West University of Timișoara. He has taught courses such as Artificial Intelligence , Network Administration , and Functional and Logic Programming since the 2022-2023 academic year, with additional historical courses dating back to 2011-2012. His teaching emphasizes hands-on lab work, software tools (Jess, CLIPS, WEKA), and project-based learning. Education: Not explicitly mentioned in the text. Research: Focuses on multi-agent systems, distributed constraints, asynchronous search algorithms, and system administration. Research Interests: Horia Popa specializes in Artificial Intelligence and Multi-agent Systems , particularly in asynchronous search techniques and constraint satisfaction problems. His work explores scale-free networks, nogood processors, and distributed execution environments. He also investigates Network Administration (DHCP, firewall configuration, kernel recompilation) and Knowledge Discovery through agent-based modeling. Article Trends: His publications (2001-2015) span Computer Science , Artificial Intelligence , and Multi-agent Systems . Key subfields include Asynchronous Algorithms , Constraint Networks , Protein Folding Simulation , and Kernel-Level System Management . He frequently uses NetLogo for large-scale simulations and integrates Samba/ldap for networked environments. Teaching and Projects: Students in his courses work on projects involving Jess , Prolog , and JADE . Assignments include implementing search algorithms (A*, Hill Climbing, RBFS), configuring NIS and Samba servers, and analyzing system monitoring tools like sar and top . He emphasizes practical implementation and cross-language diversity (e.g., Racket, Prolog).

Panayotis Mertikopoulosمشاهده پروفایل

استادیار

• Game Theory
• Machine Learning
• Optimization
• +۴ مورد دیگر

Dr. Panayotis Mertikopoulos is a CNRS researcher (chargé de recherche) at the Laboratoire d'Informatique de Grenoble, part of Université Grenoble Alpes. He is affiliated with the Inria/LIG joint team POLARIS and has held visiting positions at UC Berkeley, EPFL, LUISS University of Rome, and NKUA. His academic journey includes completing his PhD at the University of Athens in 2010 on "Stochastic perturbations in game theory and applications to networks" and his Habilitation à Diriger des Recherches (HDR) in 2019 on "Online optimization and learning in games: Theory and Applications". Dr. Mertikopoulos' research spans several interconnected fields at the intersection of mathematics, computer science, and economics. His primary research interests include: Game theory and its applications to network design and resource allocation Online learning algorithms and their convergence properties Optimization methods for non-convex and stochastic problems Applications to machine learning, signal processing, and wireless networks Quantum game theory and quantum computing applications His extensive publication record shows a clear evolution from foundational work in game dynamics and learning theory toward increasingly sophisticated applications in machine learning and network optimization. Recent work demonstrates growing interest in quantum game theory, non-convex optimization, and the mathematical foundations of deep learning. His research consistently bridges theoretical insights with practical applications, particularly in communication networks and distributed systems. Among his notable achievements is receiving the INFORMS best paper award in the network analytics section in 2022 for his work on "Robust power management via learning and game design". His publications have appeared in top venues including NeurIPS, ICML, COLT, IEEE Transactions, and leading economics and operations research journals. Dr. Mertikopoulos has supervised numerous PhD students and postdoctoral researchers, though specific names are not listed in the available information. He has secured research funding for projects at the intersection of game theory, optimization, and machine learning, with applications to network design and resource allocation. His collaborative work spans multiple institutions across Europe and North America. As a member of the POLARIS research team at Inria/LIG, he contributes to a vibrant research environment focused on parallel and distributed systems. His work often intersects with colleagues researching optimization algorithms, machine learning theory, and network science, creating opportunities for cross-disciplinary collaboration on complex computational problems.