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

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

استاد

• Embedded Systems
• Design Automation
• Computer Architecture
• +۶ مورد دیگر

Dr. Chengmo Yang is a Professor in the Department of Electrical and Computer Engineering at the University of Delaware, with a joint appointment. She received her PhD and MSc in Computer Science from the University of California, San Diego, and a BSc in Microelectronics from Peking University, China. PhD, University of California, San Diego MSc, University of California, San Diego BSc, Peking University, China Her research focuses on enhancing security, reliability, non-volatility, and energy efficiency in embedded systems, cyber-physical systems (CPS), and Internet-of-Things (IoT). She leads the Computer Architecture, Reliability, and Security (CARES) group and has authored over 70 peer-reviewed publications. Recent publications emphasize neural network accelerators, non-volatile memory (NVM) optimization, and security frameworks for embedded systems. Her work explores fault tolerance, wear leveling, and side-channel attack mitigation in NVM-based FPGAs, STT-RAM, and SSDs. National Science Foundation Career Award (2013) University of Delaware Mid-Career Faculty Excellence in Scholarship Award (2020) Best paper award at ICESS (2019) Three best paper nominations at DAC, DATE, and GLSVLSI (2019) Dr. Yang serves as Associate Editor for IEEE TCAD and ACM TODAES. She is the Diversity & Inclusion Representative for IEEE CEDA and has organized numerous conferences including Technical Program Chair for CODES-ISSS 2022. Her lab has hosted current and former students like Fanruo Meng (PhD candidate), Fateme Hosseini (Qualcomm), and Patrick Cronin (Intel), focusing on graduate-level research in hardware security and reliability.

Rachit Agarwalمشاهده پروفایل

دانشیار

• Systems
• Networking
• Theory of Computing
• +۶ مورد دیگر

Rachit Agarwal is an Associate Professor in the Department of Computer Science at Cornell University, with research focusing on systems, networking, and theoretical problems arising in practical systems. He leads a research group working on resource disaggregation, host architecture, secure cloud storage, and datacenter design. PhD in Computer Science, Cornell University Undergraduate, IIT Kanpur His research spans three major directions: Resource Disaggregation (with $3M NSF and Google awards), Host Architecture (exploring terabit interconnects), and PANCAKE (secure oblivious cloud storage with $1M NSF award). He also contributed to foundational work in Near-optimal Datacenter Design and Data Plane Monitoring . Awards include the Sloan Fellowship, NSF CAREER, IRTF Applied Networking Prize, and multiple best paper awards. His recent publications focus on host network architecture, congestion control, oblivious data access mechanisms, and secure cloud storage systems. He has advised multiple Ph.D. and postdoctoral researchers who now hold faculty positions at leading institutions. Sloan Research Fellowship NSF CAREER award Kavli Fellowship IRTF Applied Networking Research Prize SIGCOMM Best Student Paper Award Usenix Security Distinguished Paper Award Tau Beta Pi Professor of the Year 2025 Rachit has advised numerous students including current Cornell advisees like Midhul Vuppalapati, Shreyas Kharbanda, and Omar Eqbal. Former advisees include Saksham Agarwal (UIUC), Qizhe Cai (UVA), and Mina Tahmasbi Arashloo (University of Waterloo). His research is supported by large NSF grants and industry awards, with deployments in real-world systems and open-source contributions.

Karthik R. Narasimhanمشاهده پروفایل

استاد

• Language Agents
• Reinforcement Learning
• Natural Language Processing
• +۳ مورد دیگر

