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

Luca Cardelli is a Principal Researcher and Assistant Director at Microsoft Research Cambridge, UK, since 1997. He holds visiting professorships at Imperial College London (Department of Computing, 2004–2009) and the University of Trento (2005–2007). He earned his PhD in Computer Science from the University of Edinburgh in 1982. His research spans type theory , molecular programming , and principles of programming languages , with applications to systems biology and concurrency theory. Notable contributions include formal frameworks for modeling biochemical systems (e.g., the stochastic π-calculus) and designing DNA-based circuits. Key achievements include the AITO Dahl-Nygaard Senior Prize (2007) and multiple Most Influential Paper Awards at POPL and ETAPS. His work bridges computer science and biology, advancing both theoretical foundations and practical molecular computing.

• Type theory
• Systems biology
• Principles of programming languages
• +۳ مورد دیگر

Andreas Rauber is an Associate Professor in the Department of Data Science at Technical University of Vienna. He serves as Curriculum Coordinator for Bachelor and Master programs in Business Informatics and Data Science, and chairs the Curriculum Commission for Business Informatics. His research focuses on Information Systems Engineering, Logic and Computation, and Visual Computing, addressing challenges in data management, digital preservation, and reproducibility in e-science. He leads projects like OS Trails and FAIR-AI, emphasizing FAIR principles and trustworthy research infrastructures. Rauber has contributed to over 150 publications, including works on data citation frameworks, adversarial ML defenses, and reproducibility in IR. His work bridges technical innovation with policy, exemplified through roles in the EOSC Support Office Austria and RDA Austria initiatives. Key projects include establishing FAIR data practices across universities and advancing digital preservation through repositories like DBRepo. He coordinates international collaborations, such as the EU-funded EOSC-Life and EGI Advanced Computing projects. His teaching spans courses in machine learning, information retrieval, and research methods, fostering next-generation data scientists.

• Data Management
• Digital Preservation
• Machine Learning
• +۴ مورد دیگر

Jennifer Culbertson is an Associate Professor at the University of Edinburgh, where she has been a faculty member since 2014 when she took up a Chancellor's Fellowship, later being promoted to Reader (equivalent to Associate Professor) in 2018. She is a founding member of the Centre for Language Evolution at Edinburgh and maintains an active research program in experimental linguistics and cognitive science. Dr. Culbertson obtained her PhD in Cognitive Science from Johns Hopkins University in 2010, with her dissertation receiving the Robert J. Glushko Prize for Outstanding Dissertations in Cognitive Science in 2011. Her primary research investigates how languages are shaped by learning and use, with particular focus on grammatical structures (like word order) and morphological categories (gender and person systems). She employs experimental and computational methods to explore how typological universals arise from properties of the human cognitive system. Her work bridges theoretical linguistics, cognitive science, and language evolution, examining the cognitive constraints that influence linguistic patterns across diverse languages and learning contexts. She frequently uses artificial language learning paradigms to isolate specific cognitive mechanisms underlying language structure. Analysis of her recent publications reveals a consistent focus on cognitive biases in linguistic structure, particularly in word order and morphological systems. Her research increasingly incorporates cross-population studies (including work with autistic learners) and developmental perspectives to understand how language patterns emerge across different populations and throughout the lifespan. She examines how simplicity principles, communicative efficiency, and statistical learning shape linguistic structure. Dr. Culbertson's scientific contributions have been recognized with several prestigious awards: Robert J. Glushko Prize for Outstanding Dissertations in Cognitive Science (2011) ERC Starting Grant Young Academy of Europe membership (2019) Her research has been supported by over €2 million in funding from the ESRC and ERC. While specific advisees aren't mentioned in the provided text, her active publication record with numerous co-authors suggests she mentors graduate students and early-career researchers. Her work has significant implications for understanding language universals, language acquisition, and the cognitive foundations of linguistic structure. As a founding member of the Centre for Language Evolution at Edinburgh, Dr. Culbertson collaborates with an interdisciplinary team investigating the biological, cognitive, and cultural foundations of human language. Her research often intersects with psychology, cognitive science, and computational linguistics, contributing to a comprehensive understanding of language as both a cognitive and social phenomenon.

• Experimental linguistics
• Syntax
• Morphology
• +۴ مورد دیگر

