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

Henri van Soestمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• AI Governance
• +۱۲ مورد دیگر

Henri van Soest is a Professor of Policy Analysis at the RAND School of Public Policy and a Senior Analyst at RAND Europe. He is based at RAND, a global policy research organization, where he leads studies on energy security, artificial intelligence governance, critical infrastructure protection, and European Union policy. His work supports key institutions including the European Union, UK government, and Dutch government. His research focuses on the intersection of technology and policy, particularly in energy systems and AI. Key areas include: AI governance and trustworthy AI tools Energy security and digitalisation of the power grid Critical undersea infrastructure protection Cybersecurity in energy systems Space technology regulation Societal resilience and national security The trend in his recent publications shows a growing emphasis on the dual-use nature of AI in critical infrastructure, balancing innovation with security and resilience. His work combines technical analysis with policy recommendations, often using modeling and expert elicitation. Much of his research addresses transatlantic and European policy challenges, especially in energy and security domains. Scientific contributions and policy impact are evident through frequent publications and expert submissions to governmental bodies. Notable outputs include evidence submissions to the UK Parliament and reports for the U.S. Department of Energy. While no formal awards are listed, his influence is reflected in high-level policy engagement. He has advised on grants and policy studies involving global teams, particularly in energy transition, AI infrastructure, and resilience planning. His prior experience includes energy policy research at the University of Oslo, cleantech analysis, and corporate governance in banking. He holds a Ph.D. from the University of Cambridge and a joint LL.M. from KU Leuven and the University of Zurich. Henri van Soest leads research within RAND Europe’s multidisciplinary teams focusing on science, technology, and security policy. His work often involves collaboration across international experts and institutions, particularly on EU and NATO-related security issues. He contributes to projects involving horizon scanning, Delphi studies, and quantitative modeling in policy contexts.

• Cybersecurity
• Maritime Cyber Risk Assessment
• Dynamic Positioning Systems
• +۱۲ مورد دیگر

Pelin Bolat is an Associate Professor in the Department of Fundamental Sciences at Istanbul Technical University (ITU), College of Maritime Studies. She is actively engaged in maritime cybersecurity, risk assessment, and maritime safety research. Her work is supported by multiple BAP and EU-funded projects, with ongoing research extending into 2025. Her research interests include cybersecurity in maritime navigation systems, dynamic positioning, port state control, and GHG emissions in the maritime sector. She applies advanced methodologies such as fuzzy FUCOM, CORAS framework, and association rule mining to analyze cyber and operational risks. Her recent publications (2023–2025) reflect a strong trend in maritime cybersecurity, focusing on ECDIS, RADAR, ransomware, and cyber hygiene. These works span high-impact journals in maritime engineering and technology, demonstrating interdisciplinary engagement with computer science, safety engineering, and policy analysis. She serves as a principal investigator on several key projects, including cyber risk assessment of bridge navigation equipment and system dynamic modeling of maritime GHG emission measures. She also mentors 15 theses in progress, indicating her active role in student supervision. Her collaborative network includes researchers like Gökhan Kayişoğlu and international partners. While no formal awards are listed, her leadership in EU and BAP projects underscores her academic prominence.

Stanislaw Jareckiمشاهده پروفایل

دانشیار

• Cryptography
• Cybersecurity
• Distributed Systems
• +۳ مورد دیگر

Stanislaw Jarecki is an Associate Professor of Computer Science at the Donald Bren School of Information and Computer Sciences (ICS) at the University of California, Irvine (UCI). He joined UCI in 2003 after earning his Ph.D. in Computer Science from MIT in 2001 under Prof. Shafi Goldwasser. His research focuses on applied and distributed cryptography, with significant contributions to threshold cryptography, secure computation, and password-authenticated key exchange (PAKE) protocols such as OPAQUE, which secures 2 billion WhatsApp users. He also worked at Intertrust’s StarLab and Stanford’s applied cryptography group under Prof. Dan Boneh. Education: Ph.D., Massachusetts Institute of Technology, 2001. Research Interests: Distributed cryptography, secure multi-party computation, privacy-preserving protocols, threshold security, blockchain applications, and efficient cryptographic primitives. His work emphasizes practical solutions for real-world systems, including protocols resilient to server compromises and scalable encryption methods. Awards: 2023 IACR Fellow for contributions to distributed cryptography and efficient secure computation. Advising and Grants: Jarecki’s research has been supported by grants including NSF SaTC programs. He advises students on cryptographic protocol design and security mechanisms. His work on OPAQUE and CHIC protocols exemplifies his focus on bridging theoretical cryptography with practical implementation. Labs/Teams: Leads a research group focused on applied cryptography and security within ICS at UCI, collaborating on projects like secure computation, privacy-preserving data processing, and cryptographic protocol development.