Karthik R. Narasimhan is a Professor at Princeton University's School of Engineering and Applied Science in the Department of Computer Science. Previously, he earned his PhD from MIT under Regina Barzilay and served as a visiting research scientist at OpenAI during 2017-18. His research focuses on the intersection of language and decision-making, building autonomous agents that learn from both experience and human knowledge. His research spans multiple high-impact areas including language agents (Text-DQN, CALM, ReAct, Tree of Thoughts), reinforcement learning (h-DQN, Multi-Objective RL), and AI safety (Toxicity in ChatGPT, DataMUX). He has developed critical datasets and benchmarks such as WebShop, InterCode, SWE-bench, and SILG that have become standard evaluation tools in the field. Current work emphasizes agent capabilities, software engineering automation, and multimodal interaction. His publication trends show strong focus on practical agent deployment (SWE-agent, Tree of Thoughts), safety evaluation (Probing AI Safety), and efficiency improvements (DataMUX). Recent work increasingly addresses real-world challenges in software engineering, security, and human-AI collaboration through rigorous benchmarking. Co-author of foundational GPT (2018) paper Key developer of Text-DQN (2015), CALM (2020), ReAct (2022), Tree of Thoughts (2023) Creator of influential benchmarks: WebShop (2022), SWE-bench (2023), InterCode (2023) He actively advises students through Princeton's computer science program, with research supported by multiple grants focused on autonomous agent development and language-based decision systems. His GitHub repositories (nlp-datasets, text-world-player) demonstrate strong community engagement in open-source research tools. Current projects include advancing language agent capabilities through Reflexion (2023) and Tree of Thoughts (2023) frameworks while addressing critical safety and efficiency challenges.

Gail E. Kaiserمشاهده پروفایل

استاد

• Software Engineering
• Static and Dynamic Program Analysis
• Software Testing
• +۷ مورد دیگر

Gail E. Kaiser is a Professor of Computer Science and the Director of the Programming Systems Laboratory (PSL) in the Computer Science Department at Columbia University. She has been with Columbia University since 1985, becoming a full Professor in 1998. Prof. Kaiser's research spans software engineering, program analysis, software testing, and software security, with recent focus on addressing challenges in AI/ML systems testing and security. Prof. Kaiser received her PhD in Computer Science from Carnegie Mellon University in 1985 and her ScB in Computer Science and Engineering from MIT in 1979. Her dissertation at CMU was titled "Semantics for Structure Editing Environments" under advisor Nico Habermann, and at MIT she completed "Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations" under advisor Al Vezza. Prof. Kaiser's research interests primarily focus on software engineering following a systems building approach, with recent emphasis on static and dynamic program analysis techniques to improve software reliability and security. Since 2005, she has investigated testing "non-testable" programs, particularly in machine learning, data mining, and scientific computing applications where traditional testing oracles are insufficient. She has developed novel techniques and tools for detecting bugs and verifying repairs in complex systems. Concurrently, she has worked on collaboration environments for computational scientists, creating knowledge sharing and domain-aware environments to support scientific workflows. Prof. Kaiser's recent publications demonstrate a strong focus on the intersection of software engineering and artificial intelligence. Her work addresses critical challenges in testing AI systems, code understanding through deep learning, vulnerability detection, and educational tools for computational thinking. There's a clear evolution from traditional software engineering topics toward AI/ML applications, with particular emphasis on metamorphic testing for non-testable systems, code similarity analysis, and educational applications. Prof. Kaiser has received numerous prestigious awards throughout her career: Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025 Best Research Paper Award at 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024 Distinguished Reviewer Awards for ASE 2024 and FSE 2024 ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", July 2023 Best Student Paper Award at ICCE 2021 Multiple ACM SIGSOFT Distinguished Paper Awards dating back to 2014 Presidential Young Investigator in Software Engineering and Software Systems from NSF (1988-1993) Prof. Kaiser has chaired Columbia's doctoral program since 1997 and served on editorial boards including IEEE Internet Computing and as a founding associate editor of ACM Transactions on Software Engineering and Methodology. Her lab has been continuously funded by major agencies including NSF, NIH, DARPA, ONR, NASA, and numerous companies. Current grants include significant NSF funding for secure containers architecture, learning semantics of code for software assurance, and finding semantic security bugs. As Director of the Programming Systems Laboratory (PSL), Prof. Kaiser leads research in software systems, program analysis, and software testing. The lab has developed numerous tools and techniques for software reliability and security, with recent focus on challenges in AI/ML systems. Her work bridges theoretical foundations with practical applications, often resulting in deployable tools that address real-world software engineering challenges.

Anna Choromanskaمشاهده پروفایل

دانشیار

• Machine Learning
• Deep Learning
• Optimization
• +۶ مورد دیگر