Axel Polleres is a full professor at the Institute for Data, Process and Knowledge Management in Vienna University of Economics and Business (WU Wien). He leads the department of Information Systems and Operations Management while maintaining active research in knowledge graphs, semantic web technologies, and ontology engineering. PhD and Habilitation from Vienna University of Technology Former positions at University of Innsbruck, Universidad Rey Juan Carlos, DERI Ireland, and Siemens AG Co-chair of W3C SPARQL working group Editorial board member for Semantic Web Journal and IJSWIS His research focuses on: Querying and reasoning over ontologies Graph schema languages (SHACL, SPARQL) Wikidata constraint formalization Ontology reuse in collaborative platforms Crisis management knowledge graphs FAIR data principles implementation Recent publications analyze knowledge graph evolution, constraint validation methodologies, and semantic web standardization efforts. Key topics include: OWL/RDF interoperability solutions Unit conversion systems for Wikidata Partition-based query processing frameworks Network resilience analysis for urban planning Open data platform discovery tools Temporal analysis of collaborative knowledge graphs He has co-organized major conferences like ISWC2023 and ESWC workshops while maintaining active roles in European research projects. Current work involves spatiotemporal knowledge graphs for city resilience and semantic web infrastructure development.

• Semantic Web
• Knowledge Graphs
• Ontology Reasoning
• +۷ مورد دیگر

Prof. Georg Jäggle is a Professor of Vocational Education at the University College of Teacher Education Vienna (PH Wien), specializing in educational robotics, STEM pedagogy, and sustainability education. He leads the Department of Vocational Education within the Institute for Secondary Level Vocational Education (I:SBB). His work integrates technology-enhanced learning environments, focusing on project-based methodologies to bridge gaps between education and industry needs. Key projects include the Recycling Heroes initiative (2022–2024), which employs citizen science to promote circular economy awareness, and the EU-funded ER4STEM project (2017–2018), fostering STEM engagement through robotics. Prof. Jäggle holds a Dipl.-Ing. (FH) and a Dr. in engineering education, with prior industry experience as an engineer and vocational school teacher. His research emphasizes digital competence development, intergenerational learning, and inclusive education strategies. He has coordinated interdisciplinary teams across 10+ EU and national projects, including RoboCoop (2018–2022) and Makers@school (2017–2019), which implemented robotics and maker culture in schools. His teaching spans applied mathematics, engineering, and automation technology at both academic and vocational levels. Research interests include technology integration in vocational training, lifelong learning frameworks, and the impact of educational robotics on student motivation. Recent publications (2022–2024) explore STEM career self-efficacy, sustainability curriculum innovation, and cross-generational robotics collaboration. He currently serves in the Center for Research Management (Zentrum Forschungsmanagement) at PH Wien, advancing applied research in MINT (STEM) education and educational technology.

• Educational Robotics
• STEM Education
• Sustainability Education
• +۳ مورد دیگر

Manuel Wimmer is a Full Professor and Head of the Department of Business Informatics – Software Engineering at Johannes Kepler University Linz, Austria. He also serves as the Program Director for the Business Informatics master's program since 2019. His academic leadership extends to representing JKU Linz in the AutomationML society and leading significant research initiatives. Dr. Wimmer received his Ph.D. and Habilitation from TU Wien. His academic journey includes: Research associate at the University of Malaga, Spain Visiting professor at the University of Marburg, Germany Visiting professor at TU Munich, Germany Assistant professor at the Business Informatics Group (BIG), TU Wien, Austria Professor Wimmer's research focuses on Model-Driven Software Engineering and its applications, particularly in the emerging field of Digital Twins . His work bridges theoretical foundations with practical industrial applications, with special emphasis on model transformations, runtime modeling, and the integration of artificial intelligence techniques into model-driven approaches. More recently, he has been exploring the intersection of model-driven engineering with quantum computing, investigating how modeling principles can be applied to quantum software development. His recent publications reveal a strong trend toward Digital Twin engineering, with approximately 40% of his 2023-2025 publications focusing on various aspects of Digital Twin technology. Another significant strand of his work involves the application of AI and machine learning techniques to enhance model-driven engineering processes. The emergence of quantum software engineering as a research direction is also notable in his most recent publications, demonstrating his ability to identify and explore cutting-edge research frontiers. From 2017-2023, Professor Wimmer led the Christian Doppler Laboratory on Model-Integrated Smart Production (CDL-MINT), where he developed engineering approaches for digital twins. He is also the co-author of the influential book "Model-driven Software Engineering in Practice" (2nd edition, 2017). Professor Wimmer is actively involved in the organization of major scientific events including the IEEE International Conference on Quantum Software (QSW) and the International Conference on Engineering Digital Twins (EDTconf), demonstrating his leadership in these emerging research communities. His research has practical applications across various domains including smart cities, industrial automation, tunneling/construction, and quantum computing. The MATISSE project represents a significant multi-partner effort to develop a framework for federated digital twins of industrial systems.

