جستجوی استاد راهنمای دانشگاهی

Sheila McIlraithمشاهده پروفایل

استاد

• Artificial Intelligence
• AI Safety
• AI Alignment
• +۹ مورد دیگر

Sheila McIlraith is a Professor in the Department of Computer Science at the University of Toronto, holding the Canada CIFAR AI Chair at the Vector Institute and serving as Associate Director and Research Lead at the Schwartz Reisman Institute for Technology and Society. Her research spans AI safety, ethics, reinforcement learning, and knowledge representation, with a focus on human-compatible AI and long-term societal impacts. Her career includes six years as a Research Scientist at Stanford University and a year at Xerox PARC. McIlraith’s work has been recognized through ACM and AAAI fellowships, as well as prestigious awards like the SWSA 10-Year Award (2011) and the CAIAC Lifetime Achievement Award (2024). Research Interests: AI Safety and Alignment Human-Compatible AI Reinforcement Learning with Ethical Constraints Semantic Web Services Cognitive Robotics and Diagnostic Systems Probabilistic and Logical Reasoning Recent Contributions: Her work emphasizes ethical AI integration, such as the Embedded Ethics Education Initiative (E3I), and addresses challenges in long-term AI risks, multi-agent systems, and interpretable decision-making frameworks. Awards and Honors: ACM Fellow AAAI Fellow 2023 IJCAI-JAIR Best Paper Prize 2024 CAIAC Lifetime Achievement Award Labs and Teams: McIlraith leads initiatives at the Schwartz Reisman Institute and contributes to the Vector Institute, focusing on societal and ethical dimensions of AI technology.

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.

James McCannمشاهده پروفایل

دانشیار

• Textiles Manufacturing
• Computer-Aided Fabrication
• Real-time Systems
• +۵ مورد دیگر

James McCann is an Associate Professor at the Carnegie Mellon Robotics Institute, where he leads the Carnegie Mellon Textiles Lab. He has been a faculty member since May 2017 after working at Disney Research Pittsburgh. McCann's academic journey includes a PhD from Carnegie Mellon advised by Nancy Pollard, followed by a postdoc at Adobe Research and a period developing video games. McCann's research focuses on building creative tools that operate in real-time and build user intuition, with particular emphasis on textiles fabrication and machine knitting. His work spans computer-aided fabrication, simulation, graphics, and creative tools development. He has pioneered systems for machine knitting design, including compilers for knitting instructions and tools for automatic conversion of 3D meshes to knitting patterns. His recent publications demonstrate a strong trend toward computational textiles, with significant contributions to knitting semantics, deployable textile structures, and applications of machine knitting in healthcare and robotics. McCann's work bridges computer science, robotics, and textile arts, creating practical systems for once-off manufacturing with industrial knitting machines. McCann actively mentors students, with current PhD candidates working on solid knitting machines, knit calibration, and assistive devices. His teaching portfolio includes courses on Real-Time Graphics, Algorithmic Textiles Design, and Game Programming. He has taught at CMU since 2017, developing innovative courses that blend computer science with physical fabrication. As director of the Textiles Lab, McCann oversees research projects spanning machine knitting, robotic painting, and real-time graphics systems. His lab develops practical tools for creators, emphasizing intuitive interfaces and real-time feedback that lower barriers to advanced fabrication techniques.

Andrew Headمشاهده پروفایل

استادیار

• Human-Computer Interaction
• Programming
• Reading
• +۱۳ مورد دیگر

