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

• Organizational Behavior
• Creativity and Innovation Management
• Knowledge Management
• +۷ مورد دیگر

Miha Škerlavaj is a Professor at the School of Economics and Business , University of Ljubljana, and an Adjunct Professor at the Department of Leadership and Organizational Behaviour , BI Norwegian Business School. He also serves as Vice-dean for Research at the University of Ljubljana. His academic work bridges proactive organizational behaviors , creativity , and innovation management with a focus on knowledge hiding , organizational learning , and non-technological innovations . PhD from School of Economics and Business, University of Ljubljana Teaches in PhD, MBA, executive, and master’s programs Authored/co-authored in journals like Academy of Management Journal , Harvard Business Review , and Leadership Quarterly His research emphasizes leadership in complex environments , particularly post-heroic leadership , where shared accountability and collective achievement are prioritized. Articles like " Knowledge Hiding in Organizations " (2023) and " Fueling the Creative Spark " (2023) explore how leadership styles and relational dynamics shape employee creativity. He also investigates organizational change through narrative-based processes and prosocial sensegiving, as seen in " Giving Sense to Change Leadership " (2023). While his scientific awards are implied through "several national and international honors and awards," specific accolades are not named. His teaching includes managing knowledge work, creativity, and organizational network analysis , with a focus on multilevel management issues. Collaborative projects with international organizations and invited talks on HRM and innovation management highlight his thought leadership.

Stephan Reinholdمشاهده پروفایل

استاد

• Strategic Decision-Making
• Cognition in Management
• Tourism Management
• +۵ مورد دیگر

Stephan Reinhold is a Professor in the Department of Marketing and Tourism Studies at Linnaeus University's School of Business and Economics. He holds a PhD in Management (Dr.oec.) from the University of St. Gallen (HSG), Switzerland (2014). His research focuses on strategic decision-making, business models, destination management, and sustainability in tourism and transportation industries. He teaches courses such as Business Models for Sustainability and supervises PhD students in Business Administration. Education: PhD in Management (Dr.oec.), University of St. Gallen (2014) Research Interests: Business models and innovation in tourism and transportation Flow-based destination management and governance Climate change adaptation in SME tourism enterprises Reflexivity and decision-making processes Post-pandemic tourism development His work bridges theoretical frameworks with practical applications, emphasizing sustainability and stakeholder collaboration. Key Projects: InKuiS: Innovative Cultural Entrepreneurship in Collaborative Research Post-Pandemic Tourism Development Social Cues for Environmental Messaging in Tourist Destinations Editorial Roles: Journal of Destination Marketing & Management (Elsevier), Journal of Travel Research (Sage), and others. Active in conferences like AOM, EGOS, and NEST. Grants & Labs: Leading projects funded by Linnaeus University, focusing on AI/big data for destination sustainability and post-pandemic tourism resilience. Part of the Tourism Research Group.

Greta Wagnerمشاهده پروفایل

استاد مدعو

• Accounting
• Taxation
• Financial Management
• +۳ مورد دیگر

Greta Wagner is an Adjunct Professor of Business Administration at Wisconsin Lutheran College (WLC), combining academic teaching with her career as a Tax Professional at Client First Tax and Wealth Advisors. She holds a B.A. in Business Administration and Accounting, and an M.S. in Professional Accounting, both from the University of Wisconsin-Milwaukee. Her expertise focuses on taxation, including corporate and flow-through entity tax returns, income tax projections, financial statement compilation, and reconciliation processes. She teaches ACC 336 (Income Taxation) and ACC 436 (Advanced Taxation), emphasizing real-world application through her professional experience. Her teaching philosophy prioritizes student development into professionals through practical knowledge transfer. Licensed as a Certified Public Accountant (CPA), Wagner bridges academic theory with industry practices, enriching student learning through her eight+ years of tax and accounting experience in the professional sector.

• Market Research
• Health Sociology
• Public Policy
• +۵ مورد دیگر

Michael Penkler is a Lecturer and Researcher at the University of Applied Sciences Wiener Neustadt , affiliated with the Institute of Market Research & Methodology . His work bridges social sciences and health research, focusing on market research methodologies, public policy analysis, and biomedical applications. Recent projects include studies on blood pressure measurement techniques and the sociological implications of personality development among students. His research has explored topics such as public engagement in science, developmental origins of health (DOHaD), and qualitative methods in health sociology. He has contributed to peer-reviewed journals like Science, Technology, & Human Values and co-edited the Handbook of DOHaD and Society . Current projects include leading research on market research knowledge practices and non-pharmacological interventions in blood pressure assessment.

Wolfgang Mannمشاهده پروفایل

استاد

