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

Nguyen Tungمشاهده پروفایل

دانشیار

• Software Engineering
• Mobile Application Development
• Code Analysis and Optimization
• +۳ مورد دیگر

Nguyen Tung is an Instructional Associate Professor in the Department of Computer Science & Engineering at Texas A&M University. His research focuses on software engineering, mobile application development, and computational tools for improving code quality and developer productivity. He has developed frameworks like ALPACA for linguistic analysis of software corpora and ExAssist for exception handling recommendations. His work spans topics including API misuse correction, automated response systems for app reviews, and deep learning approaches to UI design patterns. Key research areas include: Code analysis and optimization Statistical methods for software migration Machine learning in IDEs Human-computer interaction in educational technologies He has published extensively on topics such as defect prediction, code recommendation systems, and mining visual logs of software behavior. His contributions include tools like DRC for detecting dangling references in web applications and GraPacc for graph-based code completion.

Miguel Pupo Correiaمشاهده پروفایل

استاد

• Cybersecurity
• Distributed Systems
• Blockchain Technology
• +۵ مورد دیگر

Miguel Pupo Correia is a Full Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico, University of Lisbon. He serves as President of the Executive Committee of INESC-ID and is a researcher in the Distributed, Parallel and Secure Systems (DPSS) group. He represents Portugal in the European Blockchain Partnership (EBP) and holds roles in Associação .PT. He holds a PhD in Computer Science from the University of Lisbon Faculty of Sciences. His research focuses on cybersecurity, dependability in distributed systems, and their applications in blockchain, cloud, and mobile environments. Key projects include TRUSTyFOOD, BIG, and MAFTIA, among others. He is an Associate Editor for IEEE Transactions on Computers and a Senior Member of IEEE. His work spans blockchain interoperability, secure cloud storage, intrusion detection, and fault-tolerant algorithms. Notable contributions include BlockSim (a blockchain simulator) and SRX (SGX data recovery). He has over 200 publications and leads initiatives like BLOCKCHAIN.PT to advance Portugal’s blockchain adoption.

• Static Program Analysis
• Abstract Interpretation
• Programming Languages
• +۹ مورد دیگر

Caterina Urban is a Research Scientist at INRIA, affiliated with École Normale Supérieure in Paris, where she is a member of the ANTIQUE research team. She holds a PhD in Computer Science from École Normale Supérieure and completed her undergraduate and graduate studies at Università degli Studi di Udine with summa cum laude honors. She previously conducted postdoctoral research at ETH Zurich. PhD in Computer Science, École Normale Supérieure, Paris, France (2015) MSc in Computer Science, Università degli Studi di Udine, Italy (2011) BSc in Computer Science, Università degli Studi di Udine, Italy (2009) Her research spans formal methods, abstract interpretation, and static analysis, with a strong emphasis on ensuring reliability, fairness, and robustness in machine learning and data science software. She leads projects such as Lyra (on data science software), Libra (fairness certification), ForML, and SAIF. Her work bridges theoretical foundations with practical tool development, targeting real-world software challenges in AI safety. Her recent publications reveal a consistent focus on applying abstract interpretation to machine learning, data leakage, fairness, and program termination. Key themes include certified robustness, input usage analysis, and perfectly parallel verification, demonstrating both theoretical depth and practical impact. She has developed open-source tools like Libra and FuncTion. Best Poster Award at SOFSEM 2011 Artifact Evaluation Badges at OOPSLA 2020 Mentored award-winning undergraduate research (Global Undergraduate Awards 2022) She advises multiple PhD and postdoctoral researchers and has supervised numerous master’s and bachelor’s students. She is actively involved in the academic community, serving on program committees for PLDI, OOPSLA, and CAV, and is the general chair of iFM 2025. She teaches advanced courses at MPRI and international summer schools on abstract interpretation and formal methods. She leads research on data science software analysis, fairness in ML, and static verification of neural networks, often in collaboration with institutions across Europe. Her lab, part of the ANTIQUE team, fosters interdisciplinary work combining formal methods with AI and software engineering.

Harry Xuمشاهده پروفایل

استاد

• Computer Systems
• Programming Languages
• Compilers
• +۷ مورد دیگر