Ping Yangمشاهده پروفایل

استاد

• Cybersecurity
• Information Security
• AI-Based Security
• +۷ مورد دیگر

Ping Yang is a Professor and Associate Director for Research and Graduate Programs in the School of Computing at Binghamton University (SUNY). She holds a Ph.D. in Computer Science from Stony Brook University, an ME from the Chinese Academy of Sciences, and a BS from Zhongshan University. Her research focuses on cybersecurity, AI-based security, virtual machine security, privacy policy analysis, and formal methods. She directs the Center for Information Assurance and Cybersecurity and coordinates cybersecurity programs at both undergraduate and graduate levels. Education: BS in Computer Science, Zhongshan University ME in Computer Science, Chinese Academy of Sciences MS and PhD in Computer Science, State University of New York at Stony Brook Research Interests: Dr. Yang's work spans information and systems security, security in virtualized computing, access control mechanisms, privacy policies, and formal methods for security verification. Her projects include blockchain-based provenance storage, real-time anomaly detection in workflows, and privacy-preserving virtual machine migration. She has led NSF-funded initiatives on security in cloud environments and scientific workflows. Awards: Not explicitly listed in the provided materials. Advising & Grants: Advised over 30 PhD/Master’s students and contributed to grants including NSF Scholarship for Service and GenCyber programs. Her team develops tools like RBAC-PAT for access control analysis. Labs/Teams: Leads the Center for Information Assurance and Cybersecurity and collaborates on projects involving secure data workflows and blockchain applications in scientific research.

Mohammed Aledhariمشاهده پروفایل

استادیار

• Artificial Intelligence
• Machine Learning
• Data Science
• +۳ مورد دیگر

Mohammed Aledhari is an Assistant Professor at the University of North Texas, specializing in cybersecurity, machine learning, and data science. His research focuses on applications in computational medicine, bioinformatics, and autonomous systems. He holds a Ph.D. from Western Michigan University and degrees from the University of Basrah and the University of Anbar. His research interests include social cybersecurity techniques, federated learning in IoT, and AI-driven solutions for healthcare and transportation. Recent work explores blockchain-enabled digital twins, DDoS attack detection, and equitable ASD diagnostics using machine learning. His publications span cybersecurity frameworks, autonomous vehicle communication protocols, and biomedical IoT innovations. Notable contributions include optimizing intrusion detection in IoMT networks and developing interpretable machine learning models for healthcare. While no formal awards or grants are listed, his work emphasizes interdisciplinary applications of AI in healthcare, transportation, and energy markets. His email is Mohammed.Aledhari@unt.edu .

Cyrille Arthoمشاهده پروفایل

دانشیار

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

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

John Haleمشاهده پروفایل

استاد

• Cyber security
• Bioinformatics
• High performance computing
• +۶ مورد دیگر

