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

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

استادیار

• Software Security
• AI Security
• Systems Security
• +۵ مورد دیگر

Xinda Wang is an Assistant Professor in the Department of Computer Science at The University of Texas at Dallas. He earned his Ph.D. from George Mason University’s Center for Secure Information Systems in 2023, honored with the Outstanding Dissertation Award. His research focuses on software security, particularly applying machine/deep learning for vulnerability detection, patch management, and program analysis, with additional interests in AI security and systems security. Education: Ph.D., George Mason University, 2023 Advisor: Dr. Kun Sun Research Interests: Machine learning for vulnerability detection (e.g., NLP-based models) Security patch identification and analysis Federated learning for secure distributed systems Binary code analysis and graph-based methods Cross-language security patch studies Recent Articles Trends: Focus on advancing AI-driven cybersecurity tools (e.g., GraphSPD, FedCAP) and bridging industry-academia gaps in vulnerability management. Recent work includes empirical studies on multi-language patches, security patch detection in binary code, and adversarial attacks on code analysis models. Awards: Grace Hopper Celebration Faculty Scholarship (2023) Outstanding Dissertation Award (2023) Multiple IEEE travel grants and best paper nominations Advising & Grants: Advised PhD students like Youpeng Li and Weiliang Qi. Received NSF Aspiring PI Workshop grant (2024) and UTD’s WiCyS 2025 Platinum Sponsorship support. Led projects funded by Meta collaborations and industry partnerships. Labs/Teams: Core contributor to Sun Lab at George Mason University (developed GraphSPD and PatchDB) and currently leading security research at UTD’s Computer Science department.

Cemal Yilmazمشاهده پروفایل

دانشیار

• Software Engineering
• Combinatorial Interaction Testing
• Software Security Testing
• +۴ مورد دیگر

Cemal Yilmaz is an Associate Professor in the Computer Science and Engineering Program at Sabanci University's Faculty of Engineering and Natural Sciences in Istanbul, Turkey. His office is located in FENS G019, and he can be contacted via email at cyilmaz@sabanciuniv.edu or by phone at +90 (216) 483 9532. He directs the SUSOFT (Software Engineering Research Group), focusing on enhancing programmer productivity through practical tools and techniques. Education: Ph.D. in Computer Science, University of Maryland, 2005 M.S. in Computer Science, University of Maryland, 2002 M.S. in Computer Engineering and Information Science, Bilkent University, 1999 B.S. in Computer Engineering and Information Science, Bilkent University, 1997 Research Interests: Yilmaz's research centers on software engineering innovations, particularly combinatorial interaction testing, software security, and runtime failure prediction. He emphasizes experimental approaches with incremental prototyping and empirical analysis. Key domains include: Developing cost-aware testing frameworks for complex systems Hybrid hardware/software instrumentation for security vulnerability detection Systematic testing methodologies for multithreaded applications Real-time side-channel attack detection using hardware counters Publication Trends: His recent articles (2023-2025) demonstrate a strong focus on AI-driven testing automation, cybersecurity vulnerability analysis, and industrial case studies. Predominant themes include model-based test adaptation, privacy compliance in web systems, and deep learning for anomaly detection in telemetry data. Cross-cutting interests in combinatorial optimization and hardware security vulnerabilities are consistently evident. Advising and Grants: Yilmaz actively mentors 6 PhD and 1 MS students while having supervised 9 alumni. Major grants include: TÜBİTAK 1003: Privacy-Preserving Security Operation Center (2017) TÜBİTAK 1001: Cost- and Test Case-Aware Combinatorial Testing (2014) Marie Curie International Reintegration Grant (2009) Laboratory Leadership: As director of SUSOFT, he oversees projects in combinatorial testing, security profiling, and distributed quality assurance. The group collaborates with industry partners like Netas and prioritizes solutions for scalable software reliability.

Sungjune Parkمشاهده پروفایل

استاد

• Business Analytics
• Information Security
• Digital Economy
• +۴ مورد دیگر