Harry Xu is a Professor in the Computer Science Department at the Samueli School of Engineering , University of California, Los Angeles . His research spans computer systems, programming languages, compilers, and AI infrastructure. He co-founded BreezeML for GenAI risk management and has held visiting roles at Microsoft Research and IBM Watson Research Center. Current research focuses on user-defined clouds and AI application infrastructures Founded BreezeML and contributed to Niijima (SOSP'19) and Yak GC (OSDI'16) Developed VQPy, integrated into Cisco's DeepVision Scientific Awards 2018 Dahl-Nygaard Junior Prize ACM Distinguished Scientist Advising and Collaborations Current students: Shan Yu, Zhenting Zhu, Shu Anzai, Yicheng Liu Alumni: Shi Liu (Databricks), Jiyuan Wang (AWS), Haoran Ma (ByteDance AI Infra), Yifan Qiao (UC Berkeley), Christian Navasca (BreezeML), Pengzhan Zhao (BreezeML co-founder)

Alfredo Perezمشاهده پروفایل

دانشیار

• Computer Science
• Artificial Intelligence
• Cybersecurity
• +۴ مورد دیگر

Alfredo Perez, Ph.D., is an Associate Professor and Graduate Program Chair for MS CS Education in the College of Information Science & Technology at the University of Nebraska at Omaha. He holds a doctorate and M.Sc. in Computer Science from the University of South Florida (2011, 2009) and a B.Sc. in Systems Engineering from Universidad del Norte, Barranquilla (2006). Education: Ph.D., Computer Science & Engineering, University of South Florida (2011) M.Sc., Computer Science & Engineering, University of South Florida (2009) B.Sc., Systems Engineering, Universidad del Norte, Barranquilla (2006) Dr. Perez's research focuses on privacy, mobile/ubiquitous computing, and computer science education. His recent work explores blockchain security, IoT privacy frameworks, and machine learning for malware detection. He also investigates formal modeling techniques for secure systems and wearables' facial privacy solutions. His publications reveal trends in privacy-preserving IoT architectures , blockchain applications , machine learning security , and formal verification methods . Research spans from technical implementations to societal impacts of privacy technologies. Scientific Recognition: IEEE Senior Member Member, U.S. National Academy of Inventors Dr. Perez has served on technical committees for journals/conferences like Elsevier Computer Communications and reviewed grants for the National Science Foundation. His teaching expertise covers computer programming, machine learning, and CS teacher education.

Christos Papachristouمشاهده پروفایل

استاد

• Embedded Systems Design
• Parallel Computer Architectures
• Quantum Computing
• +۴ مورد دیگر

Christos Papachristou, PhD is a Professor in the Department of Electrical, Computer, and Systems Engineering at the Case School of Engineering , Case Western Reserve University. His academic career spans over four decades since earning his PhD in Electrical Engineering & Computer Science from Johns Hopkins University in 1975. Prof. Papachristou's research focuses on Embedded Systems Design , Quantum Computing Architectures , Reconfigurable Systems/FPGAs , and Hardware Security . His work addresses critical challenges in fault-tolerant systems , secure system design , and high-level synthesis . Notable contributions include innovations in radiation-hardened SRAM designs , hardware trojan detection , and quantum computing infrastructure . Key Achievements: Recipient of the Albert Nelson Marquis Lifetime Achievement Award (2019) IEEE Best Paper Award for Cognitive Communications for Aerospace Applications (2019) Invited NATO Summer School Lecturer (2008) in Spain/UK and Cleveland His publications reflect expertise in circuit reliability , embedded system security , and quantum computing . Recent work emphasizes electromigration mitigation and reconfigurable architecture kernels . Prof. Papachristou collaborates extensively on projects funded by NSF, DoD, and industry partners. Teaching specialties include Parallel Computer Architectures , Configurable Devices , and Quantum Computing , reflecting his dual focus on theoretical innovation and practical implementation in advanced technologies.

Anastasija Collenمشاهده پروفایل

مدرس

• Cybersecurity
• IoT Security
• Automotive Systems Cybersecurity
• +۳ مورد دیگر

Anastasija Collen is a Lecturer at the Research Institute for Statistics and Information Science at the University of Geneva . She holds a Ph.D. from the same institution and specializes in cybersecurity, IoT security, and automotive systems. Her work focuses on developing secure architectures, cryptographic protocols, and regulatory frameworks for connected and automated vehicles. Her research spans Automotive cybersecurity standards and certifications Trust modeling in distributed networks Blockchain applications for IoT security Human-centric risk visualization Data privacy compliance (GDPR) Recent publications emphasize secure automotive systems , including trusted platform modules (TPM), lightweight cryptographic protocols (LOKI-2), and certification roadmaps. She also explores IoT security through frameworks like anomaly-based intrusion detection and blockchain-enhanced defense mechanisms. Collen’s work has been presented at conferences such as IEEE ICCP , ARES , and IEEE EuroS&PW , with over 40 peer-reviewed articles since 2018. She maintains an active presence on ResearchGate and Google Scholar .