• Language and cognitive development
• Bilingualism
• Sign language acquisition and assessment
• +۳ مورد دیگر

Wolfgang Mann is a Professor in Special Education and Honorary Reader at the University of Roehampton’s School of Education, with affiliations at University College London (DCAL) and City University London. He holds a PhD from the University of California Berkeley and expertise in sign language development, bilingualism, and educational equity. His research focuses on language assessment for deaf children, including web-based tools like the BSL-VT and ASL-VT. Recent projects include a British Academy-funded study on deaf/hearing children’s online reading strategies and EU-funded work on cognitive processes in sign/spoken language. He is a Fellow of the Higher Education Academy and active in deaf education policy through roles like governor at Hamilton Lodge School. Key contributions include developing sign language assessments and collaborating with institutions globally. Teaching focuses on language-cognitive development, literacy, and research methods. His work bridges theory and practice, emphasizing technology and equity in education.

• Software Engineering
• Programming Languages
• Static Analysis
• +۴ مورد دیگر

Michael Schröder is a Researcher at TU Wien's Faculty of Informatics, affiliated with the Institute of Software Technology. He holds a BSc and a Dipl.-Ing. (Master's equivalent) in Informatics. His research focuses on software engineering, static analysis, and programming languages, with notable contributions to probabilistic program analysis, security, and empirical studies on developer workflows. Education : Bachelor of Science in Informatics Diplom-Ingenieur (Dipl.-Ing.) in Informatics from TU Wien Research Interests : His work spans static analysis of probabilistic programs, security in software repositories, grammar inference for ad hoc parsers, feature flag dependency analysis in large systems, and empirical studies on command-line tool customization. He has also contributed to medical research in pediatric oncology through a 2019 study on leukemia genetics. Recent Trends in Publications : Recent efforts emphasize language-agnostic static analysis frameworks (2024), lateral movement detection in source code (2023), and grammar inference techniques for parsers (2022). Earlier work includes neural ranking models (2020) and transactional memory systems (2015). Grants & Advising : No explicitly listed grants or student advisement, though recent theses supervised include static grammar inference projects (2025). Labs/Teams : Not explicitly mentioned in available records.

• Answer Set Programming
• Knowledge Representation and Reasoning
• Cyber-Physical Systems
• +۳ مورد دیگر

Dr. Peter Schüller is a Professor affiliated with the Department of Knowledge-Based Systems at TU Wien (Vienna University of Technology). He holds the academic title of Privatdozent (Priv.-Doz.) and has a background in Technical Engineering (Dipl.-Ing. Dr.techn. / Bakk.techn.). His roles include academic research, consulting services for intelligent automation, and partnership with Potassco Solutions. He is based at Favoritenstrasse 11, Room HG0312, and can be contacted via peter.schueller@tuwien.ac.at or contact@peterschueller.com. Education : Master's Thesis: 'Reconstructing borders of manually torn paper sheets using integer linear programming' (2008) PhD (Dr.techn.) in Informatics Habilitation (Privatdozent) qualification Research Interests : Schüller specializes in declarative problem solving through Answer Set Programming (ASP), with focus areas including hybrid knowledge integration systems, inconsistency management, and applications in robotics, traffic optimization, and industrial automation. His work bridges theoretical advances in computational logic with practical implementations in enterprise software architecture and database systems. Projects & Grants : He has led projects funded by the Austrian Research Promotion Agency (FFG), Austrian Science Fund (FWF), and Vienna Science and Technology Fund (WWTF). Key projects include: 'Dynamic knowledge-based (re)configuration of cyber-physical systems' (2017–2020) 'Integrated Evaluation of Answer Set Programs' (2015–2018) 'Inconsistency Management for Knowledge-Integration Systems' (2009–2012) Consulting & Partnerships : Provides services in enterprise software design, database optimization, GDPR compliance, and hybrid knowledge systems. Official partner of Potassco Solutions. Collaborates on initiatives like AI4EU and HumanE-AI-Net. Labs & Teams : Active in TU Wien's Knowledge-Based Systems Group. Involved in developing the DLVHEX and Hexlite solvers.

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

استاد

• Biomedical Visualization
• Volume Rendering
• Visual Data Exploration
• +۱ مورد دیگر

Stefan Bruckner is Professor of Visualization at the University of Bergen, specializing in biomedical visualization, volume rendering, and visual data exploration. His work develops novel techniques for analyzing complex scientific datasets across meteorology, medicine, and materials science. Dr. Bruckner's research group develops interactive visual analytics tools for weather forecasting, medical diagnostics, and ensemble data analysis. His methodological innovations include GPU-accelerated rendering, visual parameter exploration, and uncertainty visualization. He received the 2011 Eurographics Young Researcher Award for contributions to illustrative visualization. Professional service includes program committee roles for IEEE VIS, Eurographics, and ECRTS conferences. His pedagogical contributions span visualization, computer graphics, and programming languages at institutions including École normale supérieure and École polytechnique.