Andrew Head is an Assistant Professor at the University of Pennsylvania in the Computer and Information Science department. His research focuses on human-computer interaction, programming, and reading, particularly in developing technology for interactive reading and reasoning. He advises PhD students Alyssa Hwang, Hita Kambhamettu, Litao Yan, Jeffrey Tao, and Jessica Shi, and co-leads the Penn Human-Computer Interaction (Penn HCI) group with Danaé Metaxa. His work is published in top venues like ACM CHI, UIST, and ICSE. Research Interests: Andrew's work bridges interactive systems with programming environments, aiming to enhance how scientists and programmers interact with their tools. Key areas include AI-assisted code understanding, math notation accessibility, and medical note interpretation through interactivity. He employs user studies to identify needs and builds interactive systems to address them. Recent Article Trends: His publications emphasize systems-centric HCI approaches, integrating AI into code and document interfaces. Topics span code explanation (e.g., Ivie), property-based testing (e.g., Tyche), math notation augmentation (e.g., FreeForm), and medical informatics (e.g., Explainable Notes). Recent work also explores notebook environments (e.g., Bolt-on, Tyche) and literate programming (e.g., Colaroid). Scientific Awards: Distinguished Paper Award, ICSE 2024 Best Paper Awards at CHI (2024, 2023, 2022, 2019), UIST (2023, 2018), and others. Nominated for Best Paper at CHI 2023 and VL/HCC 2015. Advising & Grants: Andrew advises multiple PhD students and has secured significant grants, including a $1M NSF award for 'Property-based Testing for the People' (2024). His group collaborates with Penn’s MindCORE center and teams like PLClub and PennNLP. Labs & Teams: He co-leads the Penn HCI group, which works closely with other Penn research teams and labs. The group focuses on creating interactive tools that enhance scientific and programming workflows, supported by grants and cross-institutional partnerships.

Timothy Roscoeمشاهده پروفایل

استاد

• Operating Systems
• Networking
• Distributed Systems
• +۳ مورد دیگر

Prof. Dr. Timothy Roscoe is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on operating systems, networking, and distributed systems. He was inducted as an ACM Fellow in 2014 for contributions to these fields. Previously, he worked at Intel Research Berkeley, UC Berkeley (Adjunct Professor), and Sprint Labs. His work includes foundational contributions to systems like PlanetLab, P2 Declarative Networking, and the Nemesis OS. Roscoe holds a PhD from the University of Cambridge and has led projects in cloud computing, wide-area network measurement, and secure systems design. His current research emphasizes hardware-software co-design, formal verification of systems, and scalable memory architectures. Education: PhD in Computer Science, University of Cambridge (1995) Key Roles: Principal Researcher at Intel Berkeley Lab, Visiting Researcher at National ICT Australia Research Highlights: Contributions to distributed systems (PlanetLab), declarative networking (P2), and secure microkernels (seL4 integration). Current projects address challenges in disaggregated memory systems, coherent interconnects, and trustworthy embedded systems. Awards: ACM Fellow (2014), numerous grants and industry collaborations. Labs/Teams: Systems Group at ETH Zurich, focusing on OS design, hardware architectures, and formal methods.

Sam Statonمشاهده پروفایل

استاد

• Programming Language Theory
• Probabilistic Programming
• Quantum Computing
• +۳ مورد دیگر

Sam Staton is a Professor of Computer Science at the University of Oxford and Senior Research Fellow at Jesus College. He holds a Royal Society University Research Fellowship and leads the ERC-funded BLaSt project on probabilistic programming. His research focuses on programming language theory, particularly probabilistic and quantum programming, and category theory. Staton earned his PhD from the University of Cambridge in 2007, with prior roles as a lecturer and researcher at Cambridge, Paris, and Nijmegen. Research Interests: His work explores foundational aspects of programming languages, including semantics, algebraic effects, and applications to quantum computing and statistical modeling. Recent grants include the ARIA Safeguarded AI initiative and an AFOSR award. Education: PhD in Computer Science (2007), BA from Cambridge (2002). Students & Collaborators: Supervises multiple PhD students and postdocs, including those funded through his grants. Notable advisees include Swaraj Dash (now at Heriot-Watt) and Mathieu Huot (postdoc at MIT). Awards & Grants: Royal Society Fellowship, ERC Consolidator Grant (BLaSt), EATCS Best Paper Award, and Facebook Research Award. Labs & Teams: Leads the BLaSt project and collaborates on quantum programming via algebraic effects. Engaged in editorial roles for ACM Transactions on Quantum Computing and program committees for major conferences like POPL and LICS.

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.

Qi Alfred Chenمشاهده پروفایل

استادیار

• Network security
• Systems security
• IoT security
• +۶ مورد دیگر

