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

• Cognitive Science of Religion
• Enactivism
• Phenomenology
• +۳ مورد دیگر

Dr. Matylda Ciołkosz is a researcher at the Institute of Religious Studies, Jagiellonian University, specializing in the cognitive science of religion with emphases on enactivism, phenomenology, and kinesthetic experience in religious practices. Her work bridges cognitive linguistics and embodied cognition to analyze how movement shapes religious understanding, particularly within modern yoga traditions. Her educational background includes: Bachelor's degree in Religious Studies from Jagiellonian University Master's degree in Religious Studies from Jagiellonian University PhD in Cultural and Religious Studies from Jagiellonian University (2019) Dr. Ciołkosz's research centers on cognitive approaches to religion derived from the enactive paradigm and phenomenological perspectives. She investigates how repeated sensory, motor, and social experiences transform abstract religious concepts, utilizing cognitive linguistics methodologies pioneered by George Lakoff. Her primary focus lies on religious beliefs and behaviors that manifest indirectly through embodied practices, revealing deep-seated interpretive models in human cognition. Current projects explore religious concepts in Polish socio-political discourse and connections between religious imagery and kinesthetic experience in climbing communities. Her publication record (2014-2020) demonstrates consistent innovation at the intersection of cognitive science and religious studies. Articles reveal a trajectory from theoretical explorations of religious concepts to empirical analyses of yoga practices, emphasizing movement, proprioception, and sensorimotor synchronization as meaning-creating forces. Her work consistently bridges cognitive linguistics, enactivism, and phenomenology while expanding into new domains like climbing culture. No scientific awards were documented in the source materials. While no formal student advising or grant activities were specified, her role as co-editor for Religions of South Asia (2017) and Studia Religiologica (2017) indicates significant scholarly leadership. Current research includes the monograph Thinking in Asana: Movement and Philosophy in Viniyoga, Iyengar Yoga, and Ashtanga Yoga (published 2022) and two new projects on religious concepts in Polish socio-political discourse and climbing communities. Her research is conducted within the Institute of Religious Studies framework without specific laboratory or team affiliations mentioned, though her interdisciplinary approach suggests collaborative networks across cognitive science and religious studies departments.

Roberta Goriمشاهده پروفایل

دانشیار

• Modelling and Simulation of Biological Systems
• Formal Verification
• Floating-Point Arithmetic Analysis
• +۴ مورد دیگر

Roberta Gori is an Associate Professor at the Dipartimento di Informatica of the University of Pisa. Her research focuses on formal verification techniques for biological systems and floating-point intensive programs, leveraging abstract interpretation and coinductive methods. She collaborates with BUGSENG Srl on safety-critical systems verification and has led multiple projects including 'Metodi Informatici Integrati per la Biomedica' (UniPi 2020-2021) and PRIN initiatives since 2000. Her work bridges theoretical computer science with practical biomedical applications, addressing challenges in program obfuscation, numerical analysis, and systems biology. Education: Background in Computer Science with focus on formal methods Key research interests include: Verification of floating-point computations Modeling biological systems using reaction networks Formal program analysis and abstract interpretation Development of verification tools like FPSE and ECLAIR Notable collaborations include work with Simula Research Laboratory (Norway) and the University of Parma. Her contributions span over 60 publications, emphasizing both foundational theory and industrial applications in safety-critical domains.

Kirsten Haydonمشاهده پروفایل

مدرس ارشد

• Contemporary Jewellery Design
• Environmental Art
• Material Art Practices
• +۴ مورد دیگر

Dr. Kirsten Haydon is a Senior Lecturer in the School of Art at RMIT University, specializing in contemporary jewellery, enamelling, and object-based installation. Her research explores Antarctica through material innovation, combining traditional enamels with industrial materials to reimagine landscapes and souvenirs. She has held significant fellowships, including the Antarctic Arts Fellowship (2004–2005), and has exhibited globally, such as at the National Gallery of Victoria and the Dallas Museum of Art. Haydon’s work addresses environmental themes, material practices, and narrative-driven art. Research & Exhibitions: Her projects include Flowers of War (a collaborative WWI commemoration series), Ice Terrane (Antarctic-themed installations), and explorations of micromosaics and industrial materials. Works are held in collections like the Musée des Arts Décoratifs (Paris) and the National Gallery of Victoria. Key Awards: Kurt Albrecht Award (2003), Antarctic Arts Fellowship (2004), RMIT Teaching Award (2006), and Lynne Kosky Jewellery Award (2017). Supervision: 3 completed PhD students, 5 completed Master’s students, and ongoing supervision of 4 PhD and 1 Master’s candidates. Specializes in practice-led research, material art practices, and Antarctic studies. Public Engagement: Works in collections globally, including Antarctica New Zealand and the Dallas Museum of Art. Haydon’s interdisciplinary approach bridges art, environment, and material science, with a focus on innovation and cultural narratives.

