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

• Formal Methods
• SMT Solving
• Requirements Engineering
• +۳ مورد دیگر

Elisabeth Henkel is a Researcher at the University of Freiburg's Department of Computer Science, within the Faculty of Engineering. Her research focuses on formal methods, SMT solving, and requirements engineering. She has contributed to tools like Hanfor and SMTInterpol, addressing challenges in automated reasoning and scalable requirements analysis. Teaching responsibilities include co-organizing Software Engineering (summer semesters 2022–2023) and Cyber-Physical Systems: Discrete Models (winter 2022/23). She also supervises Bachelor's projects in Automatentheorie and Programmanalyse. Her work bridges theoretical foundations (e.g., Craig interpolation) with practical applications in software verification and user-centric formal specifications. Publications emphasize empirical studies of formal pattern languages and interpolation techniques for SMT solvers. She actively contributes to the academic community through tool development and peer-reviewed research, though no awards are explicitly listed in the provided texts.

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

مدرس ارشد

• Automated Theorem Proving
• Higher-Order Logic
• Formal Methods
• +۳ مورد دیگر

Martin Riener is a Senior Lecturer at the Department of Theory and Logic, Faculty of Informatics, TU Wien. His research focuses on automated theorem proving, higher-order logic, and formal methods. He contributes to the GAPT framework for proof theory and collaborates on the Vampire theorem prover. He has worked on projects like CERESω cut-elimination and TLAPM for TLA+. Education: PhD (2017) and MSc (2011) in Computer Science from TU Wien. Research projects include an Austrian Science Fund (FWF) project (2010–2012) on proof-theoretic applications of CERES. Teaching includes courses on programming fundamentals, digital systems, and formal modeling. He is involved in outreach activities explaining computer science concepts through unplugged activities for diverse age groups. Software contributions include GAPT, Vampire, and TLAPS. Contactable via three email addresses and ORCID: 0000-0001-8836-7808 .

Jbid Arsenyanمشاهده پروفایل

دانشیار

• Collaborative Product Development
• Open Innovation
• Crowdsourcing
• +۵ مورد دیگر

Dr. Jbid Arsenyan is an Associate Professor in the Strategy and Innovation Academic Area at Rennes School of Business, where he has been employed since September 2017. His academic background includes a PhD in Industrial Engineering from Galatasaray University (2011), an M.Sc. from Grenoble (2005), and a B.Sc. in Industrial Engineering from Galatasaray University (2004). Previously, he served as Assistant Professor at Bahcesehir University (2013-2017) and held teaching roles there from 2008-2012. His research focuses on collaborative product development , open innovation , crowdsourcing , fuzzy decision-making , and AI in management . He has published extensively on virtual influencers, AI ethics, crowdsourcing methodologies, and multi-criteria decision frameworks. Notable collaborations include Agata Mirowska and Anke Piepenbrink. Recent publications highlight trends in human-virtual agent interaction (e.g., empathy in social media engagement), AI's role in management research , and digital frugality in organizational contexts. His computational literature reviews and empirical studies bridge AI, ethics, and business strategy. Scientific awards include the Certificate of Merit at ICMEEM’11 and the Bourse d’Excellence from the French government. His work has appeared in International Journal of Human-Computer Studies , Technological Forecasting and Social Change , and IEEE Transactions on Engineering Management . He contributes to pedagogic innovation through instructional design and knowledge management frameworks.

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

استادیار

• Service Management
• Service Innovation
• Digital Marketing
• +۳ مورد دیگر

Robert Ciuchita is an Assistant Professor of Marketing at Hanken School of Economics , Finland. His research and teaching focus on service management , service innovation , digital marketing , and customer experience management . PhD in Marketing from Maastricht University Editorial roles: Associate Editor (Innovation & Technology) for Journal of Business Research Editorial review board member for Journal of Service Research and Industrial Marketing Management His research explores the intersection of digital technologies and consumer behavior, including topics like AI in services , social media dynamics , and data-driven customer experience . Publications span journals such as Journal of Service Research, Journal of Interactive Marketing, and Journal of Business Research. Key article trends include: Deinfluencing movements on social media platforms Human-AI collaboration in digital service environments Psychological dimensions of robot taxation policies Parasocial interactions in consumer-generated video reviews