Sungjune Park is a Professor in the Department of Business Information & Operations Management at the University of North Carolina at Charlotte. His research focuses on Business Analytics, Information Security, Digital Economy, and Supply Chain Management. He holds a faculty position and specializes in applying analytical and computational methods to solve complex business and operational challenges. His research interests span a broad spectrum, including but not limited to: • Developing strategies for resilient supply chains and cybersecurity frameworks, • Modeling user behavior and predictive analytics using Markov chains and clustering techniques, • Evaluating economic impacts of information security investments in SMEs, • Designing cloud computing systems resistant to cyberattacks, and • Exploring the role of IT in interorganizational knowledge processes. His recent work emphasizes practical applications of theoretical models in real-world scenarios, such as optimizing service delivery during surge traffic, analyzing patch release strategies for software vulnerabilities, and simulating RFID impacts on supply chains. Notable contributions include frameworks for portfolio-based supply chain risk management and sequence-based clustering algorithms for web usage mining. He has also explored innovative pricing strategies and the sustainability of Web 2.0 platforms. No scientific awards or grants are explicitly mentioned in the provided text. His advising and grant activities are not detailed here, though his extensive publication record suggests active involvement in academic collaboration and research funding.

Meera Sridharمشاهده پروفایل

دانشیار

• Cybersecurity
• Formal Methods
• Program Analysis and Verification
• +۴ مورد دیگر

Meera Sridhar is an Associate Professor in the Department of Software and Information Systems at the University of North Carolina Charlotte (UNC Charlotte). She leads the CCI SmartHome IoT Lab and the Center for Energy Security And Reliability (CESAR). Her research focuses on cybersecurity, formal methods, and their applications to web, mobile, and IoT systems. She holds a Ph.D. from the University of Texas at Dallas and advanced degrees from Carnegie Mellon University. Dr. Sridhar has received significant funding including a $1.5M grant from the UNC System for secure power grid research and an NSF grant for cybersecurity education. Her work spans malware detection (e.g., Jadeite), exploit generation frameworks (HybridGuard), and educational tools like DISSAV for stack-smashing visualization. Key contributions include analyzing ActionScript vulnerabilities ("Flash in the Dark"), securing hybrid mobile apps, and developing IoT security solutions. She advises multiple Ph.D. students and actively contributes to conferences like ACM SIGCSE and IEEE ISI. Her labs focus on emerging threats in smart devices and energy infrastructure.

Moshe Schwartzمشاهده پروفایل

استاد

• Coding Theory
• Storage Systems
• Digital Sequences
• +۴ مورد دیگر

Dr. Moshe Schwartz is a Professor in the Department of Electrical & Computer Engineering at McMaster University. His research focuses on error-correcting codes for improving digital communication and storage systems, particularly in storage technologies and their application in distributed systems. He specializes in coding theory, storage systems, and digital sequences, with a focus on resolving conflicts between storage density, reliability, and energy efficiency. He teaches courses such as 'Introduction to Digital Sequences' and 'Coding Theory,' emphasizing both theoretical foundations and practical applications. His work integrates hardware and software solutions to address challenges in non-volatile memory fragility and data center reliability. Research interests include: Coding theory for DNA storage and bioinformatics applications Error-correcting codes for tandem duplication and substitution errors Network coding and distributed storage systems Algebraic coding and combinatorial optimization Awards: Won the Best Paper Award at the DRCN Conference (2024) for research on covert communication via error-correcting codes. His work bridges theoretical advancements and real-world applications in storage and communication technologies. Dr. Schwartz collaborates on interdisciplinary projects involving genomic data integrity and secure network protocols. His lab focuses on advancing storage efficiency through graph-based coding and asymptotic rate optimization.

Charles Audetمشاهده پروفایل

استاد

• Optimization
• Operational Research
• Blackbox Optimization
• +۴ مورد دیگر

Charles Audet is a Full Professor in the Department of Mathematical and Industrial Engineering at Polytechnique Montréal , with affiliations to the Institute for Data Valorization (IVADO) and Research Group in Decision Analysis (GERAD) . Specializing in optimization and derivative-free methods, his work focuses on algorithm development for complex engineering problems characterized by black-box functions, nonconvexity, and nonsmooth constraints. B.Sc. (Ottawa), M.Sc./Ph.D. (Polytechnique Montréal) Joint supervisor with multiple institutions and researchers His research spans algorithmic improvements in pattern search methods (GPS/MADS), global optimization for structured nonconvex problems, and blackbox optimization applications. Current projects involve multidisciplinary design and categorical variable handling in optimization frameworks. Recent publications emphasize mixed-variable domains and robust algorithm design . The NOMAD software ecosystem, which he co-developed, remains central to derivative-free optimization implementations. Key scientific contributions include: Advances in mesh adaptive direct search algorithms Structural exploitation in bilevel/quadratic programming Parallel decomposition techniques Robustness in noisy function optimization Students under his supervision have explored applications in hydroelectric resource modeling , compressor blade redesign , and telecommunication frequency assignment .