John Hale, Ph.D., is a Professor and Chair of Computer Science at The University of Tulsa's Tandy School of Computer Science, where he holds the Tandy Endowed Chair in Bioinformatics and Computational Biology. He is a founding member of the TU Institute of Bioinformatics and Computational Biology (IBCB) and a faculty research scholar in the Institute for Information Security (iSec). Education: Ph.D., Computer Science, The University of Tulsa (1997) M.S., Computer Science, The University of Tulsa (1992) B.S., Computer Science, The University of Tulsa (1990) Dr. Hale's research spans cybersecurity , bioinformatics , cyber-physical systems , and applied formal methods . His work focuses on neuroinformatics, cyber trust, attack modeling, secure software development, and information privacy. Recent publications highlight trends in large-scale graph analysis for cybersecurity, attack graph generation on high-performance computing clusters, and security frameworks for nuclear reactor control systems. His research also explores hybrid attack graph modeling, reflective deception strategies, and compliance methods for cyber-physical infrastructures. Scientific Awards: 2000 National Science Foundation CAREER Award Dr. Hale has advised numerous research projects and received funding from the U.S. Air Force, Army, NSF, NIH, DARPA, NSA, and NIJ. He has testified before Congress on cybersecurity and holds a patent for anti-piracy technology. His lab work includes developing cyber-physical testbeds and science DMZ security solutions.

• Security and Privacy
• Internet Measurement
• Data Mining
• +۴ مورد دیگر

Gang Wang is an Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), affiliated with the Siebel School of Computing and Data Science. He also holds affiliate roles in the Department of Electrical and Computer Engineering, the Informatics Program (School of Information Sciences), and the Coordinated Science Laboratory (CSL). He joined UIUC in 2019, previously serving as an Assistant Professor at Virginia Tech. Education: Ph.D. in Computer Science from UC Santa Barbara (2016), advised by Ben Y. Zhao and Heather Zheng; B.E. from Tsinghua University (2010). Awards include the NSF CAREER Award (2018), Amazon Research Award (2021), and multiple best paper awards in top conferences like USENIX Security and ACM CCS. Research focuses on Security and Privacy, Internet Measurement, and Data Mining. Key areas include email spoofing vulnerabilities, adversarial machine learning, and AI-driven security tools. Recent projects involve explainable AI for phishing detection, benchmark contamination in LLMs, and mitigating deepfake disinformation. Publications span top venues like USENIX Security, IEEE S&P, ACM CCS, and IMC. He collaborates with industry partners and researchers in HCI and AI. Current roles include Associate Director of the Capital One Illinois Center for Generative AI Safety (ASKS) and leadership in NSF-funded initiatives like the ACTION AI Institute.

David Basinمشاهده پروفایل

استاد

• Information Security
• Formal Methods
• Cryptography
• +۳ مورد دیگر

David Basin is a Full Professor at the Department of Computer Science, ETH Zurich, and heads the Information Security Group. He has held academic positions since 2003, including roles at the University of Freiburg (1997–2002) and the Max-Planck-Institut für Informatik (1992–1997). His research focuses on Information Security, including methods and tools for secure systems, formal verification, and cryptographic protocols. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and Springer's Information Security and Cryptography book series. Basin founded the Zurich Information Security Center (ZISC) in 2003 and led it until 2011. Education: B.Sc. in Mathematics (Reed College, 1984), Ph.D. (Cornell University, 1989), and Habilitation (University of Saarbrücken, 1996). Research interests span formal methods for security protocol verification, privacy-preserving systems, and cryptographic implementations. He has contributed to foundational work on security protocols, including the Tamarin verification framework. His work addresses real-world systems like payment protocols (EMV), DNS security, and database isolation guarantees. Awards: ACM Fellow (2018) for contributions to Information Security and Formal Methods, IEEE Fellow. He has organized numerous conferences, including IEEE S&P, Euro S&P, and ACM CCS. Labs/Teams: Leads the Information Security Group at ETH Zurich and co-founded Anapaya Systems, a startup focused on network security solutions. His team develops tools like VeriMon (formally verified monitoring) and Tamarin for protocol analysis.

• Software Engineering
• Graph Transformation Systems
• Model-Based Development
• +۵ مورد دیگر

