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

Kevin Hamlenمشاهده پروفایل

دانشیار

• Cybersecurity
• Malware Analysis
• Software Security
• +۴ مورد دیگر

Kevin Hamlen is an Associate Professor of Computer Science at the Erik Jonsson School of Engineering and Computer Science , The University of Texas at Dallas . He holds a Ph.D. and MS in Computer Science from Cornell University (2006 and 2002) and dual BS degrees in Computer Science and Mathematical Sciences from Carnegie Mellon University (1998). His research focuses on cybersecurity, including malware analysis, active defense mechanisms, and formal verification of secure systems. Notable contributions include the Frankenstein malware synthesis framework and the Red Herring decoy system for detecting cyberattacks. Professional preparation includes roles as a Research Intern at Microsoft Research (2002), Research and Teaching Assistant at Cornell (1998–2006), and Technical Consultant at Microsoft Research Redmond (2001). His work has been recognized with awards such as the NSF CAREER Award (2011) and the Air Force Young Investigator Program Award (2008). Research interests emphasize proactive cybersecurity measures, including techniques to deceive attackers (e.g., honey-patching, dynamic deception), vulnerability detection, and securing cloud and IoT ecosystems. His publications span topics like control-flow integrity, binary code analysis, and threat intelligence integration with the MITRE ATT&CK framework. Awards highlight his teaching excellence (2013) and contributions to applied security research. His lab collaborates on projects like Confidential Computing and Federated Learning for Smart Vehicles , addressing emerging security challenges in distributed systems.

Farimah Farahmandiمشاهده پروفایل

استاد

• Hardware Security
• Formal Verification
• Side-channel Analysis
• +۲ مورد دیگر

Dr. Farimah Farahmandi is the Walden C. Rhines Endowed Professor for Hardware Security in the Department of Electrical and Computer Engineering at the University of Florida and serves as Associate Director of the Florida Institute for Cybersecurity (FICS). Her research focuses on hardware security verification, formal methods, and secure microelectronics design. Education: Ph.D. in Computer and Information Science and Engineering, University of Florida (2018) M.S. in Computer Engineering, University of Tehran (2013) B.S. in Computer Engineering, University of Tehran (2010) Her work spans automated security verification, AI-assisted vulnerability detection, and hardware supply chain security. Recent publications emphasize machine learning applications in hardware security and side-channel analysis. Awards: NSF CAREER Award (2024) ACM/IEEE DAC Under 40 Innovators Award (2024) Young Faculty Award, Semiconductor Research Corporation (2022) She directs the Silicon Design and Assurance Lab (SiLDA) and co-founded CAD4Sec, a resource portal for SoC security. Research is funded by NSF, DARPA, DoD, and industry partners including Synopsys and Cisco.

Mohammad Abdulaziz Mansourمشاهده پروفایل

مدرس

• Formal Verification
• Artificial Intelligence
• AI Planning
• +۳ مورد دیگر

Mohammad Abdulaziz Mansour is a Lecturer in Artificial Intelligence at King's College London, affiliated with the Department of Informatics within the Faculty of Natural, Mathematical & Engineering Sciences. Previously, he held a post-doctoral researcher position at the Chair for Logic and Verification at TU München and remains a visiting researcher there. His work focuses on formal methods, theorem proving, and their applications in AI, particularly in algorithm verification, planning, and graph theory. Research Interests: Formal verification of AI algorithms, formalization of mathematics, graph algorithms, Markov Decision Processes, and SAT-based planning. His contributions emphasize rigorous validation through proof assistants like Isabelle/HOL, ensuring correctness of algorithms in critical domains such as cybersecurity and automated reasoning. Publications highlight his expertise in formal analysis of algorithms (e.g., matroids, minimum cost flows) and verified solutions for MDPs. He collaborates with institutions like the King's Cybersecurity Centre, contributing to research themes in reasoning, planning, and software systems security. Recent work includes advancements in formally verified approximate policy iteration and formally validated SAT-based AI planning methods. His research bridges theoretical computer science with practical applications, ensuring foundational algorithms are both efficient and correct.

Sebastian Alexander Mödersheimمشاهده پروفایل