Mai Otsukiمشاهده پروفایل

دانشیار

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

Mai Otsuki is an Associate Professor in the Department of Information and Computer Science at Keio University's Faculty of Science and Technology, specializing in Human-Computer Interaction with a focus on Augmented and Virtual Reality systems. Her research spans nearly two decades, with an extensive publication record in top-tier venues including CHI, UIST, VRST, and IEEE Transactions on Visualization and Computer Graphics. Dr. Otsuki's primary research interests center on developing novel interaction techniques for augmented and virtual environments, particularly focusing on remote collaboration, spatial interfaces, and haptic feedback systems. Her work addresses fundamental challenges in how humans perceive and interact with virtual elements, with practical applications in remote instruction, industrial training, sports education, and service industry skill development. She has pioneered approaches for gaze representation, semantic labeling in AR, and physical interaction with virtual objects. Her recent publications (2023-2025) demonstrate continued innovation in applying AR/VR technologies to practical domains including industrial machinery operation, shopping experiences, and assembly tasks, with growing emphasis on physiological metrics and cognitive load assessment. Her work consistently bridges theoretical HCI principles with real-world applications, showing particular strength in experimental design and user-centered evaluation methodologies. Dr. Otsuki has established a robust collaborative network with researchers across Japan and internationally, frequently working with Hideaki Kuzuoka, Asako Kimura, Fumihisa Shibata, and Hideyuki Tamura. Her research group appears to focus on developing practical AR/VR systems that address specific human performance challenges in collaborative and instructional contexts.

• Sexual and Reproductive Health and Rights
• Abortion (in)Access
• Rural Health
• +۴ مورد دیگر

Dr Anna Noonan is a Research Fellow at the University of Sydney’s School of Rural Health, affiliated with the Faculty of Medicine and Health. She is based on Wonnarua country in regional New South Wales. Her work focuses on rural sexual and reproductive health, abortion access, mental health resilience, and qualitative research methodologies. She holds membership in the SSSHARC (Sydney Southeast Asia Centre) and collaborates with international institutions like the University of British Columbia’s Contraception and Abortion Research Team (CART) Lab. Research Interests Abortion (in)access in rural contexts Rural health systems and sustainability Mental health and climate resilience Community-led knowledge creation Gender equity in healthcare Her recent research highlights include geospatial analysis of abortion facility accessibility, climate change impacts on rural mental health, and qualitative studies on unintended pregnancy experiences. She has been recognized with awards such as the NSW Parliament Community Service Award (2024) and Emerging Researcher of the Year (2023). Current Projects Access All Areas Research Collective : Mapping abortion deserts in NSW and BC via data visualization and podcast initiatives Collaborative study on rural primary care providers’ experiences delivering abortion care Grants & Media Recipient of grants like the Deputy-Vice Chancellor (Research) Proof-of-Concept grant and the Research Impact Accelerator grant . Active in public discourse, her op-eds and interactive media pieces have appeared in The Sydney Morning Herald , The Guardian Australia , and Women’s Agenda .

Stefan Monnierمشاهده پروفایل

دانشیار

• Type Theory
• Dependent Types
• Functional Programming
• +۶ مورد دیگر