Reiko Heckel is a Professor of Software Engineering at the University of Leicester, serving as Director of Postgraduate Teaching for Computing degrees and Data Analytics Lead at the Leicester Innovation Hub. She previously held academic roles at the Technical Universities of Dresden and Berlin before joining Leicester in 2004. Her research focuses on graph transformation systems, model-based development, stochastic modeling, and formal methods in software engineering. She earned her PhD (Dr.-Ing.) in Computer Science from TU Berlin in 1998. Her research interests span software engineering pedagogy, formal specification techniques, and applications of graph grammars in system modeling. Recent work explores stochastic graph transformations for social networks, transparency engineering in AI systems, and blockchain-based smart contract frameworks. Her contributions bridge theoretical foundations with practical applications in cybersecurity, data integration, and human-centric systems design. Key contributions include advancements in automated test case generation via graph transformations, visual contracts for software reverse engineering, and formal methods for complex system analysis. Her work frequently intersects with industry through collaborations via the Leicester Innovation Hub, emphasizing data analytics and technology transfer. Education: MSc Computer Science, Technical University of Dresden PhD (Dr.-Ing.), Computer Science, TU Berlin (1998) Leadership Roles: Head of Department (2014-2018) Director of Postgraduate Teaching (Ongoing) Research Themes: Model-Based Development Stochastic Systems Analysis Graph Neural Networks Trustworthy AI Her publications reflect a focus on formal methods, with recent trends in applying graph transformation techniques to social network modeling, blockchain smart contracts, and educational pedagogy.

Duminda Wijesekeraمشاهده پروفایل

استاد

• Cybersecurity
• Cyber-Physical Systems
• Digital Forensics
• +۵ مورد دیگر

Duminda Wijesekera serves as Professor in the Department of Cyber Security Engineering and Department of Computer Science at George Mason University, where he was inaugural chairman of the Cyber Security Engineering Department until December 2022. He concurrently held the position of visiting research scientist at the National Institute of Standards and Technology (NIST) from 2007-2022 and maintains status as a fellow at the Potomac Institute of Policy Studies. He leads the Mason Innovation Laboratory at Mason Square, driving translational research in cyber-physical security. His educational foundation includes: PhD in Computer Science, University of Minnesota (1997) PhD in Mathematical Logic, Cornell University (1990) BSc in Mathematics, University of Colombo Professor Wijesekera's research centers on cyber-physical system security , with pioneering work in Intelligent Transportation Systems spanning trains, aircraft, and connected vehicles. His digital forensics innovations establish frameworks for evidence-based scenario reconstruction and error management, while his formal methods research provides mathematical guarantees for safety-critical systems. Current projects address Next G-based edge services, digital twin vulnerability detection, and healthcare security architectures, consistently bridging theoretical rigor with real-world infrastructure protection. Analysis of his 2022-2025 publications reveals intense focus on autonomous vehicle security (38% of recent output), including traffic signal control optimization, ramming attack countermeasures, and CARLA-based scenario validation. Digital forensics using AI (20%) and secure manufacturing/edge computing (27%) constitute other major thrusts, demonstrating how formal verification and machine learning converge to solve complex cyber-physical security challenges across transportation, energy, and healthcare domains. His scientific recognition includes: CCI Impact Award (2022) for groundbreaking cyber-physical security contributions Fellowship at the Potomac Institute of Policy Studies for cybersecurity policy leadership Professor Wijesekera has secured substantial research funding through: NIST grants for health record security frameworks (2014-2015) US Department of Transportation projects on wireless frequency mapping for high-speed rail (2013-2014) Cyber Security Research Alliance funding for trust architectures in cyber-physical systems (2014) Commonwealth Cyber Initiative awards for autonomous vehicle security and energy-efficient manufacturing His industry partnerships with Honeywell and NIST ensure practical impact of theoretical research. The Mason Innovation Laboratory under his direction serves as an interdisciplinary hub for cyber-physical security, integrating researchers from computer science, electrical engineering, and policy studies to develop deployable solutions for transportation networks, power grids, and critical infrastructure protection.

David Sarpongمشاهده پروفایل

استاد

• Strategy
• Innovation Management
• Technology Management
• +۵ مورد دیگر

