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

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.

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.

• Program Specification and Verification
• Concurrent Separation Logics
• Symbolic Execution
• +۵ مورد دیگر

Philippa Gardner is a Professor in the Department of Computing at Imperial College London, holding a UK Research and Innovation Established Fellowship (2018–2023). She specializes in program specification, verification, and concurrent separation logics. Her Gillian platform unifies symbolic execution, verification, and testing for C and JavaScript. She was elected a Fellow of the Royal Academy of Engineering (2020) and directed the Research Institute on Verified Trustworthy Software Systems (VeTSS, 2017–2023). Her work includes foundational contributions to separation logic, concurrent program reasoning, and mechanised language specifications. Education: PhD in Computer Science from Edinburgh (1992), supervised by Gordon Plotkin. Key roles: General Chair of POPL 2024, organiser of the Isaac Newton Institute's 'Verified Software' programme (2022). Research interests span formal methods, concurrency, and tool development. Notable grants include £1.5M EPSRC Established Career Fellowship (2018–2023) and £500K Facebook Research gift (2020). Awards include Imperial’s President and Rector’s Teaching Award (2013).

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.

• Algorithms
• Game Theory
• Automata
• +۵ مورد دیگر

Marcin Jurdzinski is a Professor at the Department of Computer Science, University of Warwick, with a focus on algorithms, games, automata, and logic. His career spans institutions like the University of Aarhus, University of Paris 7, and UC Berkeley. Research interests include Parity games Stochastic games Timed automata Formal verification Game theory . Recent articles highlight work on parity games, stochastic systems, and timed automata, published in venues like SIAM Journal on Computing, LICS, and CAV. Keywords span Computer Science , Game Theory , and Formal Methods . PhD students mentored include Thejaswini K. S., Michail Fasoulakis, and Ashutosh Trivedi. Funded projects such as Solving Parity Games in Theory and Practice (2017-2021) reflect his research priorities.

• Graph Theory
• Combinatorics
• Data Science
• +۴ مورد دیگر

Dr. Joseph DeMaio is a Professor of Mathematics and Data Science at Kennesaw State University. He specializes in Graph Theory , Combinatorics , and Chessboard Problems , with a focus on Fibonacci Numbers and Cryptography . He teaches courses such as MATH 8020: Graph Theory , STAT 1401: Elementary Statistics , and MATH 8030: Applied Discrete Mathematics for data analysts. Ph.D., Mathematics, Emory University (1996) M.A., Mathematics, Emory University (1994) M.A., Mathematics, Wake Forest University (1990) B.S., Mathematics, Wake Forest University (1988) His research spans mathematical logic, combinatorial proofs, and algorithm design. He has published extensively on chessboard domination problems , graph-based medical claims analysis , and optimal pathfinding in discrete spaces , including collaborations with SAS Institute on statistical computing. Notably, he explores the intersection of mathematical education and real-world data applications . Key trends in his publications include graph theory applied to chess problems , combinatorial optimization for traveling salesman variants, and data science methodologies in customer segmentation and physician behavior analysis. His work often bridges theoretical mathematics with practical computing tools like R Studio and SAS. Dr. DeMaio emphasizes technology-driven statistical pedagogy , using the TI-84 and ALEKS for remote asynchronous learning. He advocates for self-directed study and rigorous practice in math education, as outlined in his Tips for Success guide.

Jordi Cortadella Fortunyمشاهده پروفایل

استاد

• Electronic Design Automation
• Concurrent Systems
• Algorithms
• +۶ مورد دیگر

Jordi Cortadella Fortuny serves as a Full Professor in the Department of Computer Science at the Faculty of Informatics of Barcelona (FIB), Polytechnic University of Catalonia (UPC), where he has maintained continuous academic service since 1985. He currently chairs the UPC Ethics Committee (2021-2025) and leads research within the ALBCOM group specializing in algorithms, bioinformatics, complexity, and formal methods. Education: M.S. in Computer Science, Universitat Politècnica de Catalunya, 1985 Ph.D. in Computer Science, Universitat Politècnica de Catalunya, 1987 Research Interests: Professor Cortadella's pioneering work centers on Electronic Design Automation (EDA) with deep specialization in asynchronous circuit design and concurrent systems . His research integrates formal methods and mathematical optimization to solve complex VLSI design challenges, particularly in logic synthesis and computer arithmetic. This interdisciplinary approach bridges theoretical computer science with practical semiconductor engineering, yielding significant industry impact through patented methodologies and industrial collaborations. Scientific Awards: Fellow of the IEEE (2015) Member of Academia Europaea (2013) Distinction for University Research Promotion by Catalan Government (2003) Five-time Best Paper Award recipient at premier conferences (2004-2020) Descartes Prize Finalist (2002) UPC Best Ph.D. Thesis Award (1992) National Computer Science Student Award (1986) Advising and Service: Cortadella has mentored numerous graduate students while serving on editorial boards for IEEE Transactions on CAD and SN Computer Science. His extensive service includes technical committee leadership at major international conferences and co-founding Elastix Corp. as Chief Scientist (2007-2010), where he directed Barcelona-based R&D for semiconductor verification tools. Research Infrastructure: As core member of the ALBCOM research group, he directs projects in algorithmic foundations of EDA, maintaining strong industry partnerships with Intel and semiconductor design firms through UPC's CITCEA laboratory facilities.

• High-Performance Interconnection Networks
• Computer Architecture
• Network Simulation
• +۷ مورد دیگر