Reiner Hähnleمشاهده پروفایل

استاد

• Formal Verification
• Automated Deduction
• Software Product Lines
• +۲ مورد دیگر

Reiner Hähnle is Professor in Software Engineering at TU Darmstadt, specializing in formal methods and verification technologies. His research develops automated approaches to software reliability through formal verification, abstract interpretation, and symbolic execution techniques. Key research areas include: Automated theorem proving for software correctness Verification of software product lines and system families Symbolic execution debuggers and analysis tools Resource-aware verification methods Hähnle contributes to foundational and applied aspects of formal software verification, with recent work focusing on efficient bug detection and product-line verification.

• Machine Learning
• Approximate Inference
• Optimal Control
• +۶ مورد دیگر

Vicenç Gómez is an Associate Professor in the Department of Engineering at Universitat Pompeu Fabra (UPF), where he leads research in artificial intelligence and machine learning. He serves as Coordinator of the Erasmus Mundus Joint Master in Artificial Intelligence and the MSc program in Intelligent and Interactive Systems, and teaches in the BSc in Mathematical Engineering in Data Science. His research interests include machine learning, approximate inference, optimal control, and complex networks , with applications in social networks, robotics, brain-computer interfaces, and urban systems. He applies advanced AI techniques to model human behavior, network dynamics, and decision-making processes. The recent publications highlight a strong focus on graph-based learning, reinforcement learning, social network analysis, and health informatics . His work integrates theoretical advances in probabilistic modeling with real-world applications in digital platforms, environmental monitoring, and mental health. There is a consistent theme of modeling complex systems through structured AI and interpretable models. Scientific Awards and Recognition: Coordinator of the prestigious Erasmus Mundus Joint Master in Artificial Intelligence Local Chair of UAI 2024, a top-tier conference in AI Program Committee member for ICAPS 2024 Organizer of the EMAI Summer School in collaboration with UCL Advising and Grants: Vicenç Gómez actively supervises PhD and Master's students, including Nur Alvarez-Gonzalez, Roger Garriga, Emily Theophilou, and Sergio Calo. His advising spans topics in emotion detection, mental health modeling, air quality prediction, and representation learning. He has been involved in organizing major academic events and leading international educational programs, indicating significant leadership and collaborative grant activity. Labs and Research Groups: He is a key member of the Artificial Intelligence and Machine Learning group at UPF’s Department of Engineering, based at the Roc Boronat building in Barcelona. His team engages in interdisciplinary research combining AI theory with applications in social, health, and urban domains.

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

پژوهشگر

• Formal Verification
• Programming Languages
• Mechanized Reasoning
• +۷ مورد دیگر

Shengyi Wang is an Associate Research Scholar in the Department of Computer Science at Princeton University, School of Engineering and Applied Science. He is actively engaged in research on formal verification, programming languages, and mechanized reasoning, with a focus on verifying concurrent systems, C programs, and network packet processing. Research Interests: His work centers on foundational and compositional verification of low-level systems using interactive theorem proving. Key areas include separation logic, concurrency, data structure invariants, and certified systems programming. He applies these to real-world challenges in systems security and network correctness. Recent Research Trends: His recent publications (2020–2024) show a strong trajectory in verifying complex systems such as concurrent C programs, P4-based packet processors, and enclave filesystems. The work consistently uses Coq and mechanized proofs to ensure correctness, emphasizing scalability and compositional techniques. Scientific Awards: No awards or fellowships are mentioned in the provided text. Advising and Grants: No formal students or advisees are listed. No grants or funding sources are explicitly mentioned. Labs and Teams: While not explicitly stated, his collaborations with researchers like Andrew W. Appel, Lennart Beringer, and William Mansky suggest involvement in Princeton’s formal methods and systems verification research group, likely associated with the Department of Computer Science.

David Monniauxمشاهده پروفایل

پژوهشگر

• programming languages
• static analysis
• model checking
• +۲ مورد دیگر