Professor David Sarpong is a leading academic in Strategy and Organisation at Aston Business School, part of Aston University's College of Business and Social Sciences. He currently serves as Head of the Marketing and Entrepreneurship Department and Director of Research for the Marketing and Strategy Subject Group. His research focuses on strategy-as-practice, relationalism, innovation management, and temporality in organizational processes. He holds adjunct roles at KNUST Business School and Bristol Business School, and is actively involved in professional organizations like EURAM and CABS. His work employs qualitative methods including ethnographic interviews and microstoria approaches. Professional Activities: He serves as Editor-in-Chief of the Journal of Strategy and Leadership, and on editorial boards for Technology Analysis & Strategic Management and European Management Journal. His external roles include UK Country Representative for EURAM and Board Membership at The Milestones Trust. He has held prior academic leadership positions at Brunel University London and visiting roles at HSE Moscow and University of KwaZulu-Natal. Research Interests: Prioritizes cross-level management problems using Heideggerian-Wittgensteinian frameworks. Key themes include second-order technology management, business tournament rituals, strategic foresight, and discursive practices in European cosmopolitan marketplaces. Methodologically innovative in combining narratives, digital datasets, and performative routines analysis. Collaborations: Active in global research networks with scholars across Africa, Europe, and Asia. Recent work addresses mining-industry partnerships, gender dynamics in extractive economies, and ethical dimensions of corporate governance. His research outputs number over 110 publications in top journals like Technovation and Journal of Business Research. Awards/Affiliations: Recognized through editorial leadership roles and visiting professorships. His research has policy implications for sustainable development, innovation ecosystems, and organizational resilience in global contexts.

Limin Jiaمشاهده پروفایل

استاد پژوهشی

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

Limin Jia is a Research Professor in the Electrical and Computer Engineering (ECE) department at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department (CSD). Affiliated with CyLab, their work focuses on applying formal techniques to enhance software security through programming language design, formal verification, and information flow analysis. Research interests span Security Programming Languages Formal Verification Information Flow Control Intermittent Computing Rust Programming . Recent publications integrate formal methods with practical security challenges, including Node.js vulnerability detection Rust API testing Secure multi-execution Intermittent computing type systems IFTTT security analysis Browser security frameworks . Limin serves on program committees for conferences like POPL, PLDI, VMCAI, and is actively involved in teaching courses such as Browser Security (18-636) Introduction to Information Security (18-631) .

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

استادیار

• Organization Theory
• Bureaucracy and Organizational Forms
• Collaboration, Coordination, and Cooperation in Organizations
• +۷ مورد دیگر

Pedro Monteiro is an Assistant Professor (tenure track) in the Department of Organization at Copenhagen Business School. His research focuses on organizational expertise development, bureaucratic systems, and qualitative methods, with fieldwork in engineering firms and the public sector. Academy of Management Annals Best Article Award Louis Pondy Award recipient Max Boisot Award winner Poets and Quants Top 50 Undergraduate Business Professors 2024 Monteiro's work spans organizational theory, cybersecurity coordination, and migrant expertise challenges. He serves as Communications Editor for Administrative Science Quarterly and contributes to qualitative research communities through co-founding the Talking About Organizations Podcast and Ethnography Atelier. His research projects include a Gothenburg University collaboration funded by Otto Mønsteds Fond (2023). Current teaching includes Organizational Behavior at BSc level and Strategy, Organization & Leadership at MSc level.

Mahesh Tripunitaraمشاهده پروفایل

استاد

• Information Security
• Authorization and Access Control
• Cryptographic Key Transport
• +۷ مورد دیگر

Dr. Mahesh Tripunitara is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, serving as Associate Chair for Undergraduate Studies. He holds a PhD (2005) and Master's (1995) in Computer Science from Purdue University, along with a BSc (1993) in Computer Science from Dalhousie University. His research focuses on information security, authorization mechanisms, cryptographic key management, and hardware security, with industry experience at Motorola's R&D labs and Silicon Valley. His work spans theoretical advancements like access control policy analysis and practical applications such as secure payments systems and IoT device reliability. Notable awards include the Best Student Paper at Usenix Security 2013 and Best Paper at ACM SACMAT 2013. He actively serves on program committees for major security conferences including CCS, CODASPY, and SACMAT. Recent publications highlight innovations in cellular security (SUCI-Catchers defense), role-mining optimization, and blockchain smart contract auditing. Teaching includes advanced algorithm design courses (ECE 406/606) and digital computation (BME 121). His research emphasizes balancing security rigor with usability in authorization systems and hardware protection mechanisms.