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

Rina Dechterمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• Probabilistic Reasoning
• +۵ مورد دیگر

Rina Dechter is a Professor of Computer Science at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information and Computer Sciences (ICS). She specializes in automated reasoning, probabilistic and constraint-based graphical models, and causal inference. Dechter has held leadership roles, including Co-Editor-in-Chief of Artificial Intelligence since 2011 and editorial board memberships in journals such as the Constraint Journal and Journal of Machine Learning Research . Education : Ph.D., Computer Science, University of California, Los Angeles (UCLA) M.S., Applied Mathematics, Weizmann Institute B.S., Mathematics and Statistics, Hebrew University of Jerusalem Research Interests : Dechter’s work focuses on computational aspects of automated reasoning, constraint processing, probabilistic reasoning, and causal inference. She develops efficient algorithms for graphical models, emphasizing tractable reasoning tasks and anytime search strategies. Her recent projects include causal decision-making frameworks funded by a $5M NSF grant. Awards : Presidential Young Investigator Award (1991) AAAI Fellow (1994) ACP Research Excellence Award (2007) ACM Fellow (2013) Elected to the American Academy of Arts & Sciences (2025) Grants & Collaborations : She leads a multi-institutional NSF-funded project on causal foundations of AI decision-making. Her work emphasizes trustworthiness in AI through causal models, with applications in robotics and public health.

Suguman Bansalمشاهده پروفایل

استادیار

• Formal Methods
• Artificial Intelligence
• Programming Languages
• +۴ مورد دیگر

Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. Her research focuses on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she held an NSF/CRA Computing Innovation Postdoctoral Fellowship at the University of Pennsylvania (2020-2022) and completed her PhD at Rice University (2016-2020). Education: PhD in Computer Science, Rice University (2016-2020) MS in Computer Science, Rice University (2014-2016) BSc (Honors) in Mathematics and Computer Science, Chennai Mathematical Institute (2011-2014) Research Interests: Formal methods, reinforcement learning, reactive synthesis, quantitative verification, and trustworthy AI systems. Her work bridges logic-based formal methods with modern AI challenges, emphasizing safety, reliability, and generalization in AI systems. Key Contributions: Pioneering work on specification-guided reinforcement learning, compositional synthesis algorithms, and formal verification of AI systems. Notable tools include Lisa (LTLf synthesis tool) and DiRL (compositional reinforcement learning framework). Awards: 2020 NSF CI Fellowship, 2021 MIT EECS Rising Star, 2023 ATVA Best Paper Award, and Keynote Speaker at SAS 2022. Advising & Grants: Advises PhD and Master’s students in reinforcement learning and formal methods. Lead PI on a collaboration grant with IIT Bombay (2024) and recipient of a ~$250K NSF/CRA postdoctoral grant. Labs/Teams: Leads the BansalLab at Georgia Tech, focusing on trustworthy AI through formal methods and algorithmic innovation.

Marya Besharovمشاهده پروفایل

استاد

• Leadership
• Social Impact
• Hybrid Organizations
• +۷ مورد دیگر

Marya Besharov is a Professor of Organisations and Impact at Saïd Business School, University of Oxford, and Academic Director of the Skoll Centre for Social Entrepreneurship. She holds a BA, MA, and PhD from Harvard University, alongside an MBA from Stanford University. Her work focuses on leadership, social impact, and hybrid organizations, advising global entities on balancing social and financial priorities. Education: PhD in Organizational Behavior, Harvard University MA in Sociology, Harvard University BA in Social Studies, Harvard University MBA, Stanford University Research Interests: Dr. Besharov’s research explores how organizations navigate competing goals, particularly in hybrid models like social enterprises. She investigates organizational identity, institutional logics, and leadership frameworks for systemic change. Her findings appear in Administrative Science Quarterly , Harvard Business Review , and Stanford Social Innovation Review . Engagement & Teaching: She leads executive education programs and workshops on leadership and systems change through the Skoll Centre. Her teaching emphasizes contingency-based frameworks for managing organizational complexity. Labs & Initiatives: Academic Director of the Skoll Centre for Social Entrepreneurship, a global hub for social impact education and research.

