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

Thomas Hofmannمشاهده پروفایل

استاد

• Machine Learning
• Deep Learning
• Natural Language Understanding
• +۳ مورد دیگر

Prof. Dr. Thomas Hofmann is a Full Professor and Head of the Department of Computer Science at ETH Zurich since 2014. He also leads the Institute for Machine Learning. His research focuses on machine learning, deep learning, natural language understanding, and text understanding. Hofmann holds a Ph.D. from the University of Bonn (1997) and has held academic positions at Brown University (1999–2004) and TU Darmstadt. He transitioned to industry as Director of Engineering at Google (2006–2014), leading the Zurich R&D center, before returning to academia. He co-founded Recommind (2000) and 1plusX (Swiss marketing tech company), currently serving as Chief Scientist and board member at 1plusX. Education: Ph.D. in Computer Science, University of Bonn (1997) Postdoctoral Work: MIT (CBCL/AI Lab), UC Berkeley (EECS/ICSI) His research explores advanced machine learning techniques, including diffusion models, generative adversarial networks, and optimization dynamics. Hofmann’s entrepreneurial ventures reflect his focus on applying AI to real-world challenges, such as e-discovery and marketing technology. His work spans theoretical contributions (e.g., neural network training dynamics, continual learning) and applied innovations (e.g., image editing, portrait generation). Hofmann actively bridges academia and industry, influencing both research and commercial AI applications.

Nadia Figueroaمشاهده پروفایل

استادیار

• Robot Learning from Demonstration
• Human-Robot Collaboration
• Dynamical Systems
• +۵ مورد دیگر

Nadia Figueroa is the Shalini and Rajeev Misra Presidential Assistant Professor in the Mechanical Engineering and Applied Mechanics (MEAM) Department at the University of Pennsylvania. She holds secondary appointments in Computer and Information Science (CIS) and Electrical and Systems Engineering (ESE), and is a core faculty member at the GRASP Lab. Prior to Penn, she was a Postdoctoral Associate at MIT’s CSAIL and earned her PhD in Robotics from EPFL under Prof. Aude Billard. Her research focuses on physical and perceptual adaptive intelligence for robots, enabling fluid collaboration with humans in dynamic environments. Key applications include robot learning from demonstration , human-robot co-manipulation , safe navigation in human-centric spaces , and rehabilitation robotics . Her work integrates machine learning control theory artificial intelligence biomechanics psychology with guarantees of stability, safety, and robustness . Recent publications highlight advancements in reactive collision avoidance dynamical system learning intent estimation EEG-driven assistive control origami-based reconfigurable robots across platforms like autonomous vehicles and humanoid robots. She has authored a 2022 textbook on dynamical systems for robot control and received the Presidential Assistant Professorship at Penn.

Osbert Bastaniمشاهده پروفایل

دانشیار

• Machine Learning
• Neurosymbolic AI
• Program Synthesis
• +۱۰ مورد دیگر

Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)

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.

Richard M. Murrayمشاهده پروفایل

استاد

• Control Theory
• Autonomous Vehicles
• Biological Circuit Design
• +۳ مورد دیگر

Richard M. Murray is the Thomas E. and Doris Everhart Professor of Control and Dynamical Systems and Bioengineering at the California Institute of Technology (Caltech). He holds a B.S. from Caltech (1985), M.S. from UC Berkeley (1988), and Ph.D. from UC Berkeley (1990). He has served in academic roles from Assistant Professor (1991–1997) to his current endowed professorship. He chaired the Engineering and Applied Science division (2000–2005) and Biology and Biological Engineering (2020–2024). His research focuses on feedback control in biological and autonomous systems, synthetic cells, and networked control systems. Collaborators include experts in robotics, synthetic biology, and systems biology. Key awards include the IEEE Control Systems Award and election to the National Academy of Engineering. His educational contributions span courses on control systems, robotics, and bioengineering. Current research projects include the Developer Cell initiative (Sloan Foundation), layered testing for autonomous systems (AFOSR), and microbiome-based environmental solutions (CHARMME, ARO). He advises numerous graduate students and postdocs, with notable alumni in academia and industry. Labs include facilities in Keck and Steele laboratories at Caltech. His work bridges control theory, synthetic biology, and autonomous systems to address societal challenges like environmental monitoring and safe autonomy.