Ilya Sergeyمشاهده پروفایل

دانشیار

• Programming Languages
• Software Verification
• Distributed Systems
• +۵ مورد دیگر

Associate Professor Ilya Sergey leads the Verified Systems Engineering (VERSE) lab at the School of Computing, National University of Singapore (NUS). He holds a PhD in Computer Science from KU Leuven and an MSc in Mathematics from Saint Petersburg State University. His research focuses on programming languages, software verification, distributed systems, and program synthesis. He is a recipient of the AITO Dahl-Nygaard Junior Prize (2019) and multiple ACM SIGPLAN Distinguished Paper Awards. His work includes developing the Scilla smart contract language and the Veil verification framework, emphasizing formal methods for ensuring software correctness. **Education**: PhD in Computer Science, KU Leuven, Belgium (2012) MSc in Mathematics and Computer Science, Saint Petersburg State University, Russia (2008) **Research Interests**: Design and Implementation of Programming Languages Formal Verification using Separation Logic Distributed Systems and Concurrency Program Synthesis and Automated Proof Repair **Recent Articles Trends**: His recent work emphasizes automated verification tools (e.g., Veil), exploit generation via synthesis, and compositional verification of Byzantine protocols. These contributions bridge foundational theory with practical applications in distributed systems and smart contracts. **Awards**: AITO Dahl-Nygaard Junior Prize (2019) ACM SIGPLAN Distinguished Paper Awards (PLDI'23, PLDI'21, POPL'19) Google, Facebook, and Amazon Research Awards **Advising & Grants**: He actively mentors PhD students in formal methods and verification. His grants include support from Google and industry partnerships. He organizes the ICFP Programming Contest and co-chairs ICFP'25. **Labs & Teams**: Leads the VERSE lab, part of the PLSE@NUS group, focusing on verified software systems and program synthesis.

• Biochemistry and Cell Biology
• Evolutionary Biology
• Microbiology
• +۴ مورد دیگر

Dr. John Pinney is a Senior Teaching Fellow and Early Career Researcher at Imperial College London's Central Faculty. As the Data Science Skills Leader within the Graduate School, he designs and delivers training programs in programming, statistics, and machine learning for graduate students. His research focuses on computational systems biology, integrating macromolecular sequences, protein structures, and biological networks to study biological systems' evolution and function. His research interests span biochemistry, evolutionary biology, microbiology, and computational tools development. He is affiliated with the Industrial Biotechnology Hub (BIO) and contributes to interdisciplinary projects. His publications emphasize viral evolution (e.g., herpesviruses), host-pathogen interactions, and metabolic network analysis. He has developed tools like PathwayBooster and metaSHARK for metabolic pathway curation and network reconstruction. No scientific awards are explicitly mentioned in the text. He advises no listed students but collaborates widely on grants and training initiatives. His work supports the Graduate School's mission to enhance data science skills for modern research. He is part of the Industrial Biotechnology Hub, contributing to applied systems biology and biotechnology research.

Markus Kuhnمشاهده پروفایل

دانشیار

• Computer Security
• Hardware Security
• Signal Processing
• +۸ مورد دیگر

Markus Kuhn is an Associate Professor at the University of Cambridge's Department of Computer Science and Technology (formerly Computer Laboratory) and a Fellow of Wolfson College. His work bridges hardware security, signal processing, and cryptographic protocols. PhD, University of Cambridge (2002) MSc, Purdue University (1997) - Fulbright Scholarship Diplom-Informatiker, University of Erlangen (1996) - Studienstiftung des deutschen Volkes Research Interests focus on computer security and hardware vulnerabilities , particularly: Exploiting compromising emanations from displays and digital interfaces Securing RFID and positioning systems against distance-bounding attacks Hardware tamper resistance and smartcard security Scientific Awards include the Marie Curie Scholarship and Fulbright Scholarship. His publications span IEEE Transactions , IACR TCHES , and LNCS proceedings , with recent work on post-quantum cryptography and HDMI signal analysis. He teaches Cryptography and Digital Signal Processing at the undergraduate and Masters levels. Former PhD students include Eric Peng , Shih-Chun You , and Dimitrije Erdeljan . He co-organizes the department's Security Seminar Series and holds patents in EMC countermeasures and network protection technologies.

Naipeng Dongمشاهده پروفایل

مدرس

• Formal Verification
• Cybersecurity
• Privacy
• +۳ مورد دیگر

Dr. Naipeng Dong is a Lecturer at the School of Electrical Engineering and Computer Science, The University of Queensland. Her expertise lies in automatic formal verification of security and privacy in cryptographic protocols, Android applications, and blockchain systems. She holds a PhD from the Université du Luxembourg. Education: Doctor of Philosophy (PhD), Université du Luxembourg Research Interests: Dr. Dong focuses on developing efficient formal verification techniques for analyzing cryptographic protocols, ensuring fault-tolerance in systems with dishonest participants, and exploring applications in e-auction, e-health, Single-Sign-On (SSO) authentication, and blockchain consensus mechanisms. Her work also addresses blockchain-based systems, NFT applications in music copyright, and cybersecurity in industrial control systems. Advising and Grants: While specific grant details are not detailed, her research involves collaborative projects with industry and academic partners, emphasizing practical applications of formal verification and cybersecurity. She actively contributes to academic supervision. Labs and Teams: She is part of the Cyber Security and Software Engineering (CSS) discipline at UQ, collaborating with researchers like Associate Professor Guangdong Bai on trustworthy AI, privacy compliance, and formal methods.

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

دانشیار

• Computer Security
• Automatic Compiler Transformations
• Secure Virtual Architecture
• +۳ مورد دیگر

John Criswell is an Associate Professor of Computer Science at the Hajim School of Engineering & Applied Sciences, University of Rochester. He holds a PhD from the University of Illinois at Urbana-Champaign (UIUC), which he completed prior to joining the faculty in 2014. His primary research focuses on computer security, with a particular emphasis on compiler-based security mechanisms, memory safety, and control-flow integrity. He also explores secure virtual architectures and embedded systems security. Dr. Criswell’s work integrates compiler transformations, hardware-software co-design, and runtime enforcement to secure commodity software systems. His contributions include innovations in RISC-V architecture security, control-flow protection for embedded systems, and compiler extensions for safer C programming (e.g., Checked C). He has also developed frameworks like InversOS and IskiOS to enhance kernel and hypervisor security. His research trends reflect a strong focus on mitigating modern threats such as code-reuse attacks, memory corruption vulnerabilities, and side-channel exploits. He frequently collaborates on open-source projects, including FreeBSD kernel refactoring and LLVM-based security tools. Dr. Criswell’s expertise spans academia and industry, with a commitment to advancing both theoretical and applied security solutions. His work has been published in top-tier conferences and journals, and he regularly contributes to educational resources for security practitioners.

Sergey Bratusمشاهده پروفایل

دانشیار

• Cybersecurity
• Exploitation techniques
• Rootkit/Bootkit analysis
• +۷ مورد دیگر

Sergey Bratus is an Associate Professor of Computer Science and Dartmouth College Distinguished Professor in Cyber Security, Technology, and Society. He holds a Ph.D. in Mathematics from Northeastern University. His primary affiliation is the Department of Computer Science at Dartmouth College. Bratus' research focuses on cybersecurity fundamentals, including Unix/Linux kernel security, software verification, malware analysis, and reverse engineering at kernel/firmware levels. He emphasizes connecting hacking practices to core computer science principles, advocating for 'weird machines' research and language-theoretic security (LangSec). He taught courses like Basics of Cyber Exploitation, Programming Languages, and Network Security Readings. His work includes DARPA-funded research programs in cybersecurity resilience and critical software sustainment. Notable projects include fragroute/fragrouter tools for network traffic manipulation and contributions to passive covert channel analysis. Labs/Teams: Active in Dartmouth's cybersecurity research groups, affiliated with LangSec initiatives and the 'Weird Machines' research collective. Maintains a personal website with extensive technical resources and course materials.

Rizwan Asgharمشاهده پروفایل

دانشیار

• Cyber Security
• Privacy-Preserving Technologies
• Blockchain Applications
• +۳ مورد دیگر

Rizwan Asghar is a Reader at the Surrey Centre for Cyber Security, part of the School of Computer Science and Electronic Engineering at the University of Surrey. He also holds an Honorary Academic role at the University of Auckland's School of Computer Science. His roles include Academic Representative on Senate and MSc Admissions Lead. He joined Surrey in 2022 after serving as a Senior Lecturer at the University of Auckland (2015–2022) and completing postdoctoral research at institutions like CISPA (Germany) and CREATE-NET (Italy). His research focuses on Cyber Security, Privacy-Preserving Technologies, and Blockchain Applications, with significant contributions to network security, adversarial machine learning, and data protection. He received the Clinton Bedogni Prize 2025 for his impactful work in Cyber Security. His teaching responsibilities include modules like Information Security Management (COMM037) and supervision of MSc dissertations and professional projects. Key research areas include intrusion detection systems, zero-knowledge proofs in federated learning, and cyber resilience quantification. His work often bridges theoretical advancements with practical applications, such as secure authentication systems (e.g., TIM) and blockchain-based health data frameworks (e.g., MedBloc). He actively contributes to cybersecurity education, advocating for interdisciplinary approaches in curriculum design. Rizwan's publications span journals like IEEE Communications Surveys and ACM Computing Surveys, addressing challenges in privacy quantification, adversarial defense, and secure communication protocols. His work frequently emphasizes real-world deployment and regulatory compliance, particularly in healthcare and financial sectors.

Jonas Detterfeltمشاهده پروفایل

دانشیار

• Product Development
• Automotive Industry
• Materials Science
• +۴ مورد دیگر

Jonas Detterfelt is an Associate Professor and Deputy Head of the Department of Management and Engineering at Linköping University. He is affiliated with the Product Realisation (PROD) division, focusing on interdisciplinary research in product development and engineering education. Education & Affiliations: While formal education details are not explicitly listed, his academic position implies advanced doctoral training in engineering or related fields. He is part of the Department of Management and Engineering (IEI) within Linköping University. Research Interests: His work spans product development methodologies , automotive industry innovations , creativity in engineering , and international collaboration in capstone projects . Recent projects include frameworks for introducing new materials in automotive manufacturing and studies on balancing knowledge exploitation in dynamic markets. Publications: His research trends emphasize practical frameworks for industry challenges (e.g., automotive material adoption) and educational collaboration models (e.g., global capstone projects). His 2013 work on counterbalancing knowledge search in product innovation remains influential in innovation management. Grants & Advising: No specific grants or advisee names are listed in provided texts, though his role as Deputy Head suggests involvement in departmental research funding. The PROD division recently invested in 3D printing infrastructure for additive manufacturing research and education. Labs & Teams: Leads the Product Realisation division, which focuses on integrating advanced manufacturing (e.g., 3D printing) into education and research. Collaborates internationally on projects involving global software engineering and design.

Manuel Egeleمشاهده پروفایل

دانشیار

• Software Security
• Web Security
• Mobile Systems Security & Privacy
• +۳ مورد دیگر

Manuel Egele is an Associate Professor in the Department of Electrical and Computer Engineering at Boston University, part of the College of Arts & Sciences. His research focuses on software security, web security, and privacy in mobile systems and online social networks. He holds a PhD from Vienna University of Technology (2011). Egele has contributed extensively to cybersecurity through publications on fuzzing techniques, anomaly detection in HPC systems, and hardware security primitives. His work spans embedded systems, firmware re-hosting, and vulnerability mitigation in web applications. Notable projects include Refine for HPC anomaly detection and PROTEUS for detecting Android emulators. His research emphasizes practical solutions for real-world security challenges, leveraging machine learning and hardware-software co-design. Education: PhD in Computer Science from Vienna University of Technology (2011). Research Interests: Cybersecurity, fuzz testing, HPC system monitoring, embedded systems security, web application vulnerabilities, and hardware-assisted security primitives. His work bridges theoretical advancements with practical implementations, addressing issues like memory safety, cross-site scripting (XSS) mitigation, and firmware re-hosting challenges. Key Contributions: Over 50 peer-reviewed articles since 2012, including foundational work on fuzzing frameworks (e.g., Processorfuzz ) and anomaly detection systems (e.g., E2EWatch ). He has pioneered methods to diagnose performance variations in supercomputers using machine learning and explored defense mechanisms against hardware vulnerabilities like IOMMU exploits. Labs/Teams: Leads the Cybersecurity and Systems Research Group at Boston University, focusing on interdisciplinary approaches to secure software and hardware ecosystems.