Qi Alfred Chen is an Assistant Professor in the Department of Computer Science at the University of California, Irvine (UCI), within the Donald Bren School of Information and Computer Sciences. He also holds affiliations with the Department of Electrical Engineering and Computer Science (EECS), the Institute of Transportation Studies at UC Irvine (ITS-Irvine), the Center for Embedded and Cyber-physical Systems (CECS), the Institute for Software Research (ISR), and the UC Irvine Cybersecurity Policy & Research Institute (CPRI). His research focuses on network and systems security, with particular emphasis on autonomous vehicle and IoT security. Dr. Chen received his Ph.D. from the University of Michigan in 2018. His educational background has prepared him for his current research in security of critical computer systems. His work bridges theoretical security principles with practical implementations in real-world systems. Chen's research interests center on network and systems security , with a major focus on smart systems and IoT security , particularly in transportation and autonomous vehicle systems . His work addresses security challenges through systematic problem analysis and mitigation, discovering and mitigating security problems in next-generation transportation systems, smartphone OSes, network protocols, DNS, GUI systems, and access control systems. His research has high impact in both academic and industry contexts, with over 10 top-tier conference papers, a DHS US-CERT alert, multiple CVEs, and coverage in major news media like Fortune and BBC News. His publication record shows a clear evolution from foundational work on network protocols and smartphone security toward increasingly sophisticated security analyses of autonomous vehicle systems and AI-powered transportation technologies. The research trajectory demonstrates growing technical sophistication and real-world impact, with recent work focusing on physical-world adversarial attacks against autonomous driving perception systems, LiDAR spoofing, and security of multi-sensor fusion in autonomous vehicles. NSF CAREER Award (2022) on securing the AI stack in emerging autonomous and connected CPSs Chancellor's Award for Excellence in Undergraduate Research Mentorship, UC Irvine (2021) 5th place nation-wide at National CCDC competition (2021, as faculty advisor) 1st place (Gold Medal) at CCDC Western Regional competition (2021) ProQuest Distinguished Dissertation Award, University of Michigan (2019) Dr. Chen has mentored numerous successful students, including PhD candidates and undergraduates who have gone on to positions at major tech companies like Meta, Uber, Amazon, and Intel. His research group has secured significant funding, including an NSF CAREER award, and has made substantial contributions to the field through high-impact publications and vulnerability disclosures. He is also the co-founder of the ISOC VehicleSec Symposium and has organized the AutoDriving CTF contest at DEF CON. Chen leads the AV & IoAT Security Research Group at UCI, focusing on security challenges in autonomous vehicles and the broader Internet of Autonomous Things. His team has developed numerous attack demonstrations and security analyses that have received significant media attention and influenced industry practices. The group maintains an active YouTube channel showcasing their security research.

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

دانشیار

• Natural Language Processing (NLP)
• Information Extraction
• Machine Learning
• +۶ مورد دیگر

Ruihong Huang is an Associate Professor in the Department of Computer Science and Engineering at Texas A&M University, part of the College of Engineering. She holds a Ph.D. from the University of Utah (2014) and completed a postdoctoral fellowship at Stanford University. Her research focuses on Natural Language Processing (NLP) with emphasis on information extraction, event recognition, media bias analysis, and ethical AI applications. She teaches courses like Information Storage and Retrieval (CSCE 470), Natural Language Processing (CSCE 638), and has advised numerous PhD, Master’s, and undergraduate students. Key research contributions include work on event coreference resolution, discourse analysis, and detecting media bias through event relation graphs. Huang has developed benchmark datasets like UAL-Bench and EMONA, and her work spans applications in disaster management, fake news detection, and moral reasoning in LLMs. She is a recipient of the NSF CAREER Award and serves on program committees for top conferences like ACL and EMNLP. Her academic service includes roles as Area Chair for ACL 2024 and Senior Area Chair for EMNLP 2024. She maintains an active lab group focusing on NLP fundamentals and real-world applications, with projects involving propaganda identification, polarity calibration for opinion summarization, and multimodal dialog act classification. Huang has published over 80 papers in top-tier venues such as NAACL, EMNLP, ACL, and NeurIPS.

Michael Potterمشاهده پروفایل

استاد

• History of Analytic Philosophy
• Philosophy of Mathematics
• Philosophical Logic
• +۵ مورد دیگر