• 6G Communications
• Software Defined Networking
• Machine Learning
• +۵ مورد دیگر

Matthew Robinson is a Research Fellow at the University of Hertfordshire within the Department of Engineering and Technology, School of Physics, Engineering & Computer Science. His work focuses on next-generation communication systems and security applications, primarily through European and commercially funded projects including those with the European Space Agency (ESA), Horizon 2020, and industry partners like Global Invacom and Meazon. Education: MEng in Digital Communications and Electronics, University of Hertfordshire (2010-2014) Research Interests: Robinson specializes in 6G communications infrastructure with emphases on Software Defined Networking (SDN) , Machine Learning for sensor systems, Software Defined Radio (SDR) , and Satellite Communication for video broadcasting. His fingerprint analysis reveals strong activity in Connected Vehicles (80%), Software Defined Networking (80%), Machine Learning (50%), and Heterogeneous Transport Networks (40%). Projects demonstrate practical applications in energy disaggregation, vehicle sensor reliability, and secure smart metering. Research Trends: Recent publications (2021-2025) show a strategic pivot from video broadcasting systems toward cybersecurity applications for connected infrastructure. His work increasingly integrates unsupervised machine learning with hardware-software co-design, particularly for real-time threat detection in smart grids and autonomous vehicles, while maintaining satellite communication expertise. Awards: GB Patent GB2612705A: "Improvements to video data distribution networks" Projects & Grants: Robinson has contributed to four major initiatives: (1) SAT>IP WiFi Live Mobile TV (ESA-funded, with BBC R&D/Global Invacom), (2) EDIoT (H2020-funded, with Meazon), (3) AutoTrust (ESA-funded, with RL Automotive/Surrey), and (4) CPU/GPU Satellite Modem (ESA-funded). These projects secured substantial European funding and yielded patents, conference papers, and deployable systems for video broadcasting, energy monitoring, and vehicle sensor networks. Laboratory Affiliation: Works within the Networks and Security Research Centre, leveraging facilities for Software Defined Radio experimentation, satellite communication testing, and machine learning validation for IoT systems.

Qingzhao Zhangمشاهده پروفایل

استادیار

• Computer Security
• Artificial Intelligence Security
• Cyber-Physical Systems Security
• +۳ مورد دیگر

Qingzhao Zhang is an incoming Assistant Professor in the Department of Electrical and Computer Engineering at the University of Arizona, starting in Fall 2025. Previously, he completed his Ph.D. at the University of Michigan under the supervision of Professor Z. Morley Mao. His academic journey bridges computer science, electrical engineering, and cybersecurity disciplines with a focus on practical security applications. Dr. Zhang's research spans computer security at the intersection of system security, artificial intelligence, and cyber-physical systems. His work addresses critical security challenges in safety-critical applications, particularly connected and autonomous vehicles. His research methodology combines formal verification, system building, and security analysis to develop practical solutions for real-world security problems. His expertise extends to blockchain security, industrial control systems, and AI security, demonstrating a broad yet cohesive research vision. Analysis of Zhang's recent publications reveals a consistent focus on security challenges in emerging technologies, with a particular emphasis on autonomous systems. His work demonstrates strong technical depth across multiple domains, from low-level network protocols to high-level AI systems. The trajectory of his research shows increasing sophistication in addressing complex security problems in cyber-physical systems, with recent work expanding into large language model security. Reviewer for ICLR 2025, ICRA 2025, ACM Multimedia 2024 Artifact Evaluation Reviewer for Usenix Security 2022 Pre-Review Task Force for NSDI 2025 Teaching experience in Multidisciplinary Design Program at University of Michigan (2022-2023) Dr. Zhang is actively recruiting PhD students for Fall 2026 and research interns. His research group focuses on developing security solutions for next-generation AI and cyber-physical systems, with particular emphasis on autonomous vehicles and critical infrastructure security. He maintains strong industry connections through his applied research in automotive security and blockchain technologies.

Daniele Antonioliمشاهده پروفایل

استادیار

• Applied System Security
• Privacy
• Wireless Communication Security
• +۱۳ مورد دیگر