Insup Leeمشاهده پروفایل

استاد

• Cyber-physical Systems
• Real-time and Embedded Systems
• Safe Autonomy
• +۳ مورد دیگر

Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of the PRECISE Center at the University of Pennsylvania's School of Engineering and Applied Science. He holds a secondary appointment in the Department of Electrical and Systems Engineering and the Perelman School of Medicine’s Department of Biostatistics, Epidemiology, and Informatics. IEEE TCCPS Distinguished Leadership Award (2023) Fellow of the AAAS (2022) Test of Time Award, Runtime Verification (2019) Fellow of the ACM (2017) Best Paper Awards at IEEE ICPS, ACM/IEEE ICCPS, and MEMOCODE His research focuses on cyber-physical systems , real-time and embedded systems , safe autonomy , and internet of medical things , with applications in healthcare and connected systems. He advises PhD students including Eric Lu, Kaustubh Sridhar, Sooyong Jang, and Jean Park (co-advised with Kevin Johnson). Recent publications address safety monitoring for learning-enabled systems, model-free control synthesis using reinforcement learning, and multilingual toxicity guardrails for large language models. His team collaborates with institutions like Hillrom and Penn Nursing to optimize medical device usage in clinical settings.

Shahram Ghiasinejadمشاهده پروفایل

مدرس ارشد

• Education Technology
• Student Engagement
• Equity in Education
• +۳ مورد دیگر

Shahram Ghiasinejad is a Senior Lecturer in the Department of Psychology at the University of Central Florida (UCF), affiliated with the College of Sciences. He joined UCF in 2007 and specializes in education technology, student engagement, and equity in academic settings. Dr. Ghiasinejad holds a B.A. in Computer Science from the University of Texas at Austin, and an M.S. and Ph.D. in Cognition and Neuroscience from the University of Texas at Dallas. Bachelor of Arts: Computer Science, University of Texas at Austin Master of Science: Applied Cognition and Neuroscience, University of Texas at Dallas Doctor of Philosophy: Cognition and Neuroscience, University of Texas at Dallas His research focuses on leveraging experimental and computational methods to understand human language comprehension, alongside innovative approaches to support underrepresented students through multimedia tools and undergraduate research initiatives. Recent work emphasizes equity and engagement in higher education, including strategies for transfer students and first-generation learners. Publications highlight themes such as JoVE video integration for marginalized students, the role of undergraduate research in fostering equity, and creative solutions for academic challenges faced by underrepresented groups. While no formal awards are listed, his work underscores a commitment to inclusive education and student success.

Rajeev Alurمشاهده پروفایل

استاد

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

Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.

• Behavioral Economics
• Experimental Economics
• Decision Theory
• +۳ مورد دیگر

Adam Zylbersztejn is an Assistant Professor (Maître de conférences HDR) at Université Lumière Lyon 2 and affiliated with GATE Lyon Saint-Etienne, a research group in economics. He holds a PhD from the Paris School of Economics (2013) and previously conducted postdoctoral research at WU Wien (Vienna University of Economics and Business). His research focuses on behavioral economics using experimental methods to study individual and interactive decision processes, particularly in contexts involving trust, strategic uncertainty, and cultural variability. Key research areas include behavioral game theory, experimental finance, and the impact of nonverbal communication in economic interactions. His work has been published in top journals such as Journal of Economic Psychology , Games and Economic Behavior , and Experimental Economics . Recent studies examine topics like anonymity effects in charitable giving, trust in market exchanges under oath, and cognitive processes in asset markets using eye-tracking technology. His ongoing projects include research on risk-incentive tradeoffs and ambiguity framing in decision-making. While no formal academic awards are listed, his work has received press coverage in outlets like Le Monde and CORTEX Mag . He collaborates widely with institutions such as GATE-LSE and the Paris School of Economics, contributing to both theoretical and applied economic inquiry.

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Databases
• +۵ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Loreta Vilkienėمشاهده پروفایل

استاد