Ignacio Ojea Quintanaمشاهده پروفایل

استادیار

• Social Epistemology
• Philosophy of Data Science
• Ethics of Autonomous Decision Making
• +۴ مورد دیگر

Ignacio Ojea Quintana serves as Assistant Professor at Ludwig Maximilian University of Munich's Faculty of Philosophy, Philosophy of Science and Religious Studies within the Chair of Philosophy of Science. He joined LMU in 2022 after a three-year research fellowship at the Australian National University's School of Philosophy. His academic foundation includes a PhD in Philosophy from Columbia University (2019), supervised by Philip Kitcher with focus on formal social epistemology, and prior Masters/BA degrees in Philosophical Logic from the University of Buenos Aires where he collaborated with the Buenos Aires Logic Group. Ojea Quintana's research employs formal methodologies to examine digital technologies' impact on knowledge organization across scientific and public spheres. His work intersects Social Epistemology , Philosophy of Data Science , and Autonomous Systems Ethics , with significant contributions to social media network analysis of controversial movements. Current projects analyze Twitter dynamics in racial justice movements, ethical constraints in AI decision systems, and consensus formation in scientific modeling. His 2021-2022 publications reveal an interdisciplinary trajectory bridging philosophy, computer science, and social sciences. Key trends include computational analysis of online discourse, formal modeling of group rationality under uncertainty, and ethical frameworks for AI systems. Works appear in high-impact venues including Nature Humanities and Social Sciences Communications and the AAAI/ACM Conference on AI, Ethics, and Society. Ojea Quintana maintains active collaborations with the "Humanising Machine Intelligence" initiative (formerly at ANU) and the Buenos Aires Logic Group. His research program demonstrates sustained engagement with technology's societal implications through formal modeling approaches and empirical digital trace analysis.

Rachel Rudingerمشاهده پروفایل

استادیار

• Natural Language Processing
• Machine Learning and Data Science
• AI and Robotics
• +۱ مورد دیگر

Rachel Rudinger is an Assistant Professor at the University of Maryland, affiliated with the Department of Computer Science and the University of Maryland Institute for Advanced Computer Studies (UMIACS). Her research focuses on Natural Language Processing (NLP), Machine Learning, and AI ethics, particularly addressing sociocultural biases and fairness in large language models (LLMs). She holds a PhD from Johns Hopkins University (2019) and a B.S. from Yale University (2013). Rudinger's work explores equitable cultural alignment in AI systems, common ground misalignment in dialog systems, and the mutual influence of gender and occupation in LLMs. She received the NSF CAREER Award in 2024 for her project on robust, fair, and culturally aware commonsense reasoning. Her recent publications investigate empathy gaps in LLMs, synthetic data effectiveness in disaster response, and bias measurement techniques across domains. As an advisor, she guides seven PhD students including Christabel Acquaye and Haozhe An. Her research spans diverse topics from legal language analysis to maternal health question answering, reflecting her commitment to interdisciplinary AI ethics. She actively contributes to workshops on commonsense representation and serves as a reviewer for top conferences in NLP and AI.

Andreas Eklundمشاهده پروفایل

استادیار

• Branding
• Consumer Behavior
• Consumer Psychology
• +۳ مورد دیگر

Andreas Eklund is an Assistant Professor in the Marketing Department at the University of Wisconsin-La Crosse (UWL). He holds a Ph.D. in Marketing from Linnaeus University (Sweden), specializing in consumer psychology, and a Master’s degree from Lund University (Sweden). His research focuses on sensory marketing, branding, and service-dominant logic, exploring how sensory cues influence consumer behavior and brand experiences. He has taught courses on branding, consumer behavior, and marketing strategy at universities in Sweden, Norway, and the U.S. Education: Ph.D. in Marketing (Consumer Psychology), Linnaeus University, Sweden M.Sc. in Marketing, Lund University, Sweden Research Interests: Sensory marketing and its intersection with branding Multi-sensory consumer experiences in automotive and retail environments Experiential marketing and value proposition design Congruency theories in brand-consumer relationships Teaching: Recent courses include MKT351 (Principles of Marketing), MKT362 (Consumer Behavior), and MBA755 (Advanced Marketing) Focuses on experiential learning and real-world marketing applications Professional Background: Prior career as a chef informs his sensory marketing research Experience in Scandinavian universities before joining UWL Personal Interests: Outdoor activities (disc golf, ice skating) Swedish salt licorice enthusiast Manchester United football fan

