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

• Formal Methods
• Interactive Theorem Proving
• Proof Assistants
• +۷ مورد دیگر

Chantal Keller is a Lecturer in the Computer Science Department at IUT d'Orsay, University of Paris-Saclay, and a member of the Formal Methods Laboratory (LMF), a joint unit involving CNRS and ENS Paris-Saclay. Her work bridges theoretical computer science and practical formal verification, with a strong focus on interactive theorem proving and proof assistant technologies. University: University of Paris-Saclay School: IUT d'Orsay Department: Computer Science Department Research Lab: Laboratoire Méthodes Formelles (LMF) Her research centers on enhancing the power and usability of proof assistants like Coq. She has developed tools such as SMTCoq , which integrates SMT solvers into Coq for automated reasoning, and HOLLIGHTCOQ , enabling interoperability between HOL-Light and Coq. Her PhD focused on formal proofs with SMT, and she continues to contribute to foundational aspects of type theory, lambda calculus, and logical frameworks. The 15 most recent articles reflect deep engagement with formal logic, programming language semantics, and automated reasoning. Key trends include proof interoperability, termination analysis, constraint programming, and the formalization of mathematical and computational systems in proof assistants. Her work spans theoretical developments and practical implementations in Coq, Agda, and OCaml. Chantal Keller has served on numerous program committees, including ITP, CPP, POPL, TAP, and JFLA, highlighting her active role in the formal methods community. She has held teaching and research positions since 2007, including roles at École Polytechnique and the University of Nottingham. 2025: Co-PC Chair, ITP 2022: Chair, JFLA 2021: Vice-Chair, JFLA; Co-Chair, PxTP 2017–2022: Coordinator, Digicosme UPSCaLe working group She has advised on workshops and school programs, including the EasyCrypt-F*-CryptoVerif school in 2014. She has not received any explicitly mentioned scientific awards in the provided texts. She is actively involved in teaching programming, algorithms, and mobile development at IUT d'Orsay.

Morten Fjeldمشاهده پروفایل

استاد

• Human-Computer Interaction
• Augmented Reality
• Virtual Reality
• +۳ مورد دیگر

Morten Fjeld is a Professor of Human-Computer Interaction at the University of Bergen (Norway) and Chalmers University of Technology (Sweden). He leads WP4 in the SFI MediaFutures initiative and is a cluster leader in the Wallenberg AI program. His research focuses on tangible interaction, tabletop computing, and AR/VR applications in industrial and healthcare contexts. Education: Dual MSc in Applied Mathematics from NTNU (Norway) and ENSIMAG (France) PhD in Computer Science from ETH Zurich (Switzerland) Research Interests: Dr. Fjeld's work spans Human-Computer Interaction , Augmented Reality , and Robotics Interaction . He pioneered the t2i Interaction Lab and has developed novel interaction techniques for industrial tomography, collaborative systems, and drone-human interfaces. His recent work explores emotion-aware voice assistants and AR applications in complex decision-making scenarios. Grants & Leadership: Secured over 15 international grants including Horizon 2020 MSCA actions Founded the ACM ISS conference series and chaired VRST 2017 Leadership roles in ACM CHI and IEEE conferences Labs & Teams: His t2i Interaction Lab collaborates internationally, with projects at ETH Zurich, Tohoku University, and NUS Singapore. Current focus areas include adaptive systems for dementia care and AI-driven moderation tools for political discourse analysis.

Uta Hinrichsمشاهده پروفایل

دانشیار

• Data Visualization
• Information Visualization
• Human-Computer Interaction
• +۵ مورد دیگر

Uta Hinrichs is a Reader in Data Visualisation at the School of Informatics, University of Edinburgh, affiliated with the Institute for Language, Cognition and Computation. She is based in Room 4.19A at the Informatics Forum, 10 Crichton Street. Her research bridges computational methods and human-centered design, with a focus on innovative visualization techniques. Her core research explores: Information Visualization : Developing novel methods for data representation Human-Computer Interaction : Specializing in tabletop interfaces and tangible interactions Digital Humanities : Applying visualization to cultural and participatory contexts Physical Data Representation : Including paper-based and 3D object visualizations She leads projects like the Bumpkin Island Map Archive (participatory mapping for the 2011 Bumpkin Island Art Encampment) and Peace Paper Vis (paper-based visualization of peace vs. GDP relationships), often collaborating with the traubensaft collective.