Michael Potter is Professor of Logic at the Faculty of Philosophy , University of Cambridge, and a Life Fellow at Fitzwilliam College. Previously at Balliol College, Oxford (D.Phil. in pure mathematics), he has held research fellowships at St Andrews, Harvard, and Stirling University (AHRC-funded). His work bridges historical and systematic philosophy, focusing on History of analytic philosophy (Frege, Russell, Wittgenstein, Ramsey) Philosophy of mathematics and logic Philosophy of religion Potter's research has produced major works like Set Theory and its Philosophy (OUP 2004) and The Rise of Analytic Philosophy (Routledge 2019), with significant contributions to understanding the Metaphysical underpinn't> of the Tractatus Neo-Fregean logicism Paradoxes in mathematical foundations He has supervised research on topics spanning dialetheism, predicative mathematics, and modal ontological arguments. Scientific awards include the AHRC Senior Research Fellowship (2004-2005). His recent publications analyze Transcendental arguments in Wittgenstein Sortition-based democratic theory Philosophical implications of Ramsey's infinite proofs via peer-reviewed chapters and journal articles.

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

Ekaterina Shutova is an Associate Professor at the Institute for Logic, Language and Computation (ILLC) within the Faculty of Science at the University of Amsterdam. She concurrently holds a Visiting Associate Professor position in the Computer Science Department at Stanford University. She leads the Amsterdam Natural Language Understanding Lab and heads the NLP & Digital Humanities research unit at ILLC. An ELLIS Scholar, she earned her PhD from the University of Cambridge Computer Laboratory and Pembroke College. Her research has been funded by ERC, Innovate UK, British Academy, Leverhulme Trust, Google, Meta, and Deloitte. Her research spans natural language processing and machine learning, with core interests in: Few-shot learning for NLP Multilingual and cross-lingual systems Joint modeling of language and vision Cognitive processing and semantic representation Figurative language interpretation Computational social science applications Her recent publications (2024-2025) predominantly focus on multimodal learning, cultural alignment in AI, metaphor processing, and evaluation methodologies for language models. These works reflect a trend toward integrating cognitive science with multilingual systems and ethical considerations. Awards & Fellowships: ERC Consolidator Grant (2025) ELLIS Scholar Outstanding Paper Award at ACL 2023 Finalist for Outstanding Certification by TMLR Runner-up Best Paper Award at NAACL-HLT 2016 Research Leadership: She directs the Amsterdam Natural Language Understanding Lab, supervising 8 PhD students, 1 MSc student, and 34 alumni. Her projects include an ERC-funded initiative on globally accessible language technology and an AI Democratization grant for hate speech detection.

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

استاد

• Quantum Computing
• Category Theory
• Mathematical Logic
• +۴ مورد دیگر

Peter Selinger is a Professor in the Department of Mathematics and Statistics at Dalhousie University , with a cross-appointment in Computer Science. He specializes in mathematical methods in computer science, particularly quantum computing and combinatorial game theory . His work on quantum programming languages like Quipper and foundational research in category theory has garnered international recognition. Education : Ph.D. in Mathematics (University of Pennsylvania, 1997), undergraduate studies in Mathematics (Technische Universität Darmstadt). Research Interests span quantum computing, category theory, and combinatorial game theory. He has pioneered formalisms for quantum programming languages, developed categorical models for quantum mechanics, and analyzed game-theoretic structures in games like Hex. His recent work includes linear dependent type theory , quantum circuit synthesis , and combinatorial game classification . Publications demonstrate expertise in quantum programming languages, categorical semantics, and game theory. Key trends include Hamiltonian simulation , Clifford+T circuits , and monotone game realization . Scientific Honors include the Killam Professorship (2017–2022), Faculty of Science Award for Excellence in Teaching (2023), and fellowships from the Alfred P. Sloan Foundation and German National Scholarship Foundation . Students he has supervised include PhD graduates Xiaoning Bian , Francisco Rios , and Neil J. Ross , along with MSc students like Fahimeh Bayeh and Seth Greylyn . He has advised 16 postdoctoral researchers.

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

استاد

• Philosophy of Language
• Philosophical Logic
• Metaphysics
• +۸ مورد دیگر