دانشیار

• Security Protocols
• Protocol Verification
• Privacy in Cybersecurity
• +۳ مورد دیگر

Sebastian Alexander Mödersheim is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU). He specializes in security protocols, formal verification, and privacy-preserving technologies. His research focuses on developing automated methods for analyzing and ensuring the security and privacy of cryptographic protocols, including topics such as privacy properties, protocol compositionality, and accountability mechanisms. His work contributes to UN Sustainable Development Goals by addressing privacy and security challenges in digital systems. Key research areas include formal methods for protocol verification, privacy models like Alpha-Beta Privacy, and secure authentication mechanisms. Mödersheim has authored over 59 publications, including peer-reviewed articles in prestigious conferences such as IEEE Computer Security Foundations Symposium (CSF) and journals like ACM Transactions on Privacy and Security. His recent work emphasizes privacy in authentication protocols, stateful protocol composition, and automated verification tools using theorem provers like Isabelle/HOL. He supervises PhD students in projects such as secure cloud-edge computing (TaRDIS), logical approaches to privacy, and formalization of security protocols. His contributions also extend to tools like AVISPA and AIF framework for protocol analysis.

Cheryl O'Meara Brownمشاهده پروفایل

مدرس ارشد

• Marketing
• Social Media Marketing
• Consumer Behavior
• +۳ مورد دیگر

Cheryl O'Meara Brown is a Senior Lecturer in the Department of Marketing at the University of West Georgia's Richards College of Business. She holds an MBA in Business Administration (University of West Georgia, 2002) and a B.S. in Biology with a Statistics minor (University of West Georgia, 1999). Her research spans diverse areas including marketing strategies for autistic youth employment, social media influencer dynamics, reverse logistics, and privacy concerns on social platforms. Recent work focuses on clinical trial methodologies for virtual interview training and psychometric validation of employment readiness tools. Teaching responsibilities include Principles of Marketing, Business Research, Advertising Practices, and Fashion Marketing. She has also led international marketing courses in Spain, Italy, and Greece. Over 15 years of teaching, she has developed syllabi for online and traditional sections emphasizing digital-age marketing challenges. No scientific awards are listed, though her contributions to pedagogy and applied research are notable. She advises no formal students but mentors through classroom and internship programs.

Margo Seltzerمشاهده پروفایل

استاد

• Computer Systems
• Operating Systems
• Database Systems
• +۷ مورد دیگر

Margo Seltzer is a Professor and Co-Head of the Department of Computer Science at the University of British Columbia (UBC). She holds the Canada 150 Research Chair in Computer Systems and the Cheriton Family Chair in Computer Science. Her research focuses on computer systems, including operating systems, databases, data provenance, graph analytics, and interpretable machine learning. She is also involved in educational initiatives and has held leadership roles in academia, including serving as Dean of Computer Science and Engineering at Harvard University. Education: PhD in Computer Science from UC Berkeley (1992), AB in Applied Mathematics from Harvard (1983). Professional roles include Chief Technology Officer at Sleepycat Software and architect at Oracle Corporation. She has received prestigious awards such as the ACM Athena Lecturer Award, Killam Teaching Prize, and membership in the National Academy of Engineering. Research Interests: Systems, databases, transaction processing, provenance capture, healthcare informatics, and cybersecurity. Her work emphasizes practical applications of systems research, including optimizing storage, improving operating system performance, and enhancing data security. She has contributed to open-source projects like Berkeley DB and CamFlow provenance system. Key Contributions: Developed systems for provenance-aware storage, sparse decision trees (e.g., GOSDT), and intrusion detection (FRAPpucino). She advocates for reproducible research through tools like Encapsulator and Rclean. Her teaching and mentorship have influenced countless students and junior faculty in computer science. Awards: ACM Athena Lecturer (2023), SIGMOD Systems Award (2020), USENIX Lifetime Achievement Award (2019), and election to the American Academy of Arts and Sciences (2021). Her work bridges theoretical computer science with real-world applications, emphasizing both technical innovation and societal impact.

Son Vuongمشاهده پروفایل

دانشیار

• Computer Security
• Distributed Systems
• Mobile Computing
• +۳ مورد دیگر