Anna Choromanska is an Associate Professor in the Department of Electrical and Computer Engineering at NYU Tandon School of Engineering, with affiliations to NYU Center for Data Science (CDS), NYU Center for Urban Science and Progress (CUSP), NYU Center for Advanced Technology in Communications (CATT), and the C2SMART Center. Her research focuses on deep learning optimization, generalization, and applications in autonomous driving and large-scale data analysis. She holds an Alfred P. Sloan Fellowship and NSF CAREER Award, and her work impacts industries like NVIDIA and Facebook. She directs the Learning Systems Laboratory (LSL), emphasizing interdisciplinary experimental/theoretical work. Research Interests: Machine Learning fundamentals, DL optimization, continual learning, autonomous vehicle systems, large data analysis. Her lab explores DNN learning dynamics, training architecture design, and scalable algorithms. Professional Impact: Over 50 invited talks, workshop organization for top ML conferences, and contributions to open-source projects like Vowpal Wabbit. Her algorithms are deployed in production systems at Facebook and Baidu. Awards: NSF CAREER Award Alfred P. Sloan Fellowship IBM Global University Program Academic Award (2x) Columbia University Presidential Fellowship Advising & Labs: Leads LSL, supervising interdisciplinary projects in optimization and autonomy. Actively involved in NYU's Modern AI seminar series and industry partnerships through CATT. Personal Interests: Accomplished pianist, salsa dancer, and fashion design enthusiast with notable performances and certifications in dance and music.

• Cybersecurity
• Software Security
• System Security
• +۶ مورد دیگر

Ruoyu (Fish) Wang is an Associate Professor at the School of Computing and Augmented Intelligence, Arizona State University (Tempe campus). He also holds affiliations as Associate Director of Impact at the Global Security Initiative, Center for Cybersecurity & Trusted Foundations, and with the Biodesign Center for Biocomputing, Security and Society. His educational background includes: Ph.D. in Computer Science, University of California, Santa Barbara Professor Wang's research focuses on system security, with an emphasis on automated binary program analysis and reverse engineering of software. He is the co-founder and core developer of the angr binary analysis platform, which won third place in the DARPA Cyber Grand Challenge (2018). His work spans vulnerability discovery, fuzzing, and security tool development for binary program analysis. His current research interests include: Binary program analysis and reverse engineering Automated vulnerability discovery and mitigation Fuzzing techniques and robust testing Phishing and fraud detection in e-commerce Security of firmware and embedded systems Application of machine learning to security problems His recent publications (2024-2025) demonstrate cutting-edge research in fraud detection for e-commerce using LLMs, advanced fuzzing methodologies, and binary decompilation techniques. Key trends include bridging theoretical program analysis with practical security tools, as evidenced by extensions to the angr platform, and addressing emerging threats in financial ecosystems and client-side security. Dr. Wang has received notable recognition: Third place in DARPA Cyber Grand Challenge (2018) with team Shellphish As an active educator, he supervises graduate research (CSE 599/799) and teaches core cybersecurity courses including Software Security (CSE 545) and Information Assurance (CSE 365). His teaching spans multiple semesters through 2025, covering practicums, internships, and special topics in computing security. Dr. Wang co-founded the angr binary analysis platform and contributes to Arizona State University's security research ecosystem through leadership roles in the Center for Cybersecurity & Trusted Foundations and Biodesign Center for Biocomputing, Security and Society.

Debjit Palمشاهده پروفایل

پژوهشگر ارشد

• Machine Learning for Electronic Design Automation (EDA)
• System-on-Chip (SoC) Verification
• Hardware Verification
• +۶ مورد دیگر

Debjit Pal is a Post-Doctoral Associate at the School of Electrical and Computer Engineering, Cornell University, and a member of the Computer Systems Laboratory. His research focuses on machine learning techniques for hardware verification, SoC validation, and FPGA optimization. Education: Ph.D. in Computer Engineering (University of Illinois at Urbana-Champaign, 2019) M.S. in Computer Science (IIT Kharagpur, 2012) B.E. in Electronics Engineering (Jadavpur University, 2008) Research Interests: Machine Learning for Electronic Design Automation (EDA) System-on-Chip (SoC) Verification Edge Intelligence as a Service Compiler Optimizations for Reconfigurable and High-Performance Computing Scientific Awards: IEEE CEDA Student Research Award (2016) Best Paper Nomination (ICCAD 2015, DAC 2018, ASP-DAC 2019) E. J. McCluskey Best Doctoral Thesis Competition Semi-Finalist (2020) Travel Grants for ICCAD/DAC/ASPDAC (2018-2019) Professional Roles: Technical Program Committee Member (DAC, VLSID), Reviewer (IEEE TVLSI, DATE, ICCAD). Collaborates with researchers like Zhiru Zhang and Shobha Vasudevan.