• Applied Linguistics
• Foreign Language Teaching and Acquisition
• Language Testing
• +۹ مورد دیگر

Loreta Vilkienė is a Professor at the Department of Lithuanian Studies, Vilnius University, since October 2020, and served as its Head from 2018–2023. She has been affiliated with Vilnius University since 2007, initially as an Associate Professor, and has lectured since 2001. Her academic background includes a PhD in Humanities (2000) and a qualification as a philologist and teacher of Lithuanian (1986), both from Vilnius University. Education: PhD in Humanities, Vilnius University (2000) Philologist and Teacher of Lithuanian, Vilnius University (1986) Research Interests: Applied linguistics (foreign language teaching/assessment, language attrition, partial acquisition) and sociolinguistics (linguistic attitudes, diaspora language dynamics, language-identity links). Her work focuses on multilingualism, heritage language maintenance, and sociolinguistic transitions in post-Soviet contexts. Article Trends: Recent publications analyze language attitudes in Lithuania, lexical proficiency in native speakers, diaspora language policies in Kazakhstan and Russia, and sociolinguistic impacts on identity. Her studies integrate quantitative methods (e.g., vocabulary size estimation) and qualitative discourse analysis. Scientific Awards: Recipient of the 2006 Lietuvos Science Award (applied sciences) for collaborative work on Lithuanian language pedagogy. Grants & Projects: Managed EU-funded projects like ARQUS (2020) and international diaspora language studies (2020–2022). Active in UNESCO-related language preservation initiatives and digital outreach platforms. Outreach: Delivered public lectures on diaspora identity, contributed to podcasts, and authored 15+ peer-reviewed articles. Co-developed teaching tools like the Po truputį Lithuanian language series.

Jan von Delftمشاهده پروفایل

استاد

• Correlated electron systems
• Quantum impurity models
• Quantum criticality
• +۷ مورد دیگر

Jan von Delft is a Professor (chair) at Ludwig-Maximilians-University (LMU) Munich, working in the Faculty of Physics within the Chair of Theoretical Solid State Physics. His research group consists of postdocs, PhD students, and master's students working on various aspects of strongly correlated electron systems, with physical space located at Theresienstr. 37 (Room A420) in Munich. von Delft's research focuses on correlated electron and spin systems, with particular interest in dynamical and transport properties, quantum impurity models, Hund metals, unconventional superconductors, quantum magnets, and quantum criticality. His methodological expertise includes many-body field theory, parquet formalism (FRG), DMFT, and tensor networks (NRG, DMRG, PEPS, XTRG, etc.). His work bridges theoretical concepts with computational approaches to understand complex quantum phenomena in condensed matter systems. He has developed a distinctive emphasis on real-frequency calculations and numerical methods for studying quantum critical phenomena. Analysis of von Delft's recent publications reveals a strong focus on developing and applying advanced computational methods to study strongly correlated electron systems. His group has made significant contributions to numerical renormalization group techniques, tensor network methods, and the parquet formalism for calculating real-frequency correlation functions. His research shows increasing sophistication in handling quantum criticality, particularly in heavy-fermion systems, and exploring unconventional superconductivity mechanisms. Notably, his group has developed specialized computational libraries like KeldyshQFT to make these advanced methods more accessible to the broader physics community. von Delft actively mentors a substantial research group consisting of one postdoc (Markus Scheb), eleven PhD students (Anxiang Ge, Sasha Kovalska, Mathias Pelz, Marc Ritter, Nepomuk Ritz, Changkai Zhang, Markus Frankenbacher, Felipe Picoli, Simone Fodera, Ming Huang), and two master's students (Ester Pages, Gianluca Grosso). His detailed Style Guide for scientific communication demonstrates his commitment to high-quality research presentation. The group appears well-funded with ongoing research activities spanning theoretical development, computational implementation, and physical interpretation of complex quantum phenomena.

Charalampos Papamanthouمشاهده پروفایل

دانشیار

• Computer Security
• Applied Cryptography
• Verifiable Computations
• +۵ مورد دیگر