Son Vuong is an Associate Professor Emeritus in the Department of Computer Science at the University of British Columbia, affiliated with the Faculty of Science. His research spans cybersecurity, distributed systems, and mobile computing, with a focus on malware detection, mobile agent systems, and peer-to-peer network architectures. He has contributed to advancements in context-aware security frameworks, wireless sensor networks, and healthcare IT solutions. His work emphasizes practical applications of distributed computing, including scalable content delivery systems, QoS verification in networks, and intrusion detection methodologies. Notable projects include frameworks for Android malware classification using machine learning and innovative approaches to MANET service discovery. Publications highlight trends in mobile computing security, P2P scalability, and healthcare system integration. His research bridges theoretical foundations with real-world implementations, addressing challenges in both academic and industrial contexts.

Meiyi Maمشاهده پروفایل

استادیار

• Artificial Intelligence
• Formal Methods
• Cyber-Physical Systems
• +۷ مورد دیگر

Introduction Dr. Meiyi Ma is an Assistant Professor in the Department of Computer Science and the Institute for Software Integrated Systems at Vanderbilt University . Her research integrates machine learning and formal methods to build safe, reliable Cyber-Physical Systems (CPS), with applications in Smart Cities , Healthcare , and Emergency Response . She holds a PhD from the University of Virginia under Professors John A. Stankovic and Lu Feng. Education PhD in Computer Science, University of Virginia Research Interests Dr. Ma’s work focuses on risk-aware AI systems , verified AI , and explainable machine learning . She develops solutions for safety-critical CPS in domains like urban infrastructure, healthcare, and emergency management. Key projects include: - Formal methods for federated learning and unlearning attacks - AI-driven systems for non-emergency call handling - Runtime monitoring in smart cities using temporal logic Award Highlights Google Academic Research Award (2024) NSF grants for GenAI in emergency response and STEM education (2024) Best Service Award at IEEE/ACM CHASE (2024) VUSE Community Impact Research Award (2024) Grants & Advising Dr. Ma leads NSF-funded projects on GenAI in dispatcher training and emergency response. She advises multiple PhD students, including Ziyan An (federated learning) and Hanchen Wang (remote physical therapy systems). Undergraduate researchers contribute to projects like AI route generation and safety monitoring. Labs & Collaborations Her lab collaborates with Metro Nashville Government on emergency response systems and Nashville Public Schools on AI-driven alert systems. Recent activities include organizing workshops on Future Technologies for Emergency Response and hosting industry visits to Vanderbilt’s CPS research facilities.

Sandeep K Neemaمشاهده پروفایل

استاد

• Embedded Systems
• Design-Space Exploration
• Model Integrated Computing
• +۳ مورد دیگر

Sandeep K Neema is a Professor of Computer Science and Electrical and Computer Engineering at Vanderbilt University's School of Engineering. He serves as Chair of the Executive Council of the Institute of Software Integrated Systems. His research focuses on embedded systems, design-space exploration, and model integrated computing. He holds a Ph.D. from Vanderbilt University, an M.S. from Utah State University, and a B.Tech. from the Indian Institute of Technology. Dr. Neema's educational background includes: Ph.D., Electrical Engineering & Computer Engineering, Vanderbilt University M.S., Electrical Engineering & Computer Engineering, Utah State University B.Tech., Electrical Engineering, Indian Institute of Technology His research interests encompass embedded systems, design-space exploration, and model integrated computing, with a strong emphasis on cyber-physical systems. He explores formal methods, model-based design, and their applications in automotive systems, smart cities, and reliability engineering. His work integrates theoretical frameworks with practical tools to address challenges in system reliability and adaptive software design. Recent publications highlight advancements in artificial general intelligence evaluation, cybersecurity defense mechanisms, and formal methods applied to neural networks and language models. His work also addresses societal-scale control systems and adaptive software frameworks for resource management. These contributions underscore his interdisciplinary approach to solving complex engineering problems. Scientific Awards include: Best Paper Award (2013) In addition to his academic roles, Dr. Neema leads initiatives in the Institute for Software-Integrated Systems. His work often involves collaborative projects and the development of innovative tools for cyber-physical systems design. He is a key member of the Institute for Software-Integrated Systems, contributing to research in model integration, tool development, and cyber-physical systems engineering.