• Artificial Intelligence
• Knowledge Compilation
• Computational Complexity
• +۳ مورد دیگر

Tianwei Zhang is a predoctoral researcher at the Technische Universität Wien (TU Wien) within the Algorithms and Complexity department. His research focuses on theoretical computer science, particularly in the areas of artificial intelligence, knowledge compilation, and computational complexity. Position: PreDoc Researcher Projects: Overcoming Intractability in the Knowledge Compilation Map (2022–2025), REVEAL-AI (2020–2024) Zhang's work explores advanced techniques in satisfiability solving, constraint programming, and universal graph theory. His recent publications highlight contributions to model counting algorithms and SAT-based combinatorial optimization, bridging theoretical challenges with practical applications. His research trends emphasize scalable algorithms , computational intractability , and logic-based AI . Notable collaborations include work with Dr. Stefan Szeider on SAT solver applications for combinatorics. Contact: tianwei.zhang@tuwien.ac.at Phone: +43-1-58801-192154

Neha Lodhaمشاهده پروفایل

پژوهشگر

• Algorithms and Complexity
• Graph Theory
• SAT/SMT Solving
• +۳ مورد دیگر

Neha Lodha is a researcher in the Institut für Logic and Computation at TU Wien. Her work focuses on algorithms, complexity theory, and SAT/SMT solving techniques. She has contributed to graph encodings for combinatorial optimization problems and parameterized complexity analysis. Key research areas include SAT-based approaches for graph decomposition (branchwidth, treewidth), SMT methods for fractional hypertree width, and algorithm engineering for constraint satisfaction problems. Her work bridges theoretical foundations with practical algorithmic implementations. Notably, she received the 2016 SAT Conference Best Student Paper Award for her work on SAT encodings of branchwidth. This research was later expanded into a 2019 ACM Transactions publication. Her publications span conferences like IJCAI, CP, and SAT, with a focus on advancing the theoretical and practical aspects of computational logic and algorithm design.

• Environmental Governance
• Policy Analysis
• Socio-Economic Development
• +۳ مورد دیگر

Dr. Thomas Bolognesi is an Associate Professor at Grenoble Ecole de Management, specializing in governance, socio-economic dynamics, and environmental policy. His work focuses on understanding how policy instruments and institutions interact to address challenges like water governance, regional development, and urban sustainability. He emphasizes the co-evolution of economic development and environmental systems, often using empirical designs to analyze non-linear relationships. His research interests include institutional complexity traps, policy integration failures, and the socio-technical dimensions of public policy. He has extensively studied water resource management in Switzerland, France, and urban contexts globally. Bolognesi actively engages with societal impacts, aiming to translate academic findings into actionable policy recommendations. Recent publications highlight his focus on environmental governance dynamics, urban water challenges, and methodology critiques in the social sciences. His work often bridges interdisciplinary approaches, combining institutional theory with empirical case studies. Awards and grants are not explicitly listed, but his research has significant policy relevance across environmental and urban sectors. He advises on governance frameworks and collaborates with international organizations, contributing to handbooks and multi-author volumes like the Routledge Handbook of Urban Water Governance .

• Logic Programming
• Computational Complexity
• Nonmonotonic Reasoning
• +۴ مورد دیگر

Mantas Simkus is an Assistant Professor at TU Wien's Institute of Logic and Computation, affiliated with the Database and Artificial Intelligence Group. He previously held an Associate Professor position at Umeå University (Sweden) within the Wallenberg AI, Autonomous Systems and Software Program (WASP). He leads the FWF-funded project 'KtoAPP: Compiling Knowledge into Applications' and contributes to the Cluster of Excellence 'Bilateral Artificial Intelligence'. His research focuses on logic-based data management, knowledge representation, and nonmonotonic reasoning, with applications in semantic web technologies and ontology engineering. Education: Bachelor's in Computer Science from Vilnius University. Research interests include logic programming, computational complexity, description logics, and their integration with databases. He explores techniques for efficient query answering, schema validation (e.g., SHACL), and reasoning under incomplete information. His work bridges theoretical foundations (e.g., complexity analysis, formal semantics) with practical systems (e.g., ontology-mediated query processing). Key projects include 'KtoAPP' (2018–2025), investigating automated knowledge compilation, and contributions to the 'SemDat' and 'OMEGA' initiatives. He teaches courses on deductive databases and semi-structured data at TU Wien. He actively participates in academic service: co-chair of RuleML+RR 2024, editorial board member of the Artificial Intelligence journal, and former co-chair of DL 2019. His research group collaborates on topics like graph databases, answer set programming, and hybrid knowledge representation systems.

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