Daniele Antonioli is an Assistant Professor at EURECOM, affiliated with the Software & System Security (S3) group. His research spans applied system security and privacy, focusing on wireless communication (Bluetooth, Wi-Fi), embedded and mobile systems (e.g., smartphones, cars, fitness trackers), and cyber-physical systems like industrial control systems. His research interests include Applied System Security , Privacy , Wireless Communication Security , Embedded Systems Security , Automotive Security , IoT Security , Applied Cryptography , and Threat Modeling . His work frequently targets real-world protocols and proprietary systems, uncovering critical vulnerabilities in Bluetooth (e.g., KNOB, BIAS, BLURtooth), FIDO2 (CTRAPS), and IoT ecosystems (BreakMi, E-Spoofer). Recent publications demonstrate a strong trend in automotive and IoT security , protocol-level attacks , and privacy-preserving technologies , with work published in top venues like IEEE S&P, ACM CCS, NDSS, and USENIX Security. He has contributed to the DP3T/GAEN contact tracing framework, now used in Android and iOS. Mille E Una Lode Award CLUSIT Award'22 He has advised multiple PhD and Master’s students and received grants from the German Research Foundation (DFG). He teaches courses such as Mobile System Security and a Bluetooth-focused course at EURECOM. He has also been active in the research community, serving as Associate Editor for ACM TOPS and co-chairing NDSS'26 Artifact Evaluation. He leads or contributes to research projects including the AttackDefense Framework (ADF) , ENCOPIA , and ORSHIN , focusing on threat modeling, privacy assurance, and resilient IoT systems.

• Cybersecurity
• Critical Infrastructure Security
• Cyber-Physical Systems Security
• +۴ مورد دیگر

Vasileios Gkioulos is a Professor at the Department of Information Security and Communication Technology, Faculty of Information Technology and Electrical Engineering, Norwegian University of Science and Technology (NTNU). His research focuses on cybersecurity for critical infrastructures, particularly in maritime and energy systems, with significant contributions to digital twins, threat modeling, and security policy frameworks. His work includes developing cybersecurity training programs, analyzing maritime navigation system vulnerabilities, and integrating safety-security co-engineering methodologies. He leads the Critical Infrastructure Security and Resilience group and has published extensively on topics like cyber-physical ranges, secure autonomous ship architectures, and wireless security testbeds. Recent articles explore digital twin applications for threat modeling, DevSecOps in critical infrastructure risk management, and modular maritime cybersecurity training. His research also addresses social robots in public spaces, emphasizing business-system-security interdependencies and privacy protection. Professor Gkioulos collaborates with institutions globally, co-authoring publications with researchers like Sokratis Katsikas, Habtamu Abie, and Sandeep Pirbhulal. His work spans journals such as International Journal of Information Security , Journal of Marine Science and Engineering , and Computers & Security , alongside conference proceedings and technical reports.

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

دانشیار

• Security and Privacy
• Program Verification
• Programming Languages
• +۳ مورد دیگر

Marco Guarnieri is an Associate Professor at IMDEA Software Institute in Madrid, Spain. His research focuses on the design, analysis, and implementation of practical systems for securely storing and processing sensitive data, with particular emphasis on security at the hardware-software boundary and microarchitectural attacks and defenses. Guarnieri received his PhD in Computer Science in 2017 from ETH Zurich's Institute of Information Security, following an MSc (2012) and BSc (2010) in Computer Engineering from Università degli Studi di Bergamo. His research spans security and privacy, program verification, programming languages, and formal methods. Guarnieri's work has particularly focused on addressing vulnerabilities related to speculative execution (Spectre attacks), side-channel analysis, hardware-software security interfaces, and leakage contracts. His approach often combines formal verification techniques with practical system implementation to develop robust security solutions. Guarnieri's publications reveal a strong focus on microarchitectural security, with recent work addressing secure speculation countermeasures, compiler security guarantees against Spectre attacks, side-channel security of cryptographic implementations, and hardware-software leakage contracts. His research shows a progression from database security early in his career to the hardware-software security boundary that characterizes his current work. Among his notable achievements are a Best Paper Award at CCS 2024 and Distinguished Paper Awards at CCS 2023 and CCS 2022. His paper 'Hardware-Software Contracts for Secure Speculation' also received a Best Paper Award. Guarnieri actively contributes to the academic community through program committee roles, including the PriSC Steering Committee, and has organized events such as PLMW@PLDI 2023. He is seeking talented researchers (interns, PhD students, and postdocs) to join his group at IMDEA Software Institute to work on security at the hardware-software interface.

Moussa Ayyashمشاهده پروفایل

استاد