• Model-Driven Software Engineering
• Digital Twins
• Model-Driven Engineering
• +۵ مورد دیگر

Professor Jeffrey Kramer is a distinguished academic at Imperial College London, where he currently serves as Professor in Distributed Computing within the Department of Computing, Faculty of Engineering. With a career spanning over four decades at Imperial College, he has held numerous leadership positions including Senior Dean (2009-2012), Dean of the Faculty of Engineering (2006-2009), and Head of the Department of Computing (1999-2004). Professor Kramer's research focuses on software engineering, particularly in distributed computing, requirements engineering, software architecture, and self-managing adaptive systems. His work on the Darwin Software Architecture led to commercial implementation by Philips in consumer television products. He has been a principal investigator in research projects developing the CONIC and DARWIN environments for distributed programming. His publication portfolio includes over 200 refereed journal and conference papers along with two influential books: 'Distributed Systems and Computer Networks' (1986) and 'Concurrency: State Models & Java Programs' (1999, 2nd ed. 2006). His most cited works address software architecture, dynamic reconfiguration, and adaptive systems, demonstrating a consistent research trajectory focused on foundational aspects of distributed software systems. FREng Fellow of the Royal Academy of Engineering (2008) ACM SIGSOFT Outstanding Research Award (2005, joint with Prof. Magee) ACM SIGSOFT Distinguished Service Award (2011) Editor-in-Chief of IEEE Transactions on Software Engineering (2006-2009) Most Influential Paper Award at ICSE 2003 IEE Informatics Premium prize (1998/99) Professor Kramer has served on over 50 international conference committees in the last decade and has delivered numerous keynote addresses globally. His industrial collaborations include work with BP, BT, NATS, Fujitsu, Barclays Capital, QinetiQ, Kodak, Microsoft, and Philips. He has also served as an expert witness for major law firms and has been involved in numerous research collaborations and consulting engagements.

• Software engineering
• Distributed computing
• Requirements engineering
• +۵ مورد دیگر

Leonid Libkin is a Professor and Chair of Foundations of Data Management at the University of Edinburgh , affiliated with the School of Informatics and the Laboratory for Foundations of Computer Science (LFCS) . Since 2006, he has been leading research and teaching in data management, database theory, and logic in computer science. Education and Career: 2006–present: Professor and Chair of Foundations of Data Management, University of Edinburgh 2004–2006: Full Professor, University of Toronto 2001–2004: Associate Professor, University of Toronto 1999–2000: Visiting Researcher, INRIA-Rocquencourt 1994–2001: Member of Research Staff, Bell Laboratories, Murray Hill Research Interests: Libkin's research spans databases, logic in computer science, and finite model theory. His work includes query languages for relational and graph databases, data integration, constraints, incomplete data, automata theory, and applications of logic in computer science. He has also contributed to lattice theory and programming semantics. Awards and Honors: Royal Society Wolfson Research Merit Award (2016) Member of Academia Europaea (2015) Fellow of the ACM (2012) Fellow of the Royal Society of Edinburgh (2012) Marie Curie Chair, EU FP6 (2006) Premier's Research Excellence Award, Ontario (2001) Five best paper awards from top-tier conferences (KR, ICDT, PODS) Books and Publications: Libkin is the author of several influential books including Elements of Finite Model Theory , Principles of Databases , and others on database theory and logic. His extensive publication record includes foundational papers in database theory and logic in computer science.

• Data management
• Database theory
• Logic in computer science
• +۲ مورد دیگر

Gabriel Parriaux is an Associate Professor at Vaud Teacher Training College (HEP Vaud) in Switzerland, where he serves as Head of the Unit for Media, Digital Uses and Computer Science Teaching (UER MI). His work focuses on establishing computer science as a formal academic discipline within Swiss schools, moving beyond digital tool usage to understanding foundational computational principles. He plays a key role in developing teacher training programs for computer science education across all school levels. With an academic background spanning Oriental languages (Chinese, Sanskrit) and religious studies, Dr. Parriaux transitioned to computer science education through additional training at the University of Lausanne (UNIL) and EPFL. He is currently completing his doctoral thesis titled "Computer science in primary schools and teacher education" under Professor Éric Bruillard at Université Paris Cité's EDA laboratory. His research examines learning obstacles, teacher representations, effective pedagogical strategies, and curriculum development in computer science education. Recent work has particularly focused on educational robotics, textual analysis of teaching resources, and challenges of delivering computer science teacher training remotely during the pandemic. His publications reveal a strong emphasis on primary education contexts and the development of disciplinary computer science knowledge among future teachers. Dr. Parriaux actively contributes to the Swiss computer science education community as Vice-president of the Swiss Society for Informatics in Education (SSIE) and as an organizer of the Didapro colloquium series. His work bridges educational sciences and computer science, addressing the critical need for well-prepared teachers as computer science becomes institutionalized in Swiss compulsory education.