• Cryptography
• Information Security
• Cryptographic Automation
• +۳ مورد دیگر

Christina L. Garman is an Assistant Professor in the Department of Computer Science at Purdue University, where she joined in Spring 2018. Her research focuses on practical cryptography and cryptographic automation to make secure system development accessible to non-experts through error-resistant design methodologies. Her educational background includes: Bachelor of Science in Computer Science and Engineering from Bucknell University (2011) Bachelor of Arts in Mathematics from Bucknell University (2011) Master of Science in Engineering in Computer Science from Johns Hopkins University (2013) Doctor of Philosophy in Computer Science from Johns Hopkins University (2017) Professor Garman's work centers on real-world cryptographic system security, spanning protocol analysis (e.g., RC4 in TLS, Apple iMessage flaws), decentralized anonymous systems (Zerocash/ZCash), and cryptographic automation. She pioneered techniques for removing human error in cryptographic deployments through automated tools and frameworks. Her research bridges theoretical cryptography with practical implementation challenges in privacy-preserving technologies and secure infrastructure. Analysis of her 2021-2025 publications reveals expanding research horizons: hardware security vulnerabilities (Rowhammer, SGX), privacy network enhancements (Tor onion services), software supply chain security (SBOM tools), and advanced cryptographic protocols (zkSNARKs, MPC). This evolution demonstrates consistent focus on real-world security impact while diversifying into hardware-software cross-layer threats and formal verification methods for cryptographic implementations. Her major scientific recognitions include: NSF CAREER Award (2021) for cryptographic automation research ACM CCS Best Paper Award (2016) for iMessage security analysis IEEE Test of Time Award (2024) for foundational Zerocash work Professor Garman co-founded ZCash, a privacy-focused cryptocurrency based on her Zerocash protocol, and her NSF CAREER grant supports cryptographic automation development. Her research has received significant media coverage in The Washington Post, Wired, and The New York Times, highlighting real-world relevance. While specific student advising details aren't public, her active publication record indicates ongoing mentorship of graduate researchers in security and cryptography. Her work maintains strong industry connections through ZCash development and Tor network contributions, with recent projects like keyless CDNs demonstrating practical applications of cryptographic automation. She remains a leading voice in cryptographic research communities through conference participation and collaborative projects addressing evolving security challenges.

Westley Weimerمشاهده پروفایل

استاد

• Automated Program Repair
• Software Engineering
• Programming Languages
• +۱۸ مورد دیگر

Westley Weimer is a Professor in the Department of Electrical Engineering and Computer Science (EECS) at the University of Michigan, College of Engineering. He teaches advanced courses such as EECS 590 (Advanced Programming Languages) and EECS 481 (Software Engineering), and has previously taught at the University of Virginia. His research integrates software engineering, programming languages, and cognitive science, focusing on automated program repair, program analysis, and the neuroscience of code comprehension. University: University of Michigan School: College of Engineering Department: Department of Electrical Engineering and Computer Science Academic Rank: Professor His research interests include automated program repair (e.g., GenProg), software quality, cognitive modeling of programming, neuroimaging studies of code review, and the application of medical imaging to software engineering. He explores deep questions at the intersection of consciousness, time, and computation, advocating for interdisciplinary approaches to understanding the mind through programming behavior. The most recent publications reflect a trend toward empirical and cognitive studies in software engineering, combining automated repair with human factors, neuroimaging (fMRI, TMS), and real-world software challenges. Themes include bias in code review, programming under cognitive influences, and the neurological basis of code comprehension. His work increasingly bridges computer science with psychology, neuroscience, and social science. Scientific awards include multiple Distinguished Paper Awards at ICSE, FSE, and ESEC/FSE, Best Paper and Runner-up awards, and several 10-Year Most Influential Paper Awards from ASE, GECCO, POPL, and ASPLOS, recognizing the lasting impact of his contributions to automated software repair and program analysis. He has advised numerous PhD and Master’s students, many of whom have gone on to faculty positions or industry research roles. He contributes to academic service through organizing diversity and inclusion initiatives, maintaining graduate career resources, and promoting ethical and inclusive practices in computing. He leads a vibrant research group focused on improving software quality through both technical and human-centered innovations, with ongoing projects in automated repair, cognitive modeling, and secure systems.

Liangming Panمشاهده پروفایل

استادیار

• Natural Language Processing
• Large Language Models
• Machine Learning
• +۳ مورد دیگر

Liangming Pan is an Assistant Professor at the University of Arizona's College of Information Science. His research focuses on building trustworthy large language models (LLMs) with an emphasis on logical reasoning, truthfulness, and safety. He holds a PhD in Computer Science from the National University of Singapore (2022), a Master's from Tsinghua University, and a Bachelor's from Beihang University. Education : PhD in Computer Science, National University of Singapore (2022) Master of Engineering in Computer Science, Tsinghua University (2017) Bachelor of Engineering in Computer Science, Beihang University (2014) Research Interests : Dr. Pan's work centers on enhancing LLMs' reliability through: Logical reasoning mechanisms to ensure faithful deductions Truthfulness verification to combat misinformation Safety protocols to mitigate societal harm Key Contributions : Developed TART, an open-source framework for explainable table-based reasoning Created benchmarks like SCITAB and FactCheck-Bench for evaluating LLMs Advanced techniques for knowledge editing and causal reasoning Awards : Best Paper Runner-Up at NeurIPS Table Representation Workshop (2024) Area Chair Award for Question Answering (IJCNLP-AACL 2023) Service & Outreach : He serves as an Area Chair for EMNLP (2024), COLING (2025), and ACL (2024). He has delivered invited talks at Tsinghua University, Peking University, and other institutions.

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

استادیار

• Security and Privacy
• Trustworthy Machine Learning
• Software Engineering
• +۳ مورد دیگر

Shiqing Ma is an Assistant Professor in the Manning College of Information and Computer Sciences at the University of Massachusetts Amherst. Previously, he held a faculty position at Rutgers University from 2019 to 2023. He earned his Ph.D. in Computer Science from Purdue University (2019) and B.E. from Shanghai Jiao Tong University (2013). His research focuses on secure, intelligent, and transparent computing systems, particularly at the intersection of security, AI, and software systems. Key areas include integrating machine learning into software systems, ensuring algorithmic security through program analysis, and developing novel system architectures. Professor Ma's work has been recognized with prestigious awards, including the NSF CAREER Award (2023), and distinguished paper awards at USENIX Security (2017) and NDSS (2016). He actively contributes to the academic community through editorial roles and program committees in security, privacy, and software engineering. His research explores topics like backdoor attacks, AI safety, and bias mitigation in large language models. Recent articles emphasize defense mechanisms against adversarial attacks, watermarking techniques, and automated debugging systems for machine learning pipelines.

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

استادیار

• Mobile and Wearable Security
• Adversarial Machine Learning
• Privacy
• +۵ مورد دیگر

Charles Walter is an Assistant Professor of Computer and Information Science at the University of Mississippi, joining in Fall 2019. He holds a PhD in Computer Science from The University of Tulsa (2018), with prior degrees from the same institution (M.Sc 2016; B.S. 2014). His research focuses on Mobile and Wearable Security, Adversarial Machine Learning, Privacy, Malware Analysis, Fog Computing, and Self-Adaptive Systems. He leads the SPARC Lab, exploring cutting-edge topics like data privacy, malware detection, and security in fog computing environments. Education: B.S. Computer Science, University of Tulsa (2014) M.Sc Computer Science, University of Tulsa (2016) Ph.D. Computer Science, University of Tulsa (2018) Research Interests: His work addresses critical challenges in cybersecurity, including securing low-power wearable devices through fog computing architectures, developing adversarial machine learning defenses, and investigating human factors in code trustworthiness. Recent projects include studying privacy threats in diffusion models and creating frameworks for robust stability estimation in AI systems. Lab Activities: The SPARC Lab actively researches topics such as adversarial ML attacks, privacy-preserving video processing, and adaptive system security. Collaborative efforts focus on real-world applications like improving university transportation systems through smart bike rental programs.

Kuanshi Zhongمشاهده پروفایل

استادیار

• Structural Engineering
• Earthquake Engineering
• Seismic Design and Safety
• +۴ مورد دیگر

Kuanshi Zhong is an Assistant Professor in the Department of Civil and Architectural Engineering and Construction Management at the University of Cincinnati. He holds a PhD from Stanford University (2021) in Civil and Environmental Engineering, with prior degrees from Stanford (Master, 2017) and Tongji University (Bachelor, 2015). His research focuses on earthquake engineering, structural resilience, and advanced computational methods for infrastructure safety. Key research interests include seismic design of tall buildings, probabilistic modeling of structural response (e.g., using Probabilistic Learning on Manifolds), and material failure mechanisms in reinforced concrete. He also explores multi-hazard resilience, regional risk assessment, and software tools for disaster simulation (e.g., R2DTool and EE-UQ). Dr. Zhong has secured grant funding as PI/Co-PI, including a National Science Foundation grant (2023-2026) for equitable building decarbonization strategies and a Concrete Reinforcing Steel Institute grant (2024-2025) for bar performance improvements. He teaches graduate/undergraduate courses on concrete design and structural mechanics. His work spans collaborations with institutions like Stanford University and the SimCenter, contributing to open-source tools for regional loss assessments and hurricane impact modeling. Current projects address cascading hazards, steel reinforcement durability, and high-resolution seismic risk evaluation.

Laurie Williamsمشاهده پروفایل

استاد

• Software Security
• Agile Software Development
• Software Supply Chain Security
• +۴ مورد دیگر

Laurie Williams serves as a Goodnight Distinguished University Professor in the Computer Science Department within the College of Engineering at North Carolina State University. She co-directs both the NCSU Secure Computing Institute and the NC State Science of Security Lablet, demonstrating deep institutional leadership in cybersecurity research. With over 260 refereed publications, her work establishes her as a prominent figure in software security academia. Her research spans critical areas including software security, agile development practices (particularly continuous deployment), software reliability, and software supply chain security. Williams focuses on practical security solutions addressing modern challenges like malicious dependencies in open-source ecosystems, AI-generated code vulnerabilities, and runtime protection mechanisms. Her work bridges theoretical security principles with industry-relevant applications. Recent publications reveal strong trends toward software supply chain security, with multiple 2024-2025 papers addressing vulnerability exploitability, malicious commit detection, and metrics-driven security control selection. Her research increasingly incorporates machine learning for threat detection while maintaining focus on human factors in secure development practices. IEEE Fellow (2018) National Science Foundation CAREER Award (2004) ACM SIGSOFT Influential Educator Award (2009) Multiple IBM Faculty Awards (2002-2012) NCSU Alumni Association Outstanding Research Award (2015-2016) Williams leads multiple major NSF-funded projects including the $5.7M SaTC Frontiers grant on secure software supply chains and the Science of Security Lablet with $3.6M in DoD funding. Her research emphasizes practical industry impact through collaborations with Cisco and Laboratory for Analytic Sciences. She actively mentors through the NCSU Research Leadership Academy and maintains significant educational outreach in software security. Her laboratory work centers on the Secure Computing Institute and Science of Security Lablet, where her team develops frameworks for vulnerability prediction, supply chain risk assessment, and secure development methodologies. Current projects focus on machine learning integrity, cognitive modeling for security decisions, and empirical analysis of build/deployment logs for anomaly detection.

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

استاد

• Machine Learning
• Artificial Intelligence
• Natural Language Processing
• +۵ مورد دیگر

Dr. John Hastings is a Professor in the Department of Computer Science at Dakota State University, part of the Beacom College of Computer & Cyber Sciences. With nearly 35 years of experience, he specializes in teaching and curriculum development in computer science, combining academic rigor with industry insights from his roles as an AI/ML engineer, team leader, and business owner. Education: Ph.D., Computer Science, University of Wyoming M.S., Computer Science, University of Wyoming B.S., Computer Science, University of Wyoming Research interests include machine learning, AI applications in natural language processing (LLMs), generative AI, computer vision, ecological/environmental AI, AI in games, and gamification in education. Recent publications focus on cybersecurity challenges, AI ethics, and insider threat detection. His work has been recognized with awards such as the AAAI’s Innovative Applications of Artificial Intelligence (IAAI) Award and an International IPM Award for Excellence related to the CARMA AI tool. Teaching emphasizes active learning and practical skills, including courses on programming, data structures, AI, and cybersecurity. He advocates for gamification in education to enhance student engagement and success.