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

Srinivas Narayanaمشاهده پروفایل

استادیار

• Computer Networks
• Formal Verification
• Compilers
• +۴ مورد دیگر

Srinivas Narayana is an Assistant Professor in the Department of Computer Science at Rutgers University, specializing in programmable networking, formal verification, and systems research. He holds a PhD from Princeton University and a B.Tech from IIT Madras, with postdoctoral work at MIT. His research focuses on building safe, high-performance networks through optimizing compilers, verified programming, and distributed system monitoring. He has received NSF grants, the CGO 2022 Distinguished Paper Award, and the 2017 SIGCOMM Best Paper Award. Education: PhD and MA in Computer Science, Princeton University (2016) B.Tech in Computer Science, IIT Madras (2010) Postdoctoral Research, MIT (2018) Research Interests: His work bridges networking and systems with a focus on compilers, formal methods, and programmable hardware. Notable projects include K2 compiler for eBPF, the eBPF verifier soundness work, and congestion control mechanisms like CCP. He explores parallel packet processing, privacy-preserving analytics, and load balancing strategies. Grants & Awards: NSF Awards #2422076, #1910796, #2019302 eBPF Foundation Grant Facebook Networking Research Award Network Programming Initiative (NPI) Funding Lab & Teams: Leads the NetSys group at Rutgers, collaborating with teams on projects like the eBPF verifier, verified packet processing, and network monitoring tools like Marple. His lab emphasizes open-source contributions and industry collaboration.

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

دانشیار

• Operating Systems
• Distributed Systems
• Parallel Computing
• +۱۳ مورد دیگر

Dr. Jia Rao is an Associate Professor in the Department of Computer Science and Engineering at the University of Texas at Arlington, College of Engineering. He previously served as an Assistant Professor at the University of Colorado, Colorado Springs from 2012 to 2016. His research spans operating systems, distributed and parallel computing, cloud computing, virtualization, and machine learning. Education: Ph.D., Computer Engineering, Wayne State University, 2011 M.S., Computer Science, Wuhan University, 2006 B.S., Computer Science, Wuhan University, 2004 Dr. Rao's research focuses on building adaptive, scalable, and efficient computer systems for cloud and data center environments. His interests include resource management, performance modeling, adaptive scheduling, and quality-of-service (QoS) guarantees in virtualized and containerized systems. He combines machine learning and feedback control techniques with low-level system design to improve efficiency, fairness, and predictability in heterogeneous and multi-tenant environments. An analysis of his recent publications reveals a strong trend toward memory and resource management innovations in cloud-native systems. His work explores tiered memory architectures, secure container deployment, preemptive multitasking for deep learning, and efficient packet processing in container networks. These efforts reflect a consistent focus on optimizing system-level performance, security, and scalability in modern data centers. Scientific Awards: NSF CAREER Award (2019) Best Paper Award, APSys (2016) Best Paper Award, ICAC (2013) Best Paper Nomination, HPCA (2013) Best Paper Nomination, HPDC (2013) Best Paper Award, Middleware (2021) Researcher of the Year, UCCS (2014) Dr. Rao actively advises students and serves on dissertation and thesis committees for numerous Ph.D. and Master’s candidates. He leads federally funded research projects supported by the National Science Foundation, including a major CAREER grant on virtualized architectures and collaborative big data initiatives. His research has been sponsored by NSF, IEEE, and Intel Corporation, reflecting strong industry and academic collaboration. He leads and contributes to major research labs and teams focused on cloud systems, operating systems, and performance optimization. His team has produced high-impact work in top-tier venues such as OSDI, SOSP, ATC, EuroSys, and ICDCS. Current and future work includes next-generation memory architectures using CXL, intelligent resource provisioning, and resilient container networking.

Alexandru G. Bardasمشاهده پروفایل

دانشیار

• Cybersecurity
• Systems Security
• Moving Target Defenses
• +۹ مورد دیگر