Stefan Monnier is an Associate Professor in the Department of Computer Science and Operations Research at the University of Montreal's Faculty of Arts and Science. His office is located in room 2341 of the André-Aisenstadt building. He is an active researcher in programming language theory with numerous publications and ongoing research projects. Dr. Monnier's primary research interests focus on pushing the limits of strongly typed programming languages to make them applicable in circumstances where they're currently inapplicable. He's particularly interested in designing advanced type systems that enable secure low-level code development, including automatic memory management. His work explores how programmers can explain program correctness to compilers through type annotations. He's the creator of the Typer language, which combines elements of ML, Scheme, and Coq. His recent publications (2021-2025) show a consistent focus on dependent types, type theory, and programming language implementation. The research trends indicate a growing interest in practical applications of advanced type systems, with several papers addressing memory management challenges through type-theoretic approaches. His work bridges theoretical foundations with practical implementation concerns. Dr. Monnier has supervised numerous graduate students, including 14 Master's students and 2 PhD students over the past two decades. His research is supported by multiple grants from NSERC and FRQNT, including the ongoing "Typer: An exocompiler to program with dependent types" project (2018-2026) and previous iterations dating back to 2012. Typer: An exocompiler to program with dependent types (2018-2026, NSERC) Fondements logiques pour la meta-programmation (2021-2024, FRQNT) Supplément COVID-19 CRSNG_Typer (2020-2021, NSERC) TYPER: A LISP APPROACH TO DEPENDENT TYPES (2012-2019, NSERC) He is a member of the LTP (Laboratoire de Traitement Parallèle) and collaborates with the Logic and Computation group at McGill University. His work has significant connections to the Emacs community, where he previously served as a maintainer and contributed several packages now bundled with Emacs.

Anders Miltnerمشاهده پروفایل

استادیار

• Program Synthesis
• Automated Refactoring
• Automated Verification
• +۱ مورد دیگر

Anders Miltner is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), specializing in programming languages and automated reasoning. He holds a PhD in Computer Science from Princeton University (2020), an MA in Mathematics from the University of Pennsylvania (2013), and a BSE in Computer Science and Mathematics from the same institution (2013). His research focuses on program synthesis, automated refactoring, and functional programming, aiming to automate tedious aspects of programming to enhance developer productivity. Education: PhD, Computer Science, Princeton University, 2020 MA, Mathematics, University of Pennsylvania, 2013 BSE, Computer Science and Mathematics, University of Pennsylvania, 2013 Research Interests: Program synthesis, automated refactoring, automated verification, and functional programming. He explores how tools can automate programming tasks to allow developers to focus on core algorithms. Projects include Burst (program synthesis), Hanoi (data structure verification), and Type-Directed Refactorings (syntax-independent refactorings). Scientific Awards: NSERC Discovery (2023) NSERC Discovery Launch Supplement (2023) POPL Distinguished Paper Award (2022) PLDI Distinguished Paper Award (2020) Advising & Grants: Mentors PhD students Clement Wan and Ellenor Taghayor, and MSc/undergraduate students. Leads projects funded by NSERC grants and a Microsoft Research fellowship. Serves on conference committees for PLDI, POPL, and others. Labs & Teams: Collaborates on the Hanoi project (representation invariant generation) within the Tangent Lab, involving institutions like UCLA and UT Austin.

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

استادیار

• Undergraduate Mathematics Education
• Graphical Reasoning
• Calculus Teaching and Learning
• +۳ مورد دیگر

Dr. Erika David Parr is an Assistant Professor in the Department of Mathematics and Statistics at Rhodes College. She holds a Ph.D. in Mathematics Education from Arizona State University, following a postdoctoral position at Middle Tennessee State University. Her research focuses on undergraduate students’ comprehension of graphs and formal mathematical language, emphasizing student-centered approaches to conceptual learning in secondary and undergraduate mathematics education. Education: B.A. in Mathematics, University of Dallas M.A. in Mathematics, Arizona State University Ph.D. in Mathematics Education, Arizona State University Research Interests: Dr. Parr explores how students interpret graphical representations in calculus and mathematics, particularly focusing on the intersection of frameworks that explain student reasoning. Her work highlights strategies to enhance conceptual learning through collaborative activities and epistemic positioning in classroom settings. She examines obstacles in expressing mathematical concepts like distance in Cartesian planes and designs interventions to address these challenges. Publications reflect a sustained focus on graphical reasoning, student interpretations of mathematical statements, and collaborative learning dynamics. Notable themes include the role of epistemic authority in classrooms and the development of hypothetical learning trajectories for calculus concepts. Awards: No scientific awards explicitly mentioned in the provided text. Advising & Grants: No specific advisees or grant details provided. Her work emphasizes classroom-level interventions and collaborative educational strategies. Labs/Teams: No dedicated lab or team affiliations explicitly stated, though her research involves collaborative classroom studies and interdisciplinary educational frameworks.