• Computer Science Education
• Didactics of Computer Science
• Educational Robotics
• +۳ مورد دیگر

Angelika Schmidt is an Associate Professor at the Vienna University of Economics and Business , serving as Interim Institute Director since October 2024. She has been affiliated with the university since 1994, acting as a Contract Lecturer since 2012 and holding leadership roles in academic staff advocacy as former Chairwoman of the Works Council (2013-2021) and current Member of Vienna Chamber of Labor (since 2024). Education: Habilitation (2012), PhD (2000), and Diploma (1992) all from Vienna University of Economics and Business Research Focus: Multilevel organizational analysis spanning micro-level work-life interfaces , meso-level commitment factors , and macro-level labor frameworks . Key areas include organizational metaphors, feminist activism, new employment models (gig/crowdworking), and participatory action in public welfare. Her 2024 article Hegemonic Structures and Practices in Labor Relations at Austrian Universities and 2025 Elgar Encyclopedia contributions highlight her interdisciplinary approach to gender discrimination and structural power dynamics. Academic Leadership: Module Leader for Change, Creativity, and Innovation in the Management Master's program and co-leader of research projects like Gender Equality in Academia (2008-2015) and Complexity Management (2016-2018). She maintains memberships in Academy of Management (AOM) European Academy of Management (EURAM) European Group for Organizational Studies (EGOS) Scientific Recognition: Recipient of the 2005 Dr. Maria Schaumayer Habilitationsstipendium 2001 Austrian Research Association Printing Cost Grant Teaching Philosophy: Integrates experiential learning and systemic consulting into organizational research, emphasizing didactic implementation of change management principles.

• Interfaces in Organizations
• Communication and Discourse in Organizations
• Participation and Collective Action
• +۷ مورد دیگر

James LOPARICS serves as Professor for All-Day Education at the University of Teacher Education Vienna's Institute for Continuing Education, teaching primary/leisure education courses while providing school development consulting across Viennese all-day schools. His institutional role bridges academic research and practical school improvement through direct engagement with educators and policymakers. Academic Background Doctorate in Educational Science, University of Rostock (2018-2022) Master's in Education and Sustainability, University of Rostock (2015-2017) Bachelor's in Educational Science, FernUniversität Hagen (2011-2014) University Course in School Development Consulting, PH Vienna (2018-2020) Advanced Psychotherapy Training, Austrian Society for Behavioral Therapy (2020-present) Loparics' research centers on transformative education frameworks addressing epochal crises like climate change, with critical examinations of economization in school quality systems and innovative approaches to leisure pedagogy. His work consistently connects theoretical constructs with practical school contexts, particularly through Viennese case studies on interdisciplinary cooperation in all-day settings. His 15 most recent publications (2019-2024) reveal three dominant trends: (1) Development of indicators for sustainable development education (SDG 4.7) amid measurement challenges; (2) Critical analysis of quality management systems (QMS/SQR) as manifestations of educational economization; and (3) Theoretical advancement of leisure pedagogy as neglected policy domain. These threads converge in his signature focus on 'epochal key problems' as quality criteria for all-day schooling. He actively supervises master's theses in primary education programs and contributes to the ÖKOLOG-Team's environmental certification (Umweltzeichen) initiatives, developing sustainability curricula for Viennese schools while presenting research at international conferences including ECER and WERA Extended Education forums.

• All-day education
• Education for Sustainable Development
• General Educational Science
• +۳ مورد دیگر