Clifton Forlinesمشاهده پروفایل

استاد پژوهشی

• Data Visualization
• Human-Computer Interaction
• Multi-touch Interfaces
• +۳ مورد دیگر

Clifton Forlines is a Research Professor at Northeastern University’s Portland campus, specializing in Human-Computer Interaction (HCI), Data Visualization, and Multi-touch Interfaces. He has extensive experience in user interface design and collaborative computing, holding leadership roles at Tactual Labs and Draper Laboratory. He earned a PhD in Computer Science from the University of Toronto, and dual Masters degrees in Human-Computer Interaction and Entertainment Technology from Carnegie Mellon University. His research focuses on optimizing touch and stylus interfaces, multi-user tabletop systems, and spatial-temporal data visualization. His recent publications explore advancements in low-latency touch sensing, collaborative visual exploration, and tactile feedback efficiency. While no scientific awards are listed, his work includes 15+ patents in multi-user interactive systems and display technology. Clifton currently advises PhD student Timothy Yim and has contributed to projects like Alice—a 3D programming environment for education. He can be contacted via cforlines@gmail.com or c.forlines@northeastern.edu.

Benedikt Etzoldمشاهده پروفایل

پژوهشگر

• Human-Computer Interaction
• Multi-screen and multi-device applications
• Visualization and user interfaces
• +۳ مورد دیگر

Benedikt Etzold is a Researcher at the Professorship of Media Informatics , part of the Faculty of Computer Science at Chemnitz University of Technology , Germany. His work focuses on bridging virtual and physical environments through human-computer interaction, with particular emphasis on multi-device systems and collaborative interfaces. Research Interests: Human-Computer Interaction Multi-screen and multi-device applications Visualization and user interfaces Multi-user scenarios Mobile devices Tabletops and public displays Etzold is actively involved in the DFG-funded research training group CrossWorlds , which investigates the integration of virtual and real social worlds. His dissertation project titled "Digital Tangibles – Connecting Multitouch Tabletops to Physical Environments" explores hybrid communication systems.

Kalja Kanellopoulosمشاهده پروفایل

پژوهشگر

• Qualitative Social Research
• Science and Technology Studies
• Human-Computer Interaction
• +۲ مورد دیگر