• Wireless Communications
• Visible Light Communications
• Internet of Things
• +۷ مورد دیگر

Moussa Ayyash is a Professor in the Department of Computer Science at Chicago State University (CSU), within the College of Arts & Sciences. He serves as the Director of the Center for Integrated Networked Systems and Emerging Research (CINSER), leading cutting-edge research in wireless and networked systems. His research focuses on wireless communications , particularly visible light communications (VLC) , Internet of Things (IoT) , network security , and the integration of artificial intelligence in networking. His work explores coexistence strategies for heterogeneous networks, edge computing for cyber-physical systems, and next-generation 6G indoor flying networks. He has published extensively in top-tier IEEE journals, with a recent emphasis on AI-driven network optimization, hybrid RF-VLC systems, and secure, jamming-resilient IoT communications. Analysis of his recent publications reveals a strong trend toward intelligent, secure, and energy-efficient network architectures. His work bridges theoretical innovation with practical applications in education, healthcare, and transportation, often leveraging machine learning and deep reinforcement learning to solve complex networking challenges in dynamic environments. Fulbright Scholar Program Application (2023) Fulbright Specialist Award (Jordan, 2022) Fulbright Specialist Award (Iceland, 2018) Dr. Ayyash is a principal or co-principal investigator on multiple major federally funded grants, including projects sponsored by the National Science Foundation (NSF) , U.S. Department of Transportation , National Security Agency (NSA) , and the Department of Defense . His grants support initiatives in semiconductor education (Mic2ExL), broadband equity (ABELINC), navigation security (CARNATIONS), and cybersecurity education (GenCyber, SFS). These projects highlight his leadership in both research and educational outreach, often involving student training and community engagement. He leads the Center for Integrated Networked Systems and Emerging Research (CINSER), a research hub focused on advancing technologies in networked systems, cybersecurity, and emerging communication paradigms. His team collaborates on interdisciplinary projects involving AI, IoT, and resilient network design.

Lo’ay Abu Salahمشاهده پروفایل

استاد بالینی

• wireless sensor networks
• network security
• computer networking
• +۵ مورد دیگر

Lo’ay Abu Salah is a Clinical Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Chicago (UIC), affiliated with the College of Engineering. His research focuses on wireless sensor networks, network security, computer networking, communications and signal processing, and interdisciplinary product development. He has contributed extensively to trust-aware routing protocols in mobile ad hoc networks and network security. PhD (2006), Electrical and Computer Engineering, University of Illinois at Chicago MSc (1999), Communication Engineering, University of Jordan BSc (1997), Electrical and Computer Engineering, Philadelphia University His work spans wireless network security, trust management, and simulation models, with a particular emphasis on adaptive protocols for dynamic environments. Recent publications analyze trust metrics, mobility impacts, and fuzzy logic applications in mobile ad hoc networks. He received the IDEAL Scholar award from the Institute for the Development of Excellence in Assessment Leadership in 2008. He is a member of IEEE since 1993 and served on technical program committees for network security symposia. He founded and directed the UIC Industry Training and Collaboration Center (ITCC) in 2009. His professional service includes technical program committee roles for IEEE and Globecom conferences.

Michael A. Palleyمشاهده پروفایل

استاد

• Accounting Information Systems
• Management Information Systems
• IT and Organizational Strategy
• +۵ مورد دیگر

Michael A. Palley is a Professor in the Paul H. Chook Department of Information Systems and Statistics at Zicklin School of Business, Baruch College (CUNY) . His expertise spans Accounting Information Systems , IT and Organizational Strategy , and Healthcare Information Systems . Education: PhD, MS, and MPhil in Information Systems from NYU Stern School of Business; BS in Finance & Multinational Enterprise from the Wharton School. His research focuses on information system security , statistical database confidentiality , and the intersection of IT with financial markets . He has contributed to journals such as Health Care Management Review and Journal of Official Statistics , with notable work on regression-based disclosure risks and IT diffusion in human services. Recent publications explore portfolio risk/return models for security and consequence frameworks for IT adoption . His work bridges theoretical rigor with practical applications, including user interface design and healthcare reimbursement systems . Scientific Awards: Zicklin Teaching Excellence Award (2001) Beta Gamma Sigma Honors (1986) IBM Fellowships (1983-1984) Invited Participant to ICIS Doctoral Consortium (1984) Paley has held leadership roles in academic governance, including Faculty Committee on Educational Technology and CUNY Baccalaureate Program Mentor . He has also served as a consultant for organizations like Citigroup and IBM.