• Formal Verification
• Theorem Proving
• Approximate Computing
• +۵ مورد دیگر

Sofiène Tahar is a Professor at Concordia University's Department of Electrical and Computer Engineering, affiliated with the Faculty of Engineering and Computer Science. His research focuses on formal verification, theorem proving, and their applications in cyber-physical systems, circuit design, and reliability engineering. He has authored over 300 publications in top-tier conferences and journals, including DATE, ICFEM, and FMCAD. Key research areas include formal methods for analog/digital circuits, approximate computing, stochastic systems, and safety-critical systems. His work bridges theoretical foundations (e.g., theorem proving in HOL) with practical engineering problems like circuit reliability and autonomous systems verification. Recent projects involve formal analysis of vehicular systems, energy-efficient approximators, and machine learning integration with formal verification frameworks. Tahar collaborates extensively with industry partners and holds leadership roles in international conferences, including co-chairing ICFEM 2023.

Bogdan Carbunarمشاهده پروفایل

دانشیار

• Cybersecurity
• Cryptography
• Disinformation and Censorship
• +۴ مورد دیگر

Bogdan Carbunar is an Associate Professor at the Knight Foundation School of Computing and Information Sciences , Florida International University . He directs the CaSPR lab , focusing on disinformation, censorship, online fraud, and cyberabuse through systems research, user studies, cryptography, and AI. Current research themes: Cybersecurity, Blockchain Applications, Privacy Systems Recent publication trends: Plausible Deniability, Censorship Evasion, Social Media Fraud Scientific Awards : Best Paper Award 2016 Actively mentoring PhD students and serving on multiple cybersecurity conference program committees (ACM CCSW, IEEE S&P, USENIX Security).

Charlotte Vlekمشاهده پروفایل

مدرس

• Science Communication
• Legal Evidence Analysis
• Bayesian Networks
• +۳ مورد دیگر

Dr. Charlotte Vlek is a Science Writer and Lecturer in Science Education and Communication at the University of Groningen's Faculty of Science and Engineering. She specializes in integrating Bayesian networks with legal reasoning, particularly in criminal case analysis. Her work bridges probabilistic modeling and forensic storytelling, focusing on how narratives and quantitative evidence interact in legal contexts. Her research emphasizes constructing transparent Bayesian network models for legal scenarios, ensuring that complex probabilistic analyses remain accessible to legal professionals. She has published extensively on the representation of crime scenarios, quality assessment of legal evidence, and the application of artificial intelligence in law. Her interdisciplinary work spans computer science, law, and education, with notable contributions to the JURIX and Artificial Intelligence and Law conferences. She holds a PhD from the University of Groningen (2016) and has collaborated with institutions like the Groningen Science LinX initiative.

• Cryptography
• Network Security
• Wireless Sensor Networks
• +۵ مورد دیگر

Gonzalez Nieto, Juanma is a researcher at Queensland University of Technology specializing in Cryptography and Network Security . His work focuses on Denial-of-Service protection , Predicate Encryption , RFID Authentication , and Cloud Computing Security . He has co-authored numerous publications addressing these areas, often collaborating with academics like Colin Boyd and Mark Manulis. Research Interests : Designing secure protocols for wireless sensor networks and cloud environments Developing automated proof systems for cryptographic indistinguishability Enhancing RFID privacy and mitigating phishing vulnerabilities Constructing verifiable ciphertexts and forward-secure encryption Publication Trends : His articles span Cryptography , Network Security , and Cloud Computing , with subfields including client puzzles, predicate encryption, and geographic proofs. Many works address practical implementations of security mechanisms in real-world systems.