John MacFarlane is a Professor of Philosophy at the University of California, Berkeley , with affiliations to the Group in Logic and the Methodology of Science and co-organizer roles in the Meaning Sciences Club and Townsend Center Working Group . His research spans philosophy of language, philosophical logic, metaphysics, epistemology, philosophy of mathematics, history of logic , and ancient philosophy , particularly Aristotle . He has held visiting positions at institutions like École des Hautes Études en Sciences Sociales (EHESS), Paris . Education : Ph.D. in Philosophy (2000, University of Pittsburgh), M.A. in Classics (1997) and Philosophy (1994), A.B. summa cum laude in Philosophy (1991, Harvard). Research Interests focus on semantic relativism , particularly assessment sensitivity as explored in his book Assessment Sensitivity: Relative Truth and Its Applications (Oxford, 2014). He investigates how epistemic modals and vagueness interact with truth evaluation. His work in philosophical logic includes a textbook Philosophical Logic: A Contemporary Introduction (Routledge, 2021). Secondary interests include ancient philosophy (Aristotle, Plato), formal logic , and fiddlosophy . Article Trends reveal contributions to relativism , epistemic modals , vagueness , and logicism . His recent work (2025) examines Plato’s Protagoras and belief utility , while 2022–2020 articles address semantic indecision and probabilistic knowledge . Earlier works (2008–2000) include foundational studies on Frege, Kant, and Aristotle . Scientific Awards include a 2023 Residential Fellowship at Wissenschaftskolleg, Berlin (declined), 2016–17 Fellow at IEA Paris , and 2015 American Academy of Arts and Sciences membership . He has received multiple Humanities Research Fellowships at Berkeley (2016, 2008, 2003) and Research Enabling Grants (2000–2009). Advising includes supervising 15+ PhD students in areas like logic, epistemology, and philosophy of language . Notable advisees include Richard Lawrence (2017) and Sophie Dandelet (2021). He also guided honors theses at Berkeley, such as Benjamin Logan’s work on epistemic modals (2018). Labs and Teams involve co-organizing the Townsend Center Working Group in History and Philosophy of Logic, Mathematics, and Science and contributing to the Group in Logic and Methodology of Science . His interdisciplinary approach integrates philosophy, logic, and computational tools , including creating Pandoc for document conversion.

Dorit Abuschمشاهده پروفایل

استاد

• Semantics
• Pragmatics
• Visual Narratives
• +۵ مورد دیگر

Professor Dorit Abusch is a faculty member in the Department of Linguistics and Philosophy at Cornell University's College of Arts & Sciences. Her research focuses on semantics, pragmatics, and their applications to visual narratives. She explores topics like tense semantics, presupposition triggering, modal logic, and the interplay between language and visual media. Current work extends linguistic methodologies to analyze art forms such as comics, cave paintings, and temple sculptures. Her research interests include formal semantics applied to visual narratives, dynamic semantics, possible world theory, and multimodal discourse representation. She investigates how visual elements like sequential art and pictorial sequences convey temporal progression, aspectual distinctions, and free perception constructions through semiotic frameworks. Recent presentations include talks on applying semantics to film and picturebooks at institutions like MIT and the University of Padua. Her publications emphasize cross-media analysis, with key works published in Linguistics & Philosophy and Sinn und Bedeutung . Abusch has received grants for projects studying visual narratives in Indian art and wall paintings of Rajasthan. These include a 2012-2013 Humanities Research Grant and a Cornell Institute for Social Sciences award. Her work bridges linguistics with philosophy and visual studies, offering innovative frameworks for understanding non-linguistic communication through formal semantic tools.

• Process Mining
• Healthcare Informatics
• Data Security
• +۳ مورد دیگر

Dr. Jeewanie Jayasinghe Arachchige is a Lecturer in the Department of Computer Science at Vrije Universiteit Amsterdam, Faculty of Science. She teaches undergraduate courses including Bachelor Project Computer Science, Professional Development, and Software Engineering Processes for the academic year 2024–2025. Her research focuses on process mining , healthcare informatics , and data security . She applies process mining to analyze healthcare pathways and subpopulation treatment variations, develops explainable AI frameworks for predictive analytics, and examines data governance in emerging architectures like Data Lakehouses. Her work intersects legal informatics, particularly formalizing Sri Lankan civil court processes using ontology engineering. Recent publications highlight trends in balancing simplicity and complexity in process modeling, Industry 4.0 healthcare applications, and cybersecurity in model-driven web development. She has contributed to over 20 peer-reviewed articles since 2006, spanning topics from service-oriented architectures to value network analysis. Her teaching and research emphasize practical applications of IT in healthcare, legal systems, and enterprise environments. No ancillary activities are currently recorded.