استاد

• Algorithms
• Computational Complexity
• Theoretical Computer Science
• +۴ مورد دیگر

Stefan Szeider is a full professor and chair of the Algorithms and Complexity Group at the Faculty of Informatics, Technische Universität Wien (TU Wien). He also serves as a visiting scientist at UC Berkeley's Simons Institute for the Theory of Computing. His academic journey includes positions at the University of Durham (UK) and the University of Toronto (Canada), and he earned his Mathematics PhD from the University of Vienna in 2001. Dr. Szeider's research focuses on designing efficient algorithms for problems in Artificial Intelligence, automated reasoning, and combinatorial optimization. He leads several initiatives, including the Vienna Center for Logic and Algorithms (VCLA), and has secured funding from the ERC, EPSRC, FWF, and others. His Erdős number is 2, reflecting his collaborative network in mathematics and computer science. Key achievements include the first ERC Starting Grant awarded to an Austrian computer scientist (2009), and awards such as the Highlighted Paper Award at SAT 2023 and Best Paper at CP 2020. He advises numerous PhD students and postdocs, fostering the next generation of researchers in algorithms and complexity. Notable contributions extend beyond academia to public outreach, including initiatives like the 'Algorithms Think Differently' educational program and the 'Algorithms in 60 Seconds' video competition. His work bridges theoretical foundations and practical applications, influencing both academic and real-world computational challenges.

• Theoretical Computer Science
• Proof Complexity
• Automated Reasoning
• +۳ مورد دیگر

Leroy Nicholas Chew is a PostDoc Researcher and FWF Projektassistent at the Vienna University of Technology (TU Wien). He is affiliated with the Department of Algorithms and Complexity within the Faculty of Informatics. His roles include contributing to research projects such as QBFPC (2022–2025), Overcoming Intractability in the Knowledge Compilation Map, and REVEAL-AI (2020–2024). These projects reflect his focus on advancing theoretical computer science and automated reasoning methodologies. While specific educational details are not explicitly provided in the text, Leroy Nicholas Chew holds a PhD, as indicated by his role listing. His current position suggests a strong background in computer science and theoretical foundations, consistent with his research activities. His research interests span several key areas in theoretical computer science, including proof complexity, quantified Boolean formulas (QBF), automated reasoning, and knowledge compilation. He explores the hardness of computational problems in logical frameworks, such as analyzing resolution and CDCL proof systems, developing optimal dual proof systems for answer set programming (ASP), and investigating model counting techniques. His work often bridges foundational theory with practical applications in formal verification and algorithm design. Recent publications (2024) highlight advancements in circuits and proofs, model counting, and ASP-QRAT proof systems. Earlier work (2016–2022) addressed QBF resolution calculi, dependency schemes, and certification challenges. These trends underscore his specialization in formal methods and computational logic. No scientific awards are explicitly mentioned in the provided text. In addition to his research, Chew is involved in multiple funded projects. These include the FWF-supported QBFPC (2022–2025), which examines QBF proofs and certificates, and the REVEAL-AI project (2020–2024), focusing on overcoming intractability in knowledge compilation. While specific grant details beyond project funding are not mentioned, his participation underscores his role in collaborative, grant-funded research initiatives. No formal advisees are listed. Chew is part of the Algorithms and Complexity department at TU Wien, collaborating on projects that emphasize proof systems, formal verification, and algorithmic foundations. His work integrates theoretical insights with practical computational methods.

• Software Engineering
• Cryptography
• Programming Languages
• +۲ مورد دیگر

Christoph Hochrainer is a PreDoc Researcher at Technische Universität Wien, affiliated with the Software Engineering department. His academic role involves research in software systems and formal methods, supported by projects like ForSmart (2023–2027) and MirandaTesting (2023–2028). He completed his Diploma in automated reasoning at TU Wien in 2020. His research spans software engineering, cryptography, and programming languages, with specialized interests in fuzzing techniques, architecture description languages, and smart contract security. Recent work emphasizes zero-knowledge circuits, Solidity benchmarking, and macro systems for domain-specific tooling. Christoph's publications consistently explore automated testing and formal verification, with a trend toward practical applications in blockchain and secure software pipelines. He supervises student theses, including work on inconsistency detection in Solidity smart contracts. He contributes to collaborative projects focused on formal methods and software reliability, operating within TU Wien's research units. No scientific awards are documented.