David Monniaux is a senior researcher (directeur de recherche) at CNRS, the largest French national scientific research agency. He works at VERIMAG, a computer science laboratory jointly operated by CNRS and the University of Grenoble. His research focuses on proving software correct, connecting to computability theory, complexity theory, and mathematical logic. Dr. Monniaux holds a PhD in Computer Science (2001, Université Paris Dauphine) and a habilitation in Computer Science (2009, Université Joseph Fourier, Grenoble), as well as an agrégation in mathematics. His research interests span programming languages, static analysis, model checking, compilers, and assisted proof. He has particular expertise in proving strong properties of critical software used in civil aviation, especially regarding numerical overflows and floating-point computations. He has also worked on cryptographic protocols and probabilistic systems. His approach combines abstract interpretation, formal verification, and mathematical logic to address software correctness problems. Dr. Monniaux's recent work shows a strong focus on static analysis techniques, program verification, and formal methods. His publications demonstrate expertise in polyhedral analysis, strategy iteration, and the application of SMT solving to program analysis problems. His research bridges theoretical computer science with practical applications in safety-critical systems. Among his notable scientific contributions are projects like VERASCO (integrating static analysis into the CompCert certified compiler), STATOR (exploring advanced techniques for automatic inference of program invariants), and ASOPT (developing new algorithms for static program analysis). Dr. Monniaux has advised several students who have gone on to successful careers, including Julien Henry (now at Grammatech), Alexis Fouilhé (now in industry), George (Egor) Karpenkov (now at Apple Inc.), and Alexandre Maréchal (post-doctoral researcher at LIP6). He currently advises Hang Yu and Valentin Touzeau. He is actively involved in the programming languages and formal methods research community, serving on program committees for major conferences including POPL, PLDI, and VMCAI.

Jonathan D. Katzمشاهده پروفایل

عضو هیئت علمی

• Queer Art History
• Queer Studies
• Art History
• +۳ مورد دیگر

Jonathan D. Katz is an Associate Professor of Practice at the University of Pennsylvania, affiliated with the History of Art and Gender, Sexuality, and Women's Studies departments. He is a pioneering figure in queer art history, known for foundational scholarship on queer artists and curating groundbreaking exhibitions like Hide/Seek and About Face . His work spans 19th-century to contemporary art, emphasizing queer theory, gender studies, and visual studies. His research includes key theoretical contributions, such as analyzing queer representation in works by Jasper Johns, Robert Rauschenberg, and Andy Warhol. Research Interests: Katz focuses on queer art history, exploring how queer identities intersect with artistic expression across eras. He examines themes of desire, censorship, protest art, and the global impact of queer visual culture. His current projects include The First Homosexuals , analyzing art from the coining of the term 'homosexual'. Awards: His 2010 Hide/Seek exhibition won the 2011 AICA award for best US museum show, and its catalog was honored by the American Library Association. His recent About Face exhibition was widely praised for its inclusive representation of non-white and non-male artists. Grants & Leadership: He founded the Larry Kramer Initiative at Yale University, the first queer studies program in the Ivy League, and established the first doctoral program in queer visual studies at the University at Buffalo. He also led major queer activist organizations like Queer Nation San Francisco and the Harvey Milk Institute. Labs/Teams: His work often involves curatorial collaborations and academic initiatives promoting queer visibility in art history. He currently edits The Routledge Companion to Queer Art History and directs international exhibitions exploring global queer art narratives.

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

Shashank Srivastava is an Assistant Professor of Computer Science at the University of North Carolina at Chapel Hill (UNC Chapel Hill), where he leads the Learning from Language Lab. His research focuses on artificial intelligence and natural language processing, emphasizing learning from language supervision, neuro-symbolic methods, and interactive machine learning. Prior to his current role, he worked at Microsoft Research in Redmond and completed his PhD in Machine Learning at Carnegie Mellon University under Tom Mitchell, pioneering work on training machine learning models using natural language explanations. Education: PhD in Machine Learning, Carnegie Mellon University (2018) MTech Thesis: 'Evolution of Compositional Languages in Multiple Agent Social Communities,' IIT Kanpur (2010) Research Interests: Developing interpretable and interactive AI systems Zero-shot learning and natural language-driven classifier training Neuro-symbolic integration for robust decision-making Addressing bias and fairness in machine learning Publications reflect a focus on explainable AI, quantifier semantics, and ethical integration of social norms in language models. His lab explores novel applications of natural language supervision for task-oriented learning and human-AI collaboration. Labs/Teams: Learning from Language Lab (UNC Chapel Hill)

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