• Computability Theory
• Mathematical Logic
• Descriptive Set Theory
• +۲ مورد دیگر

Dino Rossegger is a mathematician working at the Institute of Discrete Mathematics at Technische Universität Wien. He serves as Principal Investigator for the international project "Structural Complexity Measures for Foundational Theories" funded by the Austrian Science Fund. Previously, he completed a Marie Skłodowska Curie fellowship called ACOSE (Algorithmic Complexity of Structural Equivalence Relations) which involved a two-year research phase at UC Berkeley under Antonio Montalbán's supervision followed by a return phase at TU Wien under Ekaterina Fokina's supervision. His research focuses on computability theory and its interactions with descriptive set theory and model theory. Rossegger investigates fundamental questions about the algorithmic complexity of mathematical structures, particularly examining degrees of categoricity, bi-embeddability spectra, and the relationship between computational and descriptive complexity measures. His work often bridges the gap between pure computability theory and broader mathematical contexts, as evidenced by his publications on linear orderings, models of arithmetic, and equivalence relations. Rossegger's publication record shows consistent output in top-tier logic journals including the Journal of Symbolic Logic, Proceedings of the American Mathematical Society, and Journal of Mathematical Logic. His recent work demonstrates growing influence in the field of computable structure theory, with particular attention to the interplay between Turing degrees and structural complexity measures. The pattern of his publications reveals a deepening exploration of how computational constraints affect the classification of mathematical structures. Marie Skłodowska Curie Global Fellowship recipient Principal Investigator for Austrian Science Fund project Extensive publication record in mathematical logic journals Rossegger has taught courses at multiple institutions including Technische Universität Wien, University of California Berkeley, and University of Waterloo. His teaching spans advanced mathematical logic topics, recursion theory, and calculus for honors mathematics students. He has developed comprehensive course materials including detailed notes for computability theory and mathematical logic courses. At TU Wien, he has also taught exercise sessions for first-year mathematics courses for computer scientists. His involvement in the local research seminar at TU Wien and organization of the "Computable Structure Theory and Interactions" conference demonstrates his active engagement with the research community.

Gabriel BABYمشاهده پروفایل

دانشیار

• Occupational Health and Safety
• Industrial Risk Management
• Mining Engineering Safety
• +۳ مورد دیگر

**Gabriel BABY** is an Associate Professor at the Faculty of Mining , Politehnica University of Timisoara , in the Department of Management and Industrial Engineering. His research focuses on occupational health and safety, industrial risk assessment, and safety management systems in high-risk industries such as mining, manufacturing, and telecommunication. He specializes in human error analysis, chemical risk evaluation, and the integration of AI in ergonomic design. His work addresses legislative frameworks for occupational safety in Romania, emphasizing proactive risk management and compliance with international standards. Recent projects include case studies on multinational company risk assessments and safety protocols for working at heights in telecommunication operations. He has contributed to developing safety databases and tools for coal mining and military structures, highlighting the importance of safety culture and data-driven decision-making. Education**: PhD (title not specified in text). Research Interests**: Industrial safety, occupational risk assessment, mining safety engineering, ergonomic systems, and regulatory compliance in hazardous industries. Key Contributions**: Over 30 peer-reviewed articles on risk mitigation, safety protocols, and technological applications in safety management. His work bridges theoretical frameworks with practical tools for industries facing specific risks like methane accumulation, chemical exposure, and workplace accidents. Awards**: None explicitly mentioned in the provided text. Grants/Projects**: Focus on EU-funded projects related to occupational safety in mining and manufacturing sectors (details not specified). Labs/Teams**: Involved in safety research groups at the Faculty of Mining, collaborating with industry partners on risk assessment methodologies and safety training programs.