Sotiris Moschoyiannisمشاهده پروفایل

دانشیار

• Complex Networks
• Control Theory
• Reinforcement Learning
• +۵ مورد دیگر

Sotiris Moschoyiannis is a Reader in Complex Systems at the University of Surrey, affiliated with the School of Computer Science and Electronic Engineering. He holds dual roles as Postgraduate Research Director in his School and the Computer Science Research Centre. His expertise spans mathematics, theoretical computer science, and interdisciplinary research in complex systems, cybersecurity, and artificial intelligence. Dr. Moschoyiannis earned his PhD in Theoretical Computer Science from the University of Surrey and a Mathematics degree from the University of Patras. His research focuses on control theory, reinforcement learning, and computational methods applied to complex networks, aiming to design interventions for steering systems toward desirable outcomes. Key areas include cybersecurity in 5G networks, healthcare data analysis, and systems biology modeling. Teaching responsibilities include Machine Learning and Data Mining (MSc in Data Science) and Database Systems across MSc programs in Data Science and Information Security. His work bridges formal methods with machine learning, addressing challenges in dynamic systems, network controllability, and secure communication protocols. Notable contributions include studies on prostate cancer diagnosis data quality, anomaly detection in 5G networks, and AI-driven healthcare solutions. He actively collaborates with institutions like the Surrey Institute for People-Centred AI and the Surrey Centre for Cyber Security, advancing interdisciplinary research and innovation.

Sasa Radomirovicمشاهده پروفایل

مدرس ارشد

• Formal Methods for Information Security
• Formal Modeling and Verification of Cryptographic Protocols
• Cybersecurity
• +۳ مورد دیگر

Dr. Sasa Radomirovic is a Senior Lecturer in Secure Systems and Programme Lead of the MSc Information Security at the University of Surrey. He holds a PhD in Mathematics from Rutgers University (2005) and has held postdoctoral positions at NTNU Trondheim, CRM Barcelona, and the University of Luxembourg. His prior roles include Senior Scientist at ETH Zurich and faculty positions at the University of Dundee and Heriot-Watt University. He is affiliated with the Surrey Centre for Cyber Security and the Computer Science Research Centre within the School of Computer Science and Electronic Engineering. Dr. Radomirovic specializes in Formal Methods for Information Security and Formal Modeling and Verification of Cryptographic Protocols . His research focuses on ensuring security through rigorous mathematical analysis, with applications in voting systems, IoT, and human-centric security. Key contributions include work on remote attestation protocols, election verification, and user account management strategies. His recent publications highlight advancements in cryptographic protocol design, system security, and human factors in cybersecurity. Notable works include studies on table-based elections, IoT security perceptions, and dispute resolution mechanisms in voting systems. He has advised PhD students at ETH Zurich and the University of Luxembourg, contributing to impactful research in cybersecurity and formal verification. Dr. Radomirovic's research integrates theoretical foundations with practical applications, addressing challenges such as protocol vulnerabilities, user behavior analysis, and the security of emerging technologies like 5G and IoT.

Jules Whiteمشاهده پروفایل

استاد

• Cybersecurity
• Mobile/Cloud Computing
• Cyber-physical Systems
• +۳ مورد دیگر

Jules White is a Professor of Computer Science and Senior Advisor to the Chancellor for Generative AI in Education at Vanderbilt University's School of Engineering. He also holds an appointment as Associate Professor of Biomedical Informatics. His research focuses on cybersecurity, mobile/cloud computing, and cyber-physical systems. White has led the online MS in Computer Science program to #1 ranking by Fortune and commercialized research into industry products like PAR Works. Education: Ph.D./M.S. in Computer Science (Vanderbilt University), B.A. in Computer Science (Brown University). Research Interests: Cybersecurity, mobile computing, cyber-physical systems, healthcare informatics, and AI applications. His MAGNUM Group explores these areas with over 160 publications and industry collaborations. Articles Overview: Recent work spans AI-driven prompt engineering, healthcare transparency via NLP, and UAV design optimization. Themes include LLM applications, cybersecurity frameworks, and medical technology integration. Awards: NSF CAREER Award, CES Innovation Award (2013), and multiple best paper awards. Recognized for entrepreneurship with $12M venture funding for startups. Advising & Grants: Directed over 100 students in MOOCs and research. Secured grants totaling ~$1.5M annually, including NSF, AFRL, and industry partnerships. Focus areas include secure IoT systems and blockchain in healthcare. Labs & Teams: Directs the Mobile Application computinG, optimizatoN, and secUrity Methods (MAGNUM) Group. Collaborates with industry (e.g., Siemens, Cloudpoint/PAR Works) and government agencies (NSF, ARO).