Kalja Kanellopoulos serves as a Researcher at the Institute for Media Research within the Faculty of Philosophy at Chemnitz University of Technology. Since April 2012, she has been integral to the DFG-funded Research Training Group 'CrossWorlds' (Connecting Virtual and Real Social Worlds), conducting interdisciplinary work at the intersection of social sciences and computer science to overcome constraints in media-mediated communication through studies of communication, emotions, sensomotorics, and learning. Her academic foundation includes a Magister degree (Master's equivalent) in Sociology, General Rhetoric, and Modern German Literature (2004-2011), featuring an international semester at the National and Kapodistrian University of Athens (2007-2008). Prior professional experience encompasses research assistance for the 'Historical Dictionary of Rhetoric' at Tübingen University (2010-2012) and industry work at CeveyConsulting GmbH (2006-2010). Kanellopoulos specializes in Qualitative Social Research, Science and Technology Studies, and Human-Computer Interaction, with concentrated focus on museum contexts. Her ethnographic doctoral project examines innovative communication at interactive museum interfaces under Prof. Claudia Fraas' supervision. She develops frameworks merging design thinking with social inquiry to investigate materialities and aesthetics of digital systems, emphasizing playful interaction and user experience in cultural spaces. Her 2012-2014 publications reveal strong thematic cohesion around interactive museum technologies, particularly multitouch and tabletop systems. These works demonstrate consistent application of Human-Computer Interaction principles to cultural education, with recurring emphasis on collaborative interfaces, visitor experience optimization, and interdisciplinary co-design. The research consistently emerges from CrossWorlds' collaborative environment, reflecting integration of social science methodologies with technical development. As an active member of ACM, Deutsche Gesellschaft für Soziologie (including its Qualitative Methods section), European Sociological Association, and Gesellschaft für Informatik (including Human-Computer Interaction groups), she bridges computational and social domains. Her DFG-funded CrossWorlds work (2012-2018) established platforms for examining virtual-real social connections through interdisciplinary teamwork. Kanellopoulos operates within CrossWorlds' interdisciplinary network of computer scientists and social scientists, contributing to projects that analyze communication constraints across virtual-real boundaries. Her team develops methodological approaches for studying interaction in cultural contexts, producing collaborative outputs for ACM conferences and INTERACT, while advancing understanding of digital systems in educational and heritage settings through materiality-focused investigations.

• Electron Microscopy
• Semiconductor Materials
• Materials Science
• +۳ مورد دیگر

Dr. Thomas Walther is a Reader in Advanced Electron Microscopy at the School of Electrical and Electronic Engineering , University of Sheffield. He received his undergraduate degree in physics from RWTH Aachen (1993) and a PhD in materials science from the University of Cambridge (1997). His career includes postdoctoral positions in France and Germany, followed by a role as assistant professor in Bonn's chemistry department before joining Sheffield in 2006 as Senior Lecturer, advancing to Reader in 2010.

• Learning with digital games
• Curiosity and motivation processes
• Digital skills development
• +۳ مورد دیگر

Jessica Kathmann is a psychologist and PhD candidate at the Leibniz Institute for Knowledge Media (IWM) in Tübingen, affiliated with the University of Tübingen. She works in the Multimodal Interaction Lab on curiosity processes in learning with digital games, particularly through the "Kafka or Not?" project. As a lecturer at multiple German Universities of Applied Sciences, she teaches courses on psychology for game developers and related subjects while supervising student theses. Her educational background includes an M.Sc. in Psychology from Eberhard Karls Universität Tübingen (2016). Prior to her current positions, she worked on the BMBF meta-project "Digitalization in the Fields of Education" (Digi-EBF) focusing on digital skills of prospective teachers and contributed to the expansion of the e-teaching.org portal. She has also managed the Institute's social media channels and participated in public relations work. Kathmann's research centers on learning with digital games, curiosity and motivation processes, and digital skills development in educational contexts. Her work bridges educational psychology, game design, and digital media, with a particular focus on how game mechanics can enhance learning experiences and motivation in formal educational settings. She investigates how digital games can be designed to incorporate collaborative elements and cross-curricular content, particularly in language education. Her recent publications and conference presentations demonstrate expertise in serious games, psychological principles in game design, and the application of digital media in educational settings. She has presented at numerous conferences including the Joint Conference on Serious Games, German Dev Days, and various educational research forums, sharing insights on how psychological theory can inform game development for educational purposes. Mathilde-Planck-Lectureship programme funding (2024-present) As an educator, Kathmann has developed and taught courses on game psychology, social psychology, and psychology for game developers at institutions including Neu-Ulm University of Applied Sciences, Offenburg University of Applied Sciences, and SRH University Heidelberg. She has organized academic events such as the e-teaching.org special topic on quality in higher education with digital media and the "Together into the digital transformation!" dialogue forum connecting school practice with scientific research.

• Experimental Physics
• Neutron Physics
• Quantum Physics
• +۳ مورد دیگر

Mario Pitschmann is a Senior Scientist at Vienna University of Technology (TU Wien), affiliated with the Neutron and Quantum Physics Research Area within the Institute of Atomic and Subatomic Physics (E141). He serves as Principal Investigator for the project "Die Suche nach Dunkler Energie mit Tabletop Experimenten" (Search for Dark Energy with Tabletop Experiments), leading experimental investigations using gravitational resonance spectroscopy. His research spans experimental neutron physics, quantum field theory, and dark energy detection. Key interests include precision measurements of neutron properties in gravitational fields, quantum dynamics in dilaton environments, symmetron field theories as dark energy candidates, and theoretical frameworks for open quantum systems. His work bridges tabletop laboratory experiments with fundamental questions in cosmology and quantum gravity. Recent publications (2021-2023) demonstrate a cohesive research trajectory focused on quantum-gravity interfaces. The qBOUNCE collaboration dominates his experimental output, featuring gravitational resonance spectroscopy with ultracold neutrons to probe dark energy signatures and measure neutron electric charge. Theoretical contributions include novel density matrix formalisms, solutions to nonlinear symmetron equations, and Casimir effect analyses connecting vacuum energy to potential modifications of gravity. No scientific awards were documented in the available sources. Dr. Pitschmann has supervised multiple graduate theses including Caroline Voith's 2023 work on open quantum dynamics in dilaton environments, Liliana Melanie Schwarz's 2021 study of Dirac equation approximations in Earth's gravity, and Markus Wellenzohn's 2008 research on radiation reaction in classical electrodynamics. His primary grant leadership involves the dark energy tabletop experiments project at TU Wien. He is a core member of the qBOUNCE collaboration, which operates advanced gravitational resonance spectroscopy setups using ultracold neutrons. This international team develops Ramsey-type measurement techniques to test fundamental physics, including searches for fifth forces and symmetron-mediated interactions. Current efforts focus on next-generation Cannex experiment designs for enhanced Casimir force measurements.

• Game Design
• Interactive Media
• Programming
• +۳ مورد دیگر

Nevin Flanagan is an Assistant Teaching Professor at the Becker School of Design & Technology, Clark University. He specializes in game design, interactive media, and programming, with a focus on user interfaces and tabletop game advocacy. His academic background includes an M.S. in Interactive Media & Game Development from Worcester Polytechnic Institute (2014) and a B.A. in Digital Media Production from Ithaca College (1998). His research interests revolve around immersive storytelling in games, strategic systems design, and the integration of digital and tabletop gaming. He has contributed to projects like the Mythifex Demonstration at PAX East and a Game Engine Expansion for Unity3D-focused first-person shooter projects. No scientific awards or grants are explicitly noted in the provided text. His advising and lab/team affiliations remain unspecified beyond his role in the Becker School program.

Jason K Kawasakiمشاهده پروفایل

استاد

• Condensed Matter Physics
• Materials Science
• Quantum Materials
• +۶ مورد دیگر

Jason K Kawasaki is an Affiliated Professor in the Department of Physics at the University of Wisconsin–Madison. His research focuses on quantum materials, epitaxy techniques, and strain engineering, with a particular emphasis on exploring novel electronic and magnetic properties in thin films and nanomaterials. He investigates phenomena such as flexomagnetism, superconductivity, and surface-mediated reactions in systems like Heusler compounds and graphene-based heterostructures. Key research areas include: Design and synthesis of epitaxial quantum materials using advanced growth techniques Strain-driven phase transitions and property modifications in thin films Development of novel instrumentation like the X-FAST spectroscopy platform Interfacial effects in heterostructures and nanomembranes His work spans applications in energy materials (e.g., electrocatalysis), topological materials, and nanoelectronics. He has pioneered methods for controlled synthesis of graphene nanoribbons and freestanding nanomembranes, enabling exploration of emergent phenomena at mesoscale dimensions. Recent studies highlight strain-gradient-induced superconductivity in GdAuGe membranes and flexomagnetism in Heusler compounds. He also investigates oxygen vacancy effects in BiVO₄ for catalytic applications. His research integrates experimental techniques with computational modeling to achieve atomic-scale understanding of material behavior. Notable contributions include the development of remote epitaxy strategies for complex oxides and the discovery of tunable magnetic properties in engineered Heusler systems. His work bridges fundamental physics with practical material design, addressing challenges in energy storage and quantum technologies.

• Human-Computer Interaction
• Ergonomics
• Industrial Logistics
• +۲ مورد دیگر

Magdalena Wróbel-Lachowska is a researcher at the Institute of Applied Computer Science within Łódź University of Technology's Faculty of Electrical, Electronic, Computer and Control Engineering. Her interdisciplinary work bridges human-computer interaction, ergonomics, and industrial logistics. Research domains include: Wearable technology for health monitoring and sensory augmentation Ergonomic workplace design and assessment methodologies HCI innovations for neurodiverse populations Logistics education in Industry 4.0 contexts Recent publications demonstrate: Expanding focus on health technologies (2021-2023) Sustained engagement with ergonomic principles Consistent interdisciplinary approach across domains Laboratory work involves developing interactive systems and sensor technologies with applications in healthcare, accessibility, and industrial settings.

Martin Schedlbauerمشاهده پروفایل

استاد آموزشی

• Learning Analytics
• Educational Data Mining
• Online Teaching Methods
• +۳ مورد دیگر

Martin Schedlbauer is a Teaching Professor and Director of Online Faculty and Programs at Northeastern University, based in Boston, MA. He specializes in designing and delivering courses in data science, information systems analysis, web development, and data analytics. His research focuses on learning analytics, educational data mining, and innovative online teaching methodologies. Dr. Schedlbauer holds a Ph.D. in Computer Science and certifications including CBAP, OCUP, CSM, PSM, and CSTE. His work emphasizes improving educational technologies and online learning experiences, particularly in higher education environments. He actively contributes to the field through publications on human-computer interaction and instructional design. Notable research explores input device comparisons in medical scenarios, mobile interaction challenges, and ergonomic design for educational tools. He maintains an online presence via his personal website and Google Scholar profile.

Erik D. van der Spekمشاهده پروفایل

استادیار

• Game Design
• Augmented Reality
• Playful Interaction
• +۳ مورد دیگر

Erik van der Spek is Assistant Professor in Industrial Design at Eindhoven University of Technology, where he serves as research director of the TU/e Game/Play Lab. His work explores how games and playful interactions can create meaningful experiences for education, vitality, and empathy development. Research focuses on: Augmented reality for learning and empathy Fantasy integration in educational games Participatory design with children Hybrid physical-digital play experiences Publications demonstrate empirical investigations into fantasy's role in AR learning, child-centered design methodologies, and multi-perspective game experiences. Recent work received the Best Design Award (2021) and Best Paper Award at IFIP-ICEC 2021. As secretary of IFIP Technical Committee on Entertainment Computing, he coordinates international research initiatives bridging game design and human-computer interaction.

• Virtual Reality
• Augmented Reality
• Haptic Feedback Systems
• +۵ مورد دیگر

Emanuel Vonach is a PreDoc Researcher at the Institute of Visual Computing & Human-Centered Technology at Vienna University of Technology (TU Wien), specializing in virtual reality, haptics, and tangible user interfaces. His work focuses on developing innovative VR systems with robotic haptic feedback, health monitoring technologies for children, and motion capture applications. He maintains an active research profile with publications spanning from 2011 to 2025, demonstrating continuous contribution to the field of human-computer interaction. Vonach's research interests primarily center around enhancing virtual reality experiences through physical interaction. His work explores how robots can provide haptic feedback in VR environments, developing systems like CoboDeck (a large-scale haptic VR system using collaborative mobile robots) and Action-Origami inspired haptic devices. He has also pioneered applications in health monitoring for children through projects like MediCubes, which transforms medical examinations into engaging storytelling experiences using tangible interfaces. His research bridges the gap between theoretical computer science and practical applications in healthcare, education, and emergency response. His publication record shows a clear progression from foundational work in motion capture and tracking systems to increasingly sophisticated haptic VR applications. Recent publications focus on environment-independent locomotion prediction for haptic VR and safety monitoring systems for encountered-type haptics, indicating a maturation of his research toward more complex, real-world applications. The consistent funding from organizations like the Austrian Research Promotion Agency (FFG) and European Commission demonstrates recognition of his work's significance. Vonach actively supervises graduate students, with thesis topics covering mobile collaborating robots for haptics, in-situ questionnaires for haptic experience, and visual assessment with eye-tracking displays. His role as a PreDoc Researcher with FWF funding suggests he is either completing or has recently completed his doctoral studies while maintaining an active research program. His collaborations with Professor Hannes Kaufmann and other researchers at TU Wien form a cohesive research group focused on advancing VR and haptic technologies.