Alexandru G. Bardas is an Associate Professor at the University of Kansas in the Department of Electrical Engineering & Computer Science (EECS) and the Institute for Information Sciences (I2S) . He received his PhD from Kansas State University under advisors Xinming (Simon) Ou and Scott A. DeLoach. His research focuses on cybersecurity from a systems perspective , including moving target defenses, security operations center (SOC) metrics, DevOps security, power grid cybersecurity, and defensive technologies for political activists. He explores UDP-based DDoS detection, DNS traffic analysis, and the intersection of AI with cybersecurity, emphasizing foundational knowledge over tool-specific training. Key research areas: Cybersecurity, Systems Security, Moving Target Defenses, SOC Metrics, DevOps Security Recent publications in ACSAC 2024 , USENIX Security 2024/2023 , and IEEE Security & Privacy 2022 Dr. Bardas has received significant recognition including: NSF CAREER Award (2022) for SOC automation Bellows Scholar (2021) at KU NSA SoS Honorable Mention (2023) He actively advises students across disciplines, with graduates now at Sandia National Laboratories , Blue Cross Blue Shield , and Pacific Northwest National Laboratory . Dr. Bardas participates in NSF grant reviews , serves on program committees for SOUPS and MILCOM , and leads outreach initiatives like the GenCyber Summer Camp .

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

دانشیار

• Computer-Aided Drug Design
• Machine Learning
• Artificial Intelligence
• +۸ مورد دیگر

Xiang Wang is an Associate Professor in the Department of Pharmaceutical Sciences at Howard University College of Pharmacy, where he also directs the Artificial Intelligence and Drug Discovery Core Laboratory for the District of Columbia Center for AIDS Research (DC CFAR). With approximately 20 years of experience, his work bridges computational methods and pharmaceutical innovation. Dr. Wang's research focuses on advancing drug discovery through cutting-edge technologies. His expertise includes computer-aided drug design (CADD) , machine learning , structure-based drug design (SBDD) , high-throughput screening (HTS) , and biomolecular simulation . He has been actively integrating virtual reality (VR) , augmented reality (AR) , and artificial intelligence (AI) into both pharmacy education and research, reflecting a forward-looking interdisciplinary approach. He has secured over 20 grants from federal, state, university, and international funding bodies and has published around 50 peer-reviewed articles, reviews, book chapters, and patents, along with 190 conference abstracts and invited lectures. His scholarly impact is further amplified by his service as a reviewer for more than 45 major journals, including the Journal of Medicinal Chemistry and Journal of Chemical Information and Modeling . National Institutes of Health (NIH) National Aeronautics and Space Administration (NASA) American Association of Colleges of Pharmacy (AACP) Alzheimer’s Drug Discovery Foundation (ADDF) Dr. Wang has served on review panels for prominent funding agencies such as the NIH, NASA, AACP, and ADDF, contributing to the evaluation and advancement of scientific research in his fields. His leadership in the AI and Drug Discovery Core underscores his role in building research infrastructure and mentoring in a high-impact domain. While specific advisees are not listed, his extensive grant activity and lab direction suggest active student and postdoctoral involvement. His work in developing immersive technologies for professional pharmacy education highlights a commitment to innovation in teaching. The convergence of AI, VR, and AR in his research program points to a vision of next-generation drug discovery and pedagogy.

Shirin Nilizadehمشاهده پروفایل

دانشیار

• Cybersecurity
• Privacy
• Social Media Analysis
• +۷ مورد دیگر