استاد

• Verification
• Synthesis
• Probabilistic Model Checking
• +۷ مورد دیگر

Jan Kretinsky is a full professor at the Faculty of Informatics, Masaryk University, Brno, Czech Republic, and holds an affiliated professorship at the Chair for Foundations of Software Reliability and Theoretical Computer Science at Technical University of Munich (TUM), Germany. He specializes in formal methods, focusing on verification and synthesis of probabilistic systems, applications of machine learning in verification, and explainable AI. His research bridges theoretical foundations with practical tools, including the Automata Tutor teaching platform and the Rabinizer tool for LTL-to-automata translation. Education: PhD from TU Munich (advisor: Javier Esparza) and Masaryk University (advisor: Antonín Kučera), both with distinction. Previously an IST Fellow at IST Austria and a tenure-track assistant professor at TUM. Research interests span verification of neural networks, probabilistic model checking, temporal logics, and automata theory. He leads the LiVe Lab and collaborates on EU projects like the ERC grant InOVationCS. Active in organizing workshops (LiVe series, Dagstuhl seminars) and serves on program committees for conferences like CONCUR, LICS, and TACAS. Teaching includes courses on complexity, automata theory, and quantitative verification at both institutions. Supervised numerous PhD and master's students, with notable projects in decision tree controllers, runtime monitoring, and attack-defense analysis. Key grants include DFG projects (e.g., GOPro, ConVeY) and EU initiatives. Tools developed: Automata Tutor, Rabinizer series, dtControl, SeQuaiA, and QUADTool. Research highlights include PAC guarantees for MDPs, semantic abstraction for motion planning, and formal methods for cybersecurity.

Sanjiban Choudhuryمشاهده پروفایل

استادیار

• Artificial Intelligence
• Robotics
• Reinforcement Learning
• +۵ مورد دیگر

Sanjiban Choudhury is an Assistant Professor at Cornell University's Ann S. Bowers College of Computing and Information Science and a Machine Learning Researcher at Aurora. He leads the PoRTaL group, focusing on interactive AI agents that self-align through few-shot human interactions. His research emphasizes reinforcement learning (RLHF), imitation learning (IRL), and foundation models for robotics, planning, and code generation. Key achievements include receiving the 2025 ONR Young Investigator Award for multistep robot task learning, the OpenAI Superalignment Award (2024), and a Google Research Award for LLM-based planning. His group develops modular robotics foundation models (MOSAIC), earning best paper awards at ICRA 2024 workshops. Research projects aim to bridge AI language models with robotic execution, enabling robots to interpret manuals/videos and perform complex tasks like engine repairs in hazardous environments. Lab members include doctoral students Gonzalo Gonzalez, Yuki Wang, Kushal Kedia, and master’s student Prithwish Dan. Ongoing work focuses on task super-alignment, human-robot transfer learning, and open-source training models for the robotics community. Current funding supports developing robots capable of fluid, multi-step tasks through integrated AI systems.

Maryam Mahvashمشاهده پروفایل

مدرس

• Material Culture
• Spatial Perception
• Memory and Sense of Place
• +۱۶ مورد دیگر

Maryam Mahvash is a Sessional Faculty Lecturer at Emily Carr University of Art and Design (ECUAD) since 2017, specializing in the intersection of art, design, and critical thinking. She holds a PhD in Architectural Engineering from the University of Tehran and has conducted post-doctoral research at Simon Fraser University. Her interdisciplinary background includes teaching at multiple universities and serving on scientific committees, editorial boards, and jury panels globally. Education: PhD in Architectural Engineering, University of Tehran, Iran Post-Doctoral Research, Simon Fraser University, Canada Master of Urban Design (UBC, Canada and University of Tehran) Bachelor of Architectural Engineering, Islamic Azad University, Tehran Research Interests: Maryam’s work explores the built environment through themes like material culture, spatial perception, memory, and light’s qualitative role in architecture. Her research bridges Iranian architectural heritage with contemporary design theory, emphasizing contextualism and phenomenology. She is particularly noted for her analysis of light and shadows in Persian architecture, as highlighted in her award-winning doctoral work. Awards: Dr. Mozayeni Award, Third Biennial of Architecture and Urbanism Books (2015) Teaching & Mentorship: Maryam’s pedagogy focuses on fostering creativity and critical thinking through immersive studio environments. Though no specific student names are listed, her courses address design aesthetics, urban spaces, and visual communication. No grants or labs are explicitly mentioned beyond her research publications.