Francisco J. Andújar Muñoz is an Associate Professor at the University of Valladolid in the Department of Computer Science since January 2024. His career spans multiple institutions including Universidad de Castilla-La Mancha (2008-2015) and Universitat Politècnica de València (2017-2018), with academic roles ranging from Research Assistant to Juan de la Cierva Formación Researcher. PhD in Advanced Computer Science Technologies (2011-2015) MsC in Advanced Computer Science Technologies (2010-2011) Computer Science Engineering (2008-2010) Computer Science Technical Engineering (2004-2008) His research focuses on high-performance interconnection networks , with significant contributions to quality-of-service mechanisms, energy-efficient network topologies, and heterogeneous programming optimization. He maintains the open-source VEF Traces framework for network workload modeling. Recent publications (2023-2025) demonstrate expertise in FPGA high-level synthesis portability, SYCL-based GPU optimization, and machine learning applications for Twitch streaming analysis. His work combines theoretical network design with practical implementations in the Journal of Supercomputing and IEEE Transactions on Computers .

Philipp Georg Haselwarterمشاهده پروفایل

استادیار

• Programming Languages
• Formal Verification
• Probabilistic Programming
• +۳ مورد دیگر

Philipp Georg Haselwarter is an Assistant Professor at the Department of Computer Science , Aarhus University . His expertise lies in programming languages , formal verification , and cryptographic proofs . His research interests include Higher-order probabilistic programming Separation logic for program analysis Modular cryptographic proofs in Coq Resource-aware and cost-bounded formal methods Key trends in his recent publications span Formal verification techniques for probabilistic and cryptographic systems Integration of separation logic with cost and error analysis Development of frameworks like SSProve for cryptographic proofs Applications of type theory and higher-order logic in programming languages

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.

• 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).

Mustapha Ouladsineمشاهده پروفایل

استاد

• Diagnostic and Prognostic Methods for Complex Systems
• Artificial Intelligence in Healthcare
• Machine Learning Applications in Semiconductor Manufacturing
• +۳ مورد دیگر

Professor at Aix Marseille University's Faculty of Sciences , Mustapha Ouladsine leads cutting-edge research in diagnostic and prognostic methods for complex systems . As Vice-President for Research Infrastructure and AI since 2020, he oversees LIS Computer Science and Systems Laboratory. Directed LIS UMR 7020 (2018–present) Former Director of LSIS UMR 7296 (2008–2018) Scientific manager for €1.2M+ projects with STMicroelectronics Research Focus : Developed innovative approaches for: Equipment health index modeling in semiconductor manufacturing Dynamic sampling techniques for High-Mix Low-Volume systems Fault-tolerant control systems for drones and autonomous robots AI-based cardiac arrhythmia detection with Timone Hospital Scientific Leadership : Founded Aix-Marseille Research Federation in Computer Science Active associate editor for IEEE journals and conferences Coordinated 17+ recruitment committees at Aix Marseille University

• Distributed Systems
• Blockchain
• Concurrency
• +۲ مورد دیگر

Maurice Herlihy serves as the An Wang Professor of Computer Science at Brown University, where he leads research in distributed systems and blockchain technology. His academic career spans decades with continuous contributions to concurrency theory and practical distributed system design. Education: PhD in Computer Science from Massachusetts Institute of Technology (1984) MS in Computer Science from Massachusetts Institute of Technology (1980) BA from Harvard University (1975) His research focuses on fundamental problems in distributed computing, particularly transactional memory systems and blockchain scalability. Recent work centers on overcoming concurrency limitations in blockchain execution through sharding techniques, optimized transaction scheduling, and cross-chain protocols. He investigates how hardware features like trusted monotonic counters can enhance Byzantine fault tolerance in asynchronous networks. Analysis of his 2020-2025 publications reveals a dominant focus on blockchain systems, with 85% of recent work addressing scalability, concurrency, and security challenges. Key trends include sharded permissioned ledgers for enterprise applications, concurrent execution models for Ethereum, and formal verification of cross-chain protocols. His work bridges theoretical distributed computing with practical cryptocurrency system design. He has secured significant research funding including NSF SHF grants for run-time support in concurrent programming. While specific advisees aren't listed in source materials, his teaching of advanced courses like CSCI 1760 (Multiprocessor Synchronization) indicates active graduate mentorship in distributed systems.

Sophia Knightمشاهده پروفایل

دانشیار

• Epistemic Logic
• Concurrency Theory
• Multi-agent Systems
• +۷ مورد دیگر

Sophia Knight serves as Associate Professor in the Department of Computer Science at the Swenson College of Science and Engineering, University of Minnesota Duluth. Her academic credentials include: PhD (2013) from École Polytechnique (LIX) under Frank Valencia and Catuscia Palamidessi in the COMETE team, dissertation analyzing information flow between agents using game semantics, modal logic, and process calculus Master's degree (2009) from McGill University's School of Computer Science supervised by Prakash Panangaden in the Reasoning and Learning Laboratory, thesis on game semantics for process algebra modeling anonymity protocols Dr. Knight's research examines knowledge dynamics and communication in multi-agent systems through epistemic logic and concurrency theory frameworks. Her work addresses security challenges in social networks and personal data systems using: Asynchronous communication effects on knowledge modeling Epistemic strategy logic for agent uncertainty Constraint programming for distributed knowledge reasoning Topological semantics for dynamic epistemic logics (with Aybüke Özgün) Prior appointments include: Postdoctoral researcher (2016-2018) at Uppsala University's Concurrency group Postdoctoral researcher (2013-2016) at LORIA, Université de Lorraine in Hans van Ditmarsch's CELLO team