• Machine Learning
• Cybersecurity
• Mechanical Engineering
• +۵ مورد دیگر

Peter Volgyesi is a Research Scientist and Lecturer in the Department of Computer Science at Vanderbilt University School of Engineering. His work focuses on integrating artificial intelligence, machine learning, and advanced engineering methodologies into practical applications such as UAV design optimization, wearable health monitoring systems, and cybersecurity for cyber-physical systems. He has contributed to frameworks like MoSDeF and SURE, advancing reproducible simulations and resilient CPS evaluation. His research interests span multiple domains including: Machine learning in engineering design and optimization Wearable sensor systems for musculoskeletal monitoring Cybersecurity and resilience in smart grids AI-driven CAD-CFD integration for aerospace applications Key trends in his recent work (2020–2024) emphasize: Combining ML with physics-based models for efficient design Development of deployable sensor networks for health and security applications Advances in UAV and underwater vehicle design automation No scientific awards were explicitly mentioned in the provided text. He collaborates on projects involving the Resilient Information Architecture Platform (RIAPS) and Molecular Simulation & Design Framework (MoSDeF), contributing to both academic research and industry-relevant solutions.

Azer Bestavrosمشاهده پروفایل

استاد

• Networking
• Distributed Systems
• Cloud Computing
• +۶ مورد دیگر

Azer Bestavros is a Professor and Associate Provost for Computing & Data Sciences at Boston University, affiliated with the Department of Computer Science within the Arts & Sciences School. He joined BU in 1991 after earning his PhD from Harvard. His research focuses on networking, distributed systems, cloud computing, and cybersecurity, with notable contributions to web content distribution models, cloud resource management, and privacy-preserving analytics. He led the establishment of the BU Hariri Institute for Computing and the Open Cloud Exchange initiative to advance cloud marketplaces. Education: PhD in Computer Science from Harvard University. Research Interests: His work integrates technical and policy dimensions, addressing challenges in secure multiparty computation, formal methods for network verification, and interdisciplinary applications of computing. Recent projects include frameworks for privacy-preserving analytics and mechanisms for efficient cloud resource allocation. Grants & Advising: Advised 16 PhD students, contributed to 6 patents, and spun off 3 startups. His research has yielded over 13,000 citations and informs policy through initiatives like the Cloud Computing Caucus. Labs & Teams: Spearheaded the Hariri Institute’s cloud computing, big data, and cybersecurity programs. Currently oversees the Faculty of Computing & Data Sciences, fostering interdisciplinary collaboration across BU.

Peter DePasqualeمشاهده پروفایل

استاد

• Computer Science Education
• Pedagogical Practices
• Cloud Computing
• +۲ مورد دیگر

Peter DePasquale is an Industry Professor in the Computer Science and Engineering Department at NYU Tandon School of Engineering. With a focus on computer science education, he develops pedagogical strategies for effective programming instruction, cloud computing integration, and undergraduate research experiences. His practical approach bridges academic concepts with industry practices. Key research areas include improving source code documentation practices through pedagogical interventions, integrating cloud services like AWS into curricula, and designing effective capstone research experiences. He has created innovative educational models for teaching data structures using real-time API data and developed workshops for cloud computing adoption in academic settings. DePasquale contributes to computer science education literature through publications on code commenting effectiveness, community-based web filtering projects, and emerging technology research experiences. His teaching philosophy emphasizes practical skills and industry-relevant competencies.