Raquel Fernándezمشاهده پروفایل

استاد

• Computational Linguistics
• Dialogue Systems
• Cognitive Science
• +۳ مورد دیگر

Raquel Fernández is Full Professor of Computational Linguistics and Dialogue Systems at the University of Amsterdam, where she leads the Dialogue Modelling Group at the Institute for Logic, Language & Computation (ILLC). As Vice-Director for Research at ILLC and a Fellow of the ELLIS Society, she bridges computational linguistics, cognitive science, and artificial intelligence through her research on language use in multimodal and conversational contexts. PhD in Computational Linguistics from King's College London Prior research positions at University of Potsdam and Stanford University's CSLI Her work explores how cognitive constraints, social interaction, and perception shape language use, with a focus on: Visually-grounded language processing Multimodal dialogue modeling Model uncertainty and calibration Language grounding in multimodal data Language learning and semantic change Dialogue reference resolution Recent publications analyze multimodal reasoning limitations, cross-lingual knowledge consistency, and uncertainty modeling in dialogue systems. She has received multiple accolades including an ERC Consolidator Grant , NWO VENI/VIDI/Aspasia fellowships , and EMNLP/GenBench awards . Outstanding Paper Award (EMNLP 2023) Best Data Award (GenBench Workshop 2023) ELLIS Society Fellow ERC Consolidator Grant #819455 recipient NWO VENI/VIDI/Aspasia awardee As a leader in academic service, she serves on the SIGDAT Executive Committee and chairs multiple conference committees. Her lab develops models for multimodal dialogue, visual storytelling, and grounded language understanding.

Tyler Wryمشاهده پروفایل

دانشیار

• Social Enterprise
• Hybrid Organizations
• Microfinance
• +۷ مورد دیگر

Tyler Wry is an Associate Professor of Management at the Wharton School, University of Pennsylvania . His research focuses on hybrid ventures and social enterprises that balance conflicting commercial and social goals. He has published in top-tier journals such as Academy of Management Annals , Academy of Management Journal , and Organization Science . He serves on the editorial boards of Administrative Science Quarterly , Academy of Management Journal , and Academy of Management Review . Research Highlights : Hybrid organizations, social entrepreneurship, nanotechnology startups, disaster philanthropy, microfinance dynamics, institutional logics, and strategic adaptation during crises. Teaching : Courses on entrepreneurship, social impact, venture creation, and research methods, including project-based learning and hands-on venture development. Scientific Awards include the IACMR Presidential Award, ONE/NBS Research Impact Award, Carolyn Dexter Award, and multiple best paper recognitions. His work has also been recognized through fellowships and teaching awards. Notable Contributions : Demonstrated how corporate disaster involvement accelerates recovery, how patriarchal societal logics affect microfinance lending to women, and how contextual factors shape social-financial tradeoffs in hybrid organizations.

Rida Khatounمشاهده پروفایل

استاد

• Cybersecurity
• Network Security
• Cloud Computing Security
• +۶ مورد دیگر