Charalampos Papamanthou is an Associate Professor of Computer Science at Yale University, where he also serves as Co-director of the Yale Applied Cryptography Laboratory and a member of the Yale Institute for Foundations of Data Science. He holds affiliations with the Yale Center for Algorithms, Data, and Market Design. Additionally, he is Chief Scientist at Lagrange Labs. His research focuses on computer security and applied cryptography, particularly verifiable and privacy-preserving computations, leakage-abuse attacks on searchable encryption, and scalable blockchains/cryptocurrencies. He has advised numerous students and postdocs, and his work is supported by NSF, Protocol Labs, and JP Morgan. Research Interests: His primary areas include cryptographic protocols, privacy-preserving systems, blockchain infrastructure, secure cloud computing, and distributed consensus mechanisms. He has pioneered advancements in zero-knowledge proofs, private information retrieval, and dynamic searchable encryption. Awards: He has received prestigious awards such as the CCS Test-of-Time Award (2022), JP Morgan Faculty Research Award (2022), and NSF CAREER Award (2017). His contributions span over 140 publications in top venues like CRYPTO, CCS, and SODA. Teaching: He has taught advanced courses in cryptography, algorithms, and computer systems security at Yale and previously at the University of Maryland and Brown University. Recently, he chairs Yale’s PhD admissions in Computer Science. Labs & Teams: Leads the Yale Applied Cryptography Lab, focusing on real-world applications of cryptographic research. Collaborates with industry partners like Lagrange Labs to develop privacy-preserving technologies.

Robert Wilsonمشاهده پروفایل

دانشیار

• Computational Cognitive Neuroscience
• Reinforcement Learning
• Decision Making
• +۷ مورد دیگر

Robert Wilson is an Associate Professor in the School of Psychology at Georgia Institute of Technology. His research focuses on computational cognitive neuroscience, reinforcement learning, decision making, and their applications in psychiatry and aging. Wilson leads a lab integrating computational modeling with behavioral experiments, neuroimaging, and neurostimulation to explore the algorithms underlying human cognition. He holds a Ph.D. in Bioengineering from the University of Pennsylvania (2009). Education: Ph.D. in Bioengineering, University of Pennsylvania, 2009 Research Interests: Wilson’s work spans computational models of decision making, reinforcement learning dynamics, and the neural mechanisms of explore-exploit trade-offs. His lab investigates phishing detection cognition, navigation strategies, and perceptual decision making, with recent studies on aging-related cognitive decline and psychiatric disorders. Publications: His recent work includes studies on computational models of exploration strategies, phishing susceptibility (PEST task), and aging effects on decision-making. Articles often bridge neuroscience and AI, such as applying reinforcement learning to large language models. Awards & Grants: While no formal awards are listed, his research has been supported by grants exploring computational psychiatry and neuroimaging. Labs & Teams: Wilson directs a multidisciplinary lab at Georgia Tech, collaborating with experts in AI, neuroscience, and clinical psychology to advance computational theories of the mind-brain relationship.

Pranav Anandمشاهده پروفایل

استاد

• Semantics
• Pragmatics
• Syntax-Semantics Interface
• +۵ مورد دیگر

Pranav Anand is a Professor in the Department of Linguistics at the University of California, Santa Cruz (UCSC). He currently serves as the Faculty Director of the Humanities Institute at UCSC since July 2023. His research focuses on the interplay between context, interpretation, and grammatical perspective, particularly in areas like de re/de se contrasts, evaluative predication, and indexical shift. He has contributed to studies on narrative structures, evidential restrictions, and the syntax-semantics interface in sluicing. Dr. Anand has taught a variety of courses including Ling 119: Narratives , Ling 231: Semantics A , and special topics like Invented Languages: From Elvish to Esperanto . His work bridges theoretical linguistics with computational methods, evidenced by collaborations in projects such as the Santa Cruz sluicing dataset and analyses of political discourse in online commentary. His research has been published in journals like Linguistics and Philosophy , Language , and Discourse and Society , with a focus on semantics, pragmatics, and narrative linguistics. He has also contributed to computational linguistics initiatives, including the development of annotated corpora for sentiment analysis and argumentation studies. Dr. Anand's academic contributions span both theoretical exploration and applied computational linguistics, reflecting his interdisciplinary approach to understanding language structure and usage.