Alexander Burka serves as Professor at the University of Applied Sciences Burgenland's School of Business, specializing in European integration dynamics and cultural diplomacy. His institutional affiliation spans both academic instruction and applied policy development within Austria's higher education framework for applied sciences. His research portfolio centers on: EU enlargement processes with Balkan and Eastern European focus Cultural diplomacy mechanisms in foreign policy Simulation-based educational tools (Planspiele) for policy engagement Language policy as soft power instrument Minority integration frameworks in European contexts Neighborhood policy implementation challenges Analysis of his 2010-2019 publications reveals consistent methodological innovation through simulation games that translate complex EU policies into experiential learning. His work demonstrates interdisciplinary convergence of political science, cultural studies, and pedagogy, with increasing emphasis on Ukraine and Balkan integration post-2014. Key thematic evolution shows progression from theoretical cultural policy analysis toward actionable educational frameworks for policymakers.

• EU Enlargement
• European Neighborhood Policy
• Cultural Diplomacy
• +۳ مورد دیگر

Johannes Schoisswohl is a PreDoc Researcher at TU Wien's Department of Formal Methods in Systems Engineering. His research focuses on automated reasoning, theorem proving, and formal methods in computer science. He is involved in projects such as ForSmart (2023–2027) and SFB SPyCoDe (2023–2026), exploring topics like quantifier elimination, unification algorithms, and decision procedures for arithmetic systems. His work bridges theoretical foundations with practical applications in automated deduction and formal verification. Education: Diplom-Ingenieur (Dipl.-Ing.) and Bachelor of Science (BSc). His academic contributions include seminal papers on conflict-driven quantifier elimination (VIRAS framework), superposition-based reasoning with delayed unification, and inductive benchmarks for automated systems. His research emphasizes improving automated reasoning tools for real-world verification challenges. Notable projects include contributions to the ALASCA system for quantified linear arithmetic and the development of reflection-based techniques for automating induction. His publications span conferences like CADE, LPAR, and CICM, showcasing advancements in formal methods and logic-based AI.

• Automated Reasoning
• Formal Methods
• Theorem Proving
• +۳ مورد دیگر

Krzysztof Apt is a Full Professor at the Institute for Language, Logic and Computation, University of Amsterdam, and a senior researcher (CWI Fellow since 2008) at CWI (Centrum Wiskunde & Informatica), Amsterdam. He holds a PhD in mathematics from the Institute of Mathematics, Polish Academy of Sciences (1974). His career spans institutions in Poland, France, the U.S., and Singapore, including roles like William B. Blakemore II Professor at the University of Texas at Austin (1987–1990) and Visiting Professor at the National University of Singapore (2002–2005). Education: PhD in Mathematical Logic (1974, Warsaw), prior positions include Assistant Professorships in Economics (Erasmus University Rotterdam) and Mathematics (Polish Academy of Sciences). Research focuses on game theory, mechanism design, logical aspects of computer science, program verification, and constraint programming. He authored four influential books, including Principles of Constraint Programming (2003) and From Logic Programming to Prolog (1997). He founded the ACM Transactions on Computational Logic (2000) and led efforts to transition the Journal of Logic Programming to an affordable open-access model. Awards include membership in the Academy of Europe (2006) and CWI Fellow recognition (2008). Advocates for open-access scientific publishing, emphasizing free knowledge dissemination. Contributions extend to academic governance, including roles as President of the Association for Logic Programming (1997–2000) and Advisory Board member of the Computing Research Repository (CoRR).

• Game Theory
• Mechanism Design
• Logical Aspects of Computer Science
• +۳ مورد دیگر

Yifan Hu is a Professor of Practice at Northeastern University, specializing in AI/ML/NLP and Information Visualization. He held senior roles at Amazon (Senior Manager of Applied Science, 2023-2024) and Yahoo! Research (Senior Director, 2014-2023), leading teams in AI-driven projects. Earlier, he contributed to AT&T Labs, Wolfram Research, and Daresbury Laboratory. His research focuses on graph visualization, machine learning, and data science applications. Research interests include advanced visualization techniques (e.g., SmartGD framework), AI moderation systems, graph algorithms, and federated learning fairness. He has pioneered methods for graph layout optimization, dynamic data visualization, and adversarial NLP defenses. Notable achievements include winning the 2017 IEEE ICDM 10-Year Highest-Impact Paper Award for work on collaborative filtering. He currently teaches Data Mining (CS 6220) and Machine Learning (CS 6140) at Northeastern, emphasizing practical applications of AI. Labs/Projects: Actively develops visualization tools like SmartGD and DeepGD , exploring interdisciplinary applications in healthcare, cybersecurity, and large-scale data analysis. His work bridges theoretical advancements with industrial-scale implementations.

• AI
• Machine Learning
• Natural Language Processing
• +۴ مورد دیگر