Rida Khatoun is a Professor in Cybersecurity at the Computer Sciences and Networks (Infres) Department at Télécom Paris. He holds a M.Sc. in Computer Engineering and a Ph.D. from the University of Technology of Troyes (UTT), France, awarded in 2004 and 2008, respectively. His research focuses on cybersecurity in networks, including cloud computing security, IoT security, vehicular networks security, intrusion detection systems, and blockchain technology. He has taught at Telecom Paris since 2014, Shanghai Jiao Tong University (SJTU) since 2016, and other institutions in China and France since 2005. His work spans theoretical frameworks and practical solutions for network security challenges. Key research areas include DDoS attack detection, vehicular communication security, and cryptographic protocols. He leads the Cybersecurity and Cryptography (C²) research team and is affiliated with the Laboratoire Traitement et Communication de l'Information (LTCI). His contributions include developing secure routing protocols (e.g., ASROP), statistical trust systems in wireless networks, and blockchain-based authentication for IoT. He has authored over 115 publications, including peer-reviewed articles and conference proceedings, with recent work addressing vehicular platooning security, TLS handshake optimization for C-ITS, and machine learning for cyberbullying detection. Rida’s academic activities include teaching courses on network security protocols, wireless network fundamentals, and QoS mechanisms. He collaborates internationally, contributing to smart city cybersecurity architectures and 6G programmable communications. His research emphasizes practical cybersecurity solutions for emerging technologies, ensuring robust protection against evolving threats in vehicular, IoT, and cloud environments.

Fred B. Schneiderمشاهده پروفایل

استاد

• Trustworthy Systems
• Fault-Tolerant Distributed Systems
• System Security
• +۶ مورد دیگر

Fred B. Schneider is the Samuel B. Eckert Professor of Computer Science at Cornell University , where he has been a faculty member since 1978. His career spans foundational work in trustworthy systems , fault-tolerant distributed systems , and system security . He served as department chair from 2014–2018 and previously earned a B.S. in Engineering from Cornell (1975) and a Ph.D. in Computer Science from Stony Brook University (1978).

• Machine Learning
• Artificial Intelligence
• Data Science
• +۶ مورد دیگر

Chris J. Maddison is an Assistant Professor at the University of Toronto, holding joint appointments in the Department of Computer Science and the Department of Statistical Sciences. He is also a CIFAR AI Chair at the Vector Institute and a member of the ELLIS Society. Maddison earned his DPhil from the University of Oxford and previously worked as a Senior Research Scientist at Google DeepMind and a member at the Institute for Advanced Study. His research focuses on advancing machine learning methodologies, particularly in leveraging data’s natural structure for efficient learning, with applications in drug discovery, causal inference, and AI safety. Education: DPhil in Computer Science, University of Oxford His research interests span machine learning, AI safety, reinforcement learning, and the integration of logical reasoning into large language models. Maddison has contributed to foundational work on gradient estimation techniques and was a key member of the AlphaGo project. He actively explores how statistical structures in real-world data influence AI capabilities. Recent publications emphasize evaluating conversational agents, mitigating AI safety risks, and enhancing logical reasoning in LLMs. His work bridges theoretical advancements with practical applications, such as code generation and multi-agent systems. Awards: NeurIPS Best Paper Award (2014), Open Philanthropy AI Fellowship Maddison advises multiple PhD students and postdoctoral researchers, fostering collaborations across academia and industry. His former advisees now hold roles at institutions like OpenAI, Stanford, and Magic AI. He teaches advanced courses in machine learning and statistical methods, including CSC 2541 (Large Models) and STA 314 (Machine Learning). Maddison is affiliated with the Schwartz Reisman Institute for Technology and Society, extending his impact to societal implications of AI. His lab’s interdisciplinary approach combines algorithmic innovation with real-world problem-solving.

Supratik Chakrabortyمشاهده پروفایل

استاد

• Formal Methods
• Formal Verification
• Automated Synthesis
• +۷ مورد دیگر

Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.

Frede Blaabjergمشاهده پروفایل

استاد

• Power Electronics
• Wind Turbines
• Photovoltaic (PV) Systems
• +۶ مورد دیگر