Petya Andreevaمشاهده پروفایل

استادیار

• Premodern East Asian Art
• Central Asian Archaeology
• Nomadic Metalwork
• +۴ مورد دیگر

Petya Andreeva is an Assistant Professor of Art at Vassar College since 2024, specializing in premodern East and Central Asian art with a focus on cross-cultural exchange along the Silk Road and Eurasian Steppe. She holds a BA in East Asian Studies from Colby College (2008) and a PhD in East Asian Languages and Civilizations from the University of Pennsylvania (2018). Her interdisciplinary research integrates art history, social anthropology, and environmental humanities. Research Interests: Pre-modern nomadic art and material culture Cross-border artistic exchanges in Eurasia Zoomorphic imagery in ancient pastoral societies Mongol Empire visual culture Sedentary-nomadic artistic dialogues Grants & Awards: UNESCO Silk Road Research Grant Getty-ACLS Postdoctoral Fellowship ICAS Dissertation Accolade Lectures: Invited talks at Princeton IAS, University of Cambridge, Yale, Indiana University, Heidelberg, and the American Center for Mongolian Studies. Works with sources in Chinese, Russian, Japanese, Bulgarian, and Mongolian. Publications: Author of Fantastic Fauna from China to Crimea (2024) and editor of The Zoomorphic Arts of Ancient Central Eurasia (2023). Scholarly articles in Journal of the Royal Asiatic Society , Early China , Archaeological Research in Asia , and Fashion Theory .

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

پژوهشگر ارشد

• Explainable AI
• Computational Science
• Mathematics
• +۳ مورد دیگر

Thomas Fel is a Research Fellow at the Kempner Institute, Harvard University , specializing in Explainable AI . His work integrates computational science , mathematics , and neuroscience principles. Previously, he completed a PhD at Brown University under Thomas Serre and contributed to the DEEL project at Toulouse University with SNCF support. He has also interned at Google and GoPro. Research Interests focus on advancing model interpretability through interdisciplinary approaches. Key projects include developing novel sparse autoencoder architectures (MP-SAE, RA-SAE, USAE) and creating benchmarks like Visual Anagrams to evaluate holistic shape processing in vision models. His work addresses generative model limitations, feature visualization stagnation, and conceptual blindspots in AI systems. Scientific Recognition : 2025 AFIA National PhD Thesis Award 2025 'Signal, Image, Vision' Best PhD Thesis Award 2025 ICML Top Reviewer Thomas has developed critical tools like LENS Project for feature visualization and Xplique Toolbox for attribution methods. His recent work at ICML 2025 explores hierarchical concept extraction and cross-modal representation alignment.

Eva Löfgrenمشاهده پروفایل

مدرس

• Cultural Heritage
• Spatial Theory
• Architectural History
• +۷ مورد دیگر

Eva Löfgren is a Lecturer in the Department of Cultural Preservation at the University of Gothenburg. Her academic work bridges architectural history, cultural heritage, and spatial theory, with a particular focus on the evolving roles of religious and legal buildings in Swedish society. Her research interests include: Space and society The church as cultural heritage Rural public space History of settlement Scientific theory and method in heritage studies Her recent publications span topics from courthouse architecture to the conservation of concrete buildings and the dual identity of churches as both religious and heritage sites. The articles reflect a consistent engagement with spatial practices, institutional architecture, and the socio-political dimensions of preservation. She frequently collaborates with scholars such as Ola Wetterberg and Mattias Kärrholm. Eva Löfgren is actively involved in research projects funded by the Swedish Research Council and the Swedish National Antiquities Board, including: 'The room of justice. On the architecture, technologies and spatial practices of the court' (2020–2023) 'Historical concrete' (2020–2022) Past projects include 'How did the Church of Sweden become a national cultural heritage?' (2014–2019) She has served as an editorial member and reviewer for journals such as Bebyggelsehistorisk Tidskrift and was editor of Byggnadskultur (2011–2014). No scientific awards are listed in the provided text. She has contributed significantly to academic discourse through numerous peer-reviewed articles, book chapters, and editorial work, particularly in Scandinavian heritage and architectural history contexts. There is no mention of student supervision or grant leadership, but her sustained research activity and publications indicate an established scholarly presence. She is not listed as part-time, retired, or deceased, and appears to be a current faculty member.