Dr. Shirin Nilizadeh is an Associate Professor in the Department of Computer Science and Engineering at The University of Texas at Arlington's College of Engineering. She leads the Security and Privacy Research Lab, conducting interdisciplinary research at the intersection of cybersecurity, privacy, machine learning, and social media analysis. Her work addresses critical societal issues related to online security, privacy, and safety through data-driven approaches. Dr. Nilizadeh received her PhD in Computer Science from Indiana University in 2014, followed by MS in Computer Science from Amirkabir University (2007) and BS in Computer Engineering from Islamic Azad University (2004). Her research focuses on security and privacy in systems and social networks, employing techniques from machine learning and big data analytics. She takes a highly interdisciplinary approach, integrating AI, NLP, social sciences, and public health to address societal issues in cybersecurity and privacy. Her research objectives include: (1) detecting and characterizing emerging threats in online social networks like social engineering attacks, misinformation, and online hate speech; (2) advancing the adversarial robustness and fairness of ML and NLG systems; and (3) studying humans' online behaviors through data-driven interdisciplinary research. Analysis of her recent publications reveals a strong focus on AI-generated security threats, particularly phishing scams using LLMs, NFT fraud detection, social media toxicity analysis, and content moderation systems. Her work bridges theoretical security research with practical applications, often addressing real-world security challenges through innovative technical solutions. Among her notable scientific achievements are the prestigious NSF CAREER award (2023), Comcast Innovation Awards (2022 and 2024), College of Engineering Outstanding Early Career Research award (2024), and IEEE SP 2024 Distinguished Paper Award. Her work has also received best paper and technical poster awards at eCrime 2021 and NDSS 2022. Dr. Nilizadeh has successfully mentored numerous doctoral and master's students while securing significant research funding, including multiple NSF grants and Comcast Innovation Fund awards. She leads a vibrant research group that has produced impactful work cited in official reports submitted to The Supreme Court and the EU Committee on Civil Liberties, Justice, and Home Affairs. Her lab has also received coverage from WIRED, MIT Technology Review, Orange's Hello Future, and Communications of the ACM. She serves on numerous program committees for top international conferences including ACM CCS, USENIX Security, and POPETS, and has organized outreach programs like OurCS@DFW to broaden participation of underrepresented students in computing.

• Program Verification
• Program Synthesis
• Concurrency
• +۳ مورد دیگر

Roopsha Samanta serves as an Assistant Professor in the Department of Computer Science at Purdue University, where she leads the Purdue Formal Methods (PurForM) research group and participates in the Purdue Programming Languages (PurPL) initiative. Her academic foundation includes a PhD from the University of Texas, Austin (2013) and postdoctoral research at the Institute of Science and Technology Austria prior to joining Purdue in 2016. Education: PhD in Computer Science, University of Texas, Austin (2013) Postdoctoral Researcher, Institute of Science and Technology Austria Professor Samanta's research centers on bridging formal methods with programming languages to enhance software reliability, with core expertise in program verification, program synthesis, and concurrency. Her work uniquely targets both professional developers and non-programmers, developing techniques to ensure programs align with user intent through automated reasoning and synthesis. Recent efforts focus on distributed systems verification where traditional methods face scalability challenges. Analysis of her 2020-2024 publications reveals a dominant trajectory in distributed agreement systems, particularly advancing parameterized verification for unbounded process networks. Key innovations include bounded verification techniques for doubly-unbounded systems, explainable synthesis through specification localization, and secure multi-party computation frameworks like HACCLE. Her work consistently integrates theoretical formal methods with practical system implementation. Scientific Awards: NSF CAREER Award (2019) for “Robustness of Inductive Reasoning Engines” Amazon Research Award (2021) supporting secure computation research Her research is primarily funded through competitive grants including the NSF CAREER award and Amazon Research Award, enabling exploration of verification robustness and secure multi-party computation. While specific advising details aren't publicly documented, her leadership of the PurForM group indicates active mentorship of graduate researchers in formal methods. Current projects suggest expanding applications to privacy-preserving technologies and explainable AI-assisted programming. The PurForM research group, under her direction, develops foundational tools for program verification and synthesis with emphasis on distributed and concurrent systems. Collaborations within PurPL and industry partners like Amazon drive translational research from theoretical models to practical verification frameworks applicable to real-world distributed infrastructure.

Fei Heمشاهده پروفایل

دانشیار

• formal methods
• program analysis
• automated reasoning
• +۲ مورد دیگر

Fei He is an Associate Professor at Tsinghua University's School of Software, where he leads the THUFV research lab focused on formal verification and program analysis. His research spans formal methods, automated reasoning, and program verification, with applications in concurrent systems, networking (P4 programs), and probabilistic systems. Education & Employment: PhD from Tsinghua University (2008) Visiting Scholar at Carnegie Mellon University (2010-2011) and Politecnico di Milano (2006-2007) Faculty positions at Tsinghua since 2008 (Assistant Professor 2008-2011, Associate Professor 2011-present) Research: He's developed innovative techniques in SMT solving for concurrency verification, termination analysis, and regression verification. His tools like Deagle have won gold medals at SV-COMP. Current work focuses on probabilistic program verification and network program analysis. Publications: His 80+ publications demonstrate consistent contributions across formal methods (PLDI, OOPSLA, ICSE), networking (NSDI, INFOCOM), and software engineering (TSE, TOSEM), with recent emphasis on data-driven verification and automated invariant inference. Awards: Gold Medals in SV-COMP ConcurrencySafety (2022, 2023, 2025) Best Paper Awards at PPoPP 2022 and SETTA 2022 Advising: Mentors 13 PhD/Master's students in THUFV lab, with graduates joining Huawei, MPI-SP, and research institutions. Secured multiple NSF China grants for trustworthy software research. Service: Associate Editor for Theory of Computing Systems, program committees for PLDI/ICSE/OOPSLA, and former Local Chair for ISSTA 2019.