Frede Blaabjerg is a Professor at Aalborg University (AAU Energy) , affiliated with the Faculty of Engineering and Science . Since 1998, he has pioneered power electronics research in applications such as wind turbines , photovoltaic (PV) systems , reliability engineering , and Power-2-X technologies. Education : PhD in Electrical Engineering (1995, Aalborg University) Honorary Degrees : Honoris Causa at University Politehnica Timisoara (2017) and Tallinn Technical University (2018) His research focuses on power electronics control , system optimization , and reliability for renewable energy and electric mobility . Recent work includes grid-forming converters , virtual synchronous generators , and smart EV charging systems. Key publication trends span 15+ years , with over 3,733 peer-reviewed articles and 900+ journal papers in power electronics , renewables , and energy storage . Notable book series: Control of Power Electronic Converters and Systems (4 volumes, Elsevier). Scientific Awards : 46 IEEE Prize Paper Awards 2020 IEEE Edison Medal 2019 Global Energy Prize 2014 IEEE William E. Newell Power Electronics Award Leadership Roles : Editor-in-Chief, IEEE Transactions on Power Electronics (2006–2012) Chairman, Danish Council for Research and Innovation Policy (2020–) President, IEEE Power Electronics Society (2019–2020)

Sean Welleckمشاهده پروفایل

استادیار

• Machine Learning for Mathematics
• Machine Learning for Code
• AI Reasoning and Agents
• +۶ مورد دیگر

Sean Welleck is an Assistant Professor at Carnegie Mellon University's School of Computer Science, Language Technologies Institute, leading the L3 Lab. His research focuses on bridging informal and formal reasoning with AI, spanning machine learning for mathematics and code, inference algorithms, and AI agents. PhD in Computer Science from New York University (advised by Kyunghyun Cho) Postdoctoral work at University of Washington (advised by Yejin Choi) His work explores AI-driven formal methods for mathematics and code generation, test-time compute scaling, and algorithms enabling AI improvement over time. Recent publications analyze reasoning evaluation, premise selection, and automated proof optimization in systems like Lean. Key article trends include neural theorem proving, code generation, and inference-time compute optimization. Awards: NVIDIA AI Labs Pioneering Research Awards (2017, 2018), NAACL 2025 Best Paper. Current advisees include PhD students Pranjal Aggarwal, Weihua Du (co-advised with Yiming Yang), Andre He (co-advised with Daniel Fried), and Seungone Kim (co-advised with Graham Neubig). He co-organizes workshops like Autoformalization for the Working Mathematician (ICERM 2025) and VerifAI: AI Verification in the Wild (ICLR 2025), and teaches Advanced NLP at CMU.

Josef Urbanمشاهده پروفایل

پژوهشگر

• Automated Reasoning
• Machine Learning
• Theorem Proving
• +۵ مورد دیگر

Josef Urban is a leading researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) , Czech Technical University in Prague, heading the ERC Consolidator project AI4REASON . Previously, he held positions as a postdoc at Radboud University Nijmegen and assistant professor at Charles University in Prague, where he co-founded the Prague Automated Reasoning Group. Education Ph.D. in Computer Science (2004), Charles University, Prague M.S. in Mathematics (1998), Charles University, Prague B.S. in Economics (1995), Charles University, Prague Research Interests Urban specializes in automated reasoning over large formalized knowledge bases, combining deductive theorem proving and inductive machine learning . His work aims to realize "strong AI" through formalized mathematics, particularly using systems like Mizar and the AI/TP Challenges . He advocates for computer-verifiable mathematics as a foundation for AI progress. Article Trends Urban's publications focus on integrating machine learning with automated theorem proving in systems like ENIGMA and BliStr . Key trends include semantic guidance for ATPs, premise selection in formal libraries, and automated proof compression via concept invention. Scientific Contributions Head of ERC Consolidator project AI4REASON Marie-Curie Fellow at University of Miami Co-founder of Prague Automated Reasoning Group Editor for Formalized Mathematics Advising and Grants Urban has advised numerous PhD and MSc students including Daniel Kuehlwein, Krystof Hoder, and Yutaka Nagashima. He has secured grants like the ERC Consolidator Grant and Marie-Curie Fellowship . Labs and Collaborations Urban leads the AI4REASON team at CIIRC and collaborates with the Foundations Group at Radboud University. He contributes to projects like Mizar TWiki and XML-based API for Mizar , aiming to create a semantic AI ecosystem for formal knowledge.