Matthew Grilliمشاهده پروفایل

دانشیار

• Neuropsychology
• Cognitive Neuroscience
• Memory
• +۶ مورد دیگر

Matthew Grilli is an Associate Professor in the Department of Psychology at the University of Arizona , where he directs the Clinical Program, Neuropsychology Minor, and Human Memory Lab. His research spans the neuropsychology and cognitive neuroscience of autobiographical memory, imagination, and cognitive aging, with a focus on disorders like amnesia and Alzheimer’s disease. His work investigates individual differences in autobiographical thought , the impact of aging on memory specificity, and innovative neuropsychological assessment methods. Recent publications highlight aging-related changes in memory dynamics, brain structure-function relationships, and real-world applications such as phishing vulnerability and bilingualism’s role in cognitive aging. Grilli’s research utilizes naturalistic observation and computational approaches (e.g., latent brain state analysis, large language models) to study memory coherence, emotional simulation, and intergenerational conversations. He is also involved in developing tools like the Phishing Email Suspicion Test (PEST) to assess cognitive mechanisms in aging populations. The Human Memory Lab under his direction explores memory’s intersection with well-being, identity, and brain health, employing multimodal methodologies to address both theoretical and applied questions in cognitive neuroscience.

Clara Colombattoمشاهده پروفایل

استادیار

• Cognitive Psychology
• Social Psychology
• Vision Science
• +۵ مورد دیگر

Dr. Clara Colombatto is an Assistant Professor in the Department of Psychology at the University of Waterloo, where she directs the Vision and Cognition Lab. She holds an honorary lecturer position at University College London and a PhD from Yale University. Her research explores how visual perception extracts social and cognitive states from others, focusing on attentiveness, confidence, and metacognition. She investigates non-biological agents like AI and the perceptual roots of social cognition, including group dynamics and moral judgment. Education: BS in Neuroscience and Philosophy, Duke University PhD in Psychology, Yale University Postdoctoral Research Fellow, University College London Research Interests: Perception of attentiveness and metacognition, social group perception, AI ethics, moral judgment, and visual cognition. Her work bridges cognitive psychology, vision science, and social psychology to understand how humans perceive other minds and interact with non-human agents. Recent Trends in Articles: Recent work emphasizes human-AI collaboration, trust in technology, and perceptual foundations of social interaction. Key themes include gaze dynamics, confidence attribution in AI, and optimal group size perception. Grants & Collaborations: Collaborates with institutions like Princeton University, University of Oxford, and Microsoft Research. Her team includes students working on topics like robot teleoperation and moral narratives. Labs & Teams: Leads the Vision and Cognition Lab at Waterloo, focusing on experimental psychology and computational modeling. Current projects explore metacognition in advice-taking and perceptual grouping in social interactions.

Janarthanan Rajendranمشاهده پروفایل

استادیار

• Reinforcement Learning
• Deep Learning
• Artificial Intelligence
• +۱۲ مورد دیگر

Janarthanan Rajendran is an Assistant Professor and the Sexton Chair in Reinforcement Learning at the Faculty of Computer Science, Dalhousie University, in Halifax, Nova Scotia, Canada. He is actively involved in research, teaching, and mentoring, with a focus on deep reinforcement learning and its applications in complex, dynamic environments. Education: Postdoctoral Fellow, Mila Quebec AI Institute and University of Montreal, Canada (2023) PhD in Computer Science and Engineering (AI stream), University of Michigan, Ann Arbor, USA (2021) MTech and BTech in Electrical Engineering, Indian Institute of Technology Madras, India (2016) His research focuses on enabling machines to learn through interaction, with core interests in deep reinforcement learning, model-based RL, multi-agent systems, transfer learning, and applications in materials science and economics. He also explores the integration of large language models and foundation models into reinforcement learning frameworks. His work emphasizes adaptivity, lifelong learning, and societal implications of AI. The most recent publications show a strong trend in advancing cooperative multi-agent systems, developing adaptive and memory-efficient RL methods, and applying RL to real-world challenges such as crystal design and dynamic pricing. His research bridges theoretical innovation with practical application, often in interdisciplinary contexts. Scientific Awards: Sexton Chair in Reinforcement Learning Dr. Rajendran is actively involved in mentoring graduate students and fostering an inclusive research environment. He is currently recruiting PhD and MCS students at Dalhousie University. He has no formal grants listed in the text, but his research chair and active publication record suggest strong funding support. He is also engaged in the broader AI community, having organized and participated in major conferences such as the Atlantic Canada AI Summit and NeurIPS. Labs and Research Groups: He leads a research group focused on deep reinforcement learning at Dalhousie University, working on topics including model-based RL, off-policy learning, and leveraging external knowledge sources. The group emphasizes inclusivity and supports underrepresented groups in computer science research.

Changcheng Huangمشاهده پروفایل

استاد

• Machine Learning
• Network Architecture
• Optical Networks
• +۳ مورد دیگر

Changcheng Huang is a Professor at Carleton University's Department of Systems and Computer Engineering, part of the Faculty of Engineering and Design. He holds a Ph.D. from Carleton University and is licensed as P.Eng. His research focuses on Machine Learning, Network Architecture, and Optical Networks, emphasizing resource optimization and protocol design. Dr. Huang leads the Advanced Optical Network Laboratory (AONL), funded by CFI and OIT, which explores optical network technologies and interworking with electronic networks. His lab includes state-of-the-art equipment like Nortel switches and photonic switches. Recently, he advised PhD students Qiao Lu, Khoa Nguyen, and others, and completed postdoc Eslam G. AbdAllah. RA positions are available at both master's and PhD levels. His work spans publications in journals like IEEE Transactions and conferences such as Globecom and ICC. Research areas include intelligent network control mechanisms, wireless networks, and network protocol implementation. Education: Ph.D. (Carleton University). Research interests also include modeling/simulation techniques and reliability mechanisms for optical networks. He teaches courses like SYSC 5108 (Deep Learning) and SYSC 4602 (Computer Communications). Grants funded by CFI and OIT support his lab's optical networking projects. Over 150+ publications highlight his contributions to virtual network embedding, edge computing, and optical data center networks. Lab facilities include OMM photonic switches, Nortel routers, and Dell servers. Collaborative projects involve industry and academic partnerships, advancing interworking technologies between optical and electronic networks. His work bridges theoretical research with practical implementations, addressing challenges in network scalability, energy efficiency, and reliability.

• Artificial Intelligence
• Neuroscience
• Cognitive Sciences
• +۴ مورد دیگر

Dr. Pedro Mediano is a Lecturer in Computing at Imperial College London's Department of Computing (Faculty of Engineering). His research focuses on complex systems, information theory, and their applications in neuroscience, artificial intelligence, and cognitive science. He is affiliated with the Artificial Intelligence Network and leads interdisciplinary projects exploring synergistic interactions in brain dynamics, psychedelic neurodynamics, and causal emergence. Key research areas include quantifying high-order interactions in complex systems, developing information-theoretic tools for analyzing neural data, and modeling consciousness through integrated information theory. Mediano has pioneered frameworks like the Shannon invariants for scalable information decomposition and developed software tools such as THOI for analyzing higher-order interactions. Recent work examines how psychedelics alter brain entropy, the role of metastability in cognitive processes, and the computational principles underlying causal emergence in machine learning models. His studies integrate mathematical rigor with empirical neuroscience, bridging theoretical and applied domains. Mediano has collaborated on whole-brain models of psychedelic-induced neural complexity and explored the interplay between oxygen metabolism and brain evolution. He holds affiliations with Imperial's AI Network and regularly publishes in top journals across computational neuroscience and complexity science. Current projects include developing open-source tools for information decomposition and investigating the neural correlates of consciousness under altered states.

Murphy Yuezhen Niuمشاهده پروفایل

استادیار

• Quantum Computing
• Quantum Error Correction
• Machine Learning
• +۳ مورد دیگر

Murphy Yuezhen Niu is an Assistant Professor and Stansbury Chair in Computer Science at the University of California, Santa Barbara (UCSB), since 2024. She holds an adjunct role as Adjunct Assistant Professor at the University of Maryland, College Park, and the University of Maryland Institute for Advanced Computer Studies. Niu earned her Ph.D. in theoretical and mathematical physics from MIT (2018) and a B.A. in Physics from Peking University. Her research focuses on quantum computing paradigms, including quantum control optimization, quantum error correction, quantum machine learning, and scalable quantum architectures. Her work applies deep reinforcement learning and generative models to quantum systems, with contributions to superconducting qubit-based processors, ion traps, photonic systems, and neutral atom qubits. Niu's research emphasizes reducing the computational cost of quantum digitization while achieving real-world impacts. Notable achievements include the Claude E. Shannon Research Assistantship for her work in photonic quantum computation and quantum cryptography. Niu’s publications (2021–2025) span topics like quantum error correction thresholds, hybrid analog-digital quantum simulators, and machine learning-driven quantum decoding. Her research bridges theoretical physics and applied quantum computing, with a focus on fault-tolerant architectures and scalable quantum control protocols. Education: Ph.D., Physics, MIT (2018) B.A., Physics, Peking University Awards: Claude E. Shannon Research Assistantship Labs/Teams: Google Quantum AI Team (former role) UCSB Quantum Computing Research Group

Sriraam Natarajanمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• Statistical Relational Learning
• +۵ مورد دیگر

Sriraam Natarajan is a Professor and Director of the Center for Machine Learning at the Erik Jonsson School of Engineering & Computer Science, University of Texas at Dallas. He previously served as an Associate Professor at Indiana University (on leave since 2017) and Wake Forest School of Medicine. His research focuses on artificial intelligence, machine learning, and their biomedical applications, particularly in relational learning, reinforcement learning, and graphical models. He leads the StaRLing Lab and holds fellowships from hessian.AI and RBCDSAI. Education: PhD in Computer Science from Oregon State University (2007), advised by Prasad Tadepalli. Postdoctoral research at University of Wisconsin-Madison under Jude Shavlik and David Page. Research interests span statistical relational AI, causal inference, and healthcare applications. Notable awards include AAAI Fellow (2025), UTD Outstanding Graduate Teaching Award, and roles as AAAI Program Co-Chair and CODS-COMAD 2024 co-chair. Students supervised include over 20 PhD/MS graduates and current advisees in AI and machine learning. Active in editorial roles for JAIR, Machine Learning Journal, and conference PCs (ICML, AAAI, NIPS).

Alexei Vernitskiمشاهده پروفایل

مدرس ارشد

• Artificial Intelligence
• Knot Theory
• Algebra
• +۳ مورد دیگر

Dr. Alexei Vernitski is a Senior Lecturer in the School of Mathematics, Statistics and Actuarial Science (SMSAS) at the University of Essex. His research focuses on applying artificial intelligence (including reinforcement learning and deep learning) to mathematical problems in knot theory, algebra (e.g., braid theory), and universal algebra. He also explores mathematics education, particularly enhancing student motivation. Previously, he worked in the financial sector as a programmer and as a computer science lecturer. His research interests span AI-driven knot theory, algebraic structures (semigroups, groups), and mathematics education. Notable areas include the application of neural networks to braid untangling, automated reasoning in knot diagrams, and cognitive studies on math anxiety using EEG. He has supervised PhD students in mathematics education, universal algebra, and computer science applications of mathematics. His recent work demonstrates trends in combining machine learning with topological and algebraic problems, emphasizing practical AI solutions for abstract mathematical challenges. His articles reflect interdisciplinary approaches, merging computer science techniques with pure mathematics. Dr. Vernitski has advised multiple PhD students, contributing to diverse fields from knot theory to educational technology. His work bridges theoretical mathematics with real-world applications, such as optimizing data transmission and enhancing learning systems through neuroadaptive methods.