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

Adriana Zivanovicمشاهده پروفایل

استاد

• STEM Education
• Digital Literacy
• Robotics in Education
• +۴ مورد دیگر

Adriana Zivanovic serves as a Professor at the Vienna University of Teacher Education since September 2021, affiliated with the Competence Center STEM and Digitality (K:MID) within the Department of Media Education and Information Technology. Her primary responsibilities include coordinating school workshops on coding and robotics, supporting the development of SCHILF/SCHÜLF frameworks, and managing continuing education courses through K:MID. Her research focuses on STEM education and digital literacy integration in educational settings, with particular emphasis on practical implementation of coding and robotics tools for K-12 environments. Zivanovic specializes in developing curriculum frameworks for digital education, designing workshop models for teacher training, and creating interdisciplinary approaches to technology integration. Her work bridges theoretical educational concepts with hands-on classroom applications through tools like LEGO Education, BeeBots, and Makeblock systems. Recent publication trends reveal strong focus on EU-funded educational projects (Digital-Paideia, RoboCoop), national digitalization initiatives (eBazar, digi.case), and practical implementation frameworks for school digital transformation. Her work consistently addresses the challenges of integrating technology across subject areas while maintaining pedagogical integrity. Professional activities include: Coordination of Education Innovation Studio (EIS) workshops Development of COOL+ educational concepts Organization of foreign language competitions Support for eEducation applications (Expert+ School) Participation in national events (Maker Faire, Digital Days) Zivanovic maintains active collaboration with international partners through Erasmus+ projects and EU initiatives, demonstrating commitment to global educational innovation while addressing specific Austrian educational context needs.

• Algorithms
• Graph Neural Networks
• Problem decomposition techniques
• +۴ مورد دیگر

Matthias Paul Lanzinger is an Assistant Professor at the Technische Universität Wien's Faculty of Informatics, Department of Database and Artificial Intelligence. His research focuses on algorithms, graph neural networks, hypergraph decomposition techniques, parameterized complexity, and computational logic. He leads projects like 'DeConquer' (Vienna Science Fund) and 'HyperTrac', exploring efficient query processing and hypergraph-based algorithms. Research interests include theoretical computer science, database systems, and applying logical frameworks to solve complex computational problems. Recent work emphasizes hypertree decompositions, fuzzy Datalog, and graph motif analysis via the Weisfeiler-Leman test. He co-edited the 2024 Datalog-2.0 workshop proceedings and has supervised students on topics like column-store performance and graph query languages. His publications span venues like ACM Transactions on Database Systems, ICLR, and IJCAI, highlighting contributions to algorithmic efficiency, database theory, and logical reasoning systems. Active in academic service, he teaches courses on database systems, scientific research, and advanced topics in informatics.

Manfred Kleidorferمشاهده پروفایل

استاد

• Urban Water Management
• Climate Change Adaptation
• Sustainable Drainage Systems
• +۴ مورد دیگر

Prof. Manfred Kleidorfer is a University Professor of Environmental Technology at the University of Innsbruck’s Faculty of Engineering. He leads the Department of Environmental Technology, focusing on urban water management, climate adaptation, and sustainable infrastructure. His work integrates engineering, environmental science, and policy to address challenges like flooding, drought resilience, and resource efficiency in alpine regions. Research: Prof. Kleidorfer’s research emphasizes urban drainage systems, nature-based solutions (e.g., blue-green infrastructure), and climate change impacts. Notable projects include BlueGreenCities (enhancing alpine city resilience through green infrastructure) and RECONECT (regenerating ecosystems via NBS for hydro-meteorological risk reduction). He also co-leads initiatives like BEJOND (stormwater treatment beyond design limits) and CONQUAD (assessing urban water system adaptations). Publications & Tools: He has authored over 50 peer-reviewed articles on topics like hydraulic modeling, urban heat mitigation, and flood risk management. His team developed tools like Achilles (vulnerability assessment for water infrastructure) and Smart Rain Barrels (IoT-based stormwater management). These innovations received recognition, including the 2011 Tiroler Innovationspreis for Achilles . Grants & Partnerships: Funded by EU H2020, Austrian Research Promotion Agency (FFG), and the Climate and Energy Fund, his projects partner with municipalities, SMEs, and international consortia. Key collaborations include Tyrolean utilities (e.g., Innsbruck Municipal Utilities AG) and global networks like the Aqua Urbanica initiative. Labs & Teams: His department operates specialized labs for software development (e.g., Smart Water Control ), hydraulic modeling, and environmental monitoring. The team includes experts in GIS, complex network analysis, and life cycle assessment, ensuring interdisciplinary problem-solving.

Olli Lehtoمشاهده پروفایل

استاد

• Geometric function theory
• Complex analysis
• Teichmüller spaces
• +۲ مورد دیگر

Olli Lehto (1925-2020) was a Finnish mathematician and prominent academic administrator, holding the rank of Professor at the University of Helsinki from 1961 until 1988. He served as Dean of Science (1978-1983), Rector (1983-1988), and Chancellor (1988-1993) of the University of Helsinki, becoming a pivotal figure in Finnish higher education. His research focused on geometric function theory, particularly univalent functions and Teichmüller spaces. Lehto received notable honors including election to the Finnish Academy of Science and Letters (1962), the honorary title 'Academician of Science' (1975), and membership in the Academia Europaea. His later works combined mathematical exposition with institutional history. Lehto's academic journey included significant contributions to complex analysis, documented in foundational texts like Univalent Functions and Teichmüller Spaces (1987). His administrative career reshaped university governance in Finland, with memoirs such as Ei yliopiston voittanutta (1999) reflecting his institutional experiences. His publications spanned technical mathematics, historical essays, and popular science, exemplified by Mathematics Without Borders (1998), which traced the globalization of mathematics. Education: Doctorate in Mathematics (details not specified) Key Positions: Professor of Mathematics, University of Helsinki (1961-1988) Rector, University of Helsinki (1983-1988) Chancellor, University of Helsinki (1988-1993) Lehto's awards highlight his scholarly and administrative impact, including recognition from the American Mathematical Society. His later works blended biography (e.g., Tieteen huipulla , 2013) with reflections on academic leadership, leaving a legacy in both mathematics and institutional stewardship.

Hermann Astleitnerمشاهده پروفایل

دانشیار

• Instructional Design
• Educational Technology
• Human Development and Education
• +۳ مورد دیگر

Hermann Astleitner is an Associate Professor at the Department of Educational Science within the Faculty of Social Sciences at Paris-Lodron-University of Salzburg. He leads the Digital Learning Research Group (DLRG) and the Educational Theory Building Lab, focusing on contemporary educational challenges in the digital age. His academic career spans over three decades with significant contributions to educational theory and practice. Ao.Univ.-Prof. Astleitner completed his diploma and doctoral studies in Education between 1984-1992, earned his Habilitation in Educational Research in 1996, and has held his Associate Professor position since 1997. He was considered for full professorships at prestigious institutions including TU Dresden (1999), University of Erfurt (2002), and Universities of Linz and Klagenfurt (2005). His research interests span Instructional Design , Educational Technology , Human Development and Education , and Research Methods . Astleitner's work bridges theoretical frameworks with practical applications, particularly in digital learning environments. His recent focus includes social media's impact on learning, big data in educational research, and developing theories for contemporary educational challenges. His publication trends reveal a strong focus on digital learning contexts, with increasing attention to AI's role in education, social media's psychological impacts, and theoretical frameworks for educational crises. His work consistently connects educational theory with practical applications in school development. Kurt Gödel -Stipendiat (1990) Astleitner actively serves on numerous editorial boards including Computers & Education, Learning & Instruction, and Computers in Human Behavior. He has extensive experience reviewing for major funding organizations such as Deutsche Forschungsgemeinschaft and Swiss Science Foundation. His third mission activities include teaching training programs across Luxembourg, Switzerland, and Austria. He leads the Educational Theory Building Lab, which focuses on developing theoretical frameworks for social sciences with recent work on multidimensional engagement in learning, digital learning theories, and the cascade theory of educational crises. His current research projects include Critical Thinking 2.0 in the age of AI and Cognitive neglect and advice resistance.

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

استاد

• Quantum Computing
• Quantum Algorithms
• Quantum Information Theory
• +۳ مورد دیگر

Univ.-Prof. Dr. Wolfgang Lechner is a Professor at the Institute of Theoretical Physics at the University of Innsbruck, leading the Quantum Computing research group. His work focuses on theoretical and applied aspects of quantum computing, including quantum algorithms, quantum annealing, and error correction using Rydberg atoms. He holds a prominent role in advancing parity-based quantum architectures and their implementation in scalable quantum systems. Research interests include developing novel quantum algorithms for optimization problems, fault-tolerant quantum computing frameworks, and hardware-aware design of quantum circuits. His contributions span theoretical physics, computer science, and engineering, addressing both fundamental principles and practical implementations of quantum technologies. Key trends in his recent articles emphasize parity-based architectures, multi-qubit gate operations, and applications in solving industrially relevant optimization challenges. The body of work highlights innovation in quantum error mitigation, algorithm parallelization, and scalable hardware implementations. While no specific awards are listed, his active research output reflects significant contributions to the field. He advises students and collaborates on grants related to quantum computing fundamentals and applications, though explicit details are not provided in the text. Lechner's research group actively explores quantum annealing, variational methods, and the interplay between quantum systems and classical control mechanisms, positioning his work at the forefront of modern quantum computing research.

• Geodesy
• Geographic Information Systems (GIS)
• Spatial Modeling
• +۷ مورد دیگر

Rizwan Bulbul is a researcher at the Institute of Geodesy , Graz University of Technology (TU Graz), Austria. His work bridges geodesy, geographic information systems (GIS), and computational modeling. Research Interests : Bulbul's research focuses on geospatial modeling, artificial intelligence integration, and sustainable urban development. Key areas include smart tourism simulations, energy transition policy analysis, and off-road robotic navigation using machine learning. His work also addresses forest fire prediction uncertainty, vertical photovoltaic potential, and cattle tracking in alpine environments. Publications : His research spans spatial optimization, 3D city modeling, and semantic routing. Recent projects involve leveraging AI for tourism simulations and energy policy evaluation, demonstrating interdisciplinary applications of geospatial technologies. Contact : Email: bulbul@tugraz.at Office: TU Graz, Steyrergasse 30/I, Room ST01122

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

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Computational Logic
• +۸ مورد دیگر

Thomas Eiter is a Full Professor of Knowledge-Based Systems and Computer Science at Vienna University of Technology (TU Wien), where he has served as Head of the Institute of Information Systems since 2004. His work bridges artificial intelligence, computational logic, and knowledge representation, with significant contributions to nonmonotonic reasoning and declarative problem-solving. He has led major international conferences and projects, including the Vienna Summer of Logic (2014), and received accolades like the Prominent Paper Award (AIJ 2013) and Test of Time Award (ICLP 2013). Education Habilitation in Information Systems (1995, TU Wien) M.Sc. (Dipl.-Ing.) in Computer Science (1989, TU Wien) Ph.D. (Dr.techn.) in Computer Science (1991, TU Wien) Research Interests Eiter’s research focuses on knowledge representation and reasoning , computational logic , and nonmonotonic logic programming . He explores algorithms and complexity in AI, declarative problem-solving frameworks, and reasoning about actions and change, often integrating intelligent agents and database systems. Scientific Leadership Chair-elect of IJCAI (2019) President of KR Inc. (2014–2015) Board Member for Computer Science at the Austrian Science Fund (FWF) (2005–2014) Co-chair of Vienna Summer of Logic (2014) Honors and Memberships Fellow of the European Association for AI (EurAI) Fellow of the Asia-Pacific AI Association (AAIA) Member of the Austrian Academy of Sciences (ÖAW) Member of Academia Europea Senior Member of ACM and IEEE Computer Society

Patrick Cousotمشاهده پروفایل

استاد

• Abstract Interpretation
• Computer Science
• Semantics
• +۵ مورد دیگر

Patrick Cousot is a Professor of Computer Science at École Normale Supérieure (ENS) in Paris, France, where he directs educational activities and leads the ENS-CNRS-INRIA joint project team "Abstraction." He has held academic positions at École Polytechnique (1984–1997), University of Metz (1979–1984), New York University (2008), and MIT (2005) as a J. C. Hunsaker Distinguished Visiting Professor. Education: Engineer, École des Mines of Nancy (1971) Doctor Engineer (PhD) in Computer Science, University of Grenoble (1974) Doctor ès Sciences in Mathematics, University of Grenoble (1978) As co-inventor of Abstract Interpretation with Radhia Cousot (1975), he developed a foundational theory for sound approximation of mathematical structures in computer systems. This framework underpins methods for solving undecidable or complex problems across semantics, verification, static analysis, program optimization, and security, with industrial applications in hardware/software safety and security. Scientific honors include: Chevalier in Ordre des Palmes académiques (1990) Chevalier in Ordre National du Mérite (1993) CNRS Silver Medal (1999) Honorary doctorate from Saarland University (2001) Grand Prix de l'Académie des Sciences (2006) Humboldt Research Award (2008) Member of Academia Europaea (2006) His prior roles include Research Scientist at CNRS (1974–1979), where he developed foundational work in static analysis. He also established the LIX research laboratory at École Polytechnique.

Franz Schmidمشاهده پروفایل

پژوهشگر ارشد

• Cognitive Neuroscience
• Neural Modeling
• Neuromodulation
• +۷ مورد دیگر

Franz Schmid is a Research Fellow at the Vienna Cognitive Science Hub , specializing in cognitive neuroscience and computational modeling of brain processes. His work bridges neuroscience, psychology, and philosophy through innovative applications of ultrasonic neuromodulation techniques. Research Focus: Hallucinations and predictive processing in neurological disorders Neurocognitive modeling of creativity and consciousness Ultrasonic brain stimulation for precise neuroimaging Short-term potentiation and neural plasticity mechanisms Recent Publication Trends: 2023-2025 articles emphasize ultrasonic neuromodulation's role in creativity research Methodological focus on computational modeling and case studies Interdisciplinary approach combining neurophilosophy and biotechnology Scientific Awards: Congress and Conference Participation Grant (2025) International Communication Grant (2025) Student and Postdoctoral Travel Award (2024) Academic Activities: Keynote speaker at international conferences (2025) Peer-review contributions to Journal of Neurolinguistics (2025) Active in science communication and collaborative research

Adriana Rathnerمشاهده پروفایل

پژوهشگر

• Protein-NMR Spectroscopy
• Host-Pathogen Interactions
• Molecular Recognition
• +۴ مورد دیگر

Dr. Adriana Rathner serves as a University Assistant at the Institute of Biochemistry, Faculty of Engineering and Natural Sciences, Johannes Kepler University Linz. Her research integrates biological chemistry and structural biology to investigate protein behavior in the presence of interaction partners and ligands, with particular focus on understanding molecular mechanisms in vivo. Her research interests span multiple interdisciplinary domains including protein-NMR spectroscopy, host-pathogen interactions, molecular recognition, and structural biology. Dr. Rathner specializes in investigating how proteins interact with ligands at atomic resolution, with significant contributions to understanding Borrelia pathogenesis mechanisms and ribosomal protein functions. Her publication portfolio demonstrates strong trends in applying NMR spectroscopy to solve biomedical problems, particularly in host-pathogen interactions and ribosomal protein research. The work shows increasing emphasis on translational applications, moving from fundamental protein characterization to therapeutic development for conditions like Epidermolysis bullosa and sensor development for chemical threat detection. Dr. Rathner actively mentors students across multiple projects, supervising both undergraduate and graduate researchers. Her grant portfolio includes significant international collaborations with institutions in the Czech Republic, Taiwan, Poland, and the United States, with current funding supporting the LiGAlert project (2024-2027) and other research initiatives. She maintains strong laboratory collaborations through the Protein-NMR.org research group, working closely with theoretical physics researchers on molecular dynamics simulations and with international partners on specialized biochemical assays and glycosaminoglycan synthesis.

Lukas Zenkمشاهده پروفایل

استاد

• Creativity & Innovation
• Social Network Analysis
• Applied Improvisation
• +۴ مورد دیگر

Lukas Zenk is a Professor of Innovation and Network Research at Danube University Krems, Austria. He serves as Deputy Research Leader and is affiliated with the Department of Knowledge and Communication Management. His work bridges creativity, network analysis, and organizational improvisation, focusing on complex environments and societal challenges. Current research themes: Creativity & Innovation, Social Network Analysis, Applied Improvisation Key projects: Meta-competences for unpredictable situations, Framework of organizational improvisation, TISE sustainability education Methodologies: Agent-based modeling, dynamic network visualization, LEGO Serious Play workshops Zenk's research explores how organizations adapt through improvisation, with publications analyzing network dynamics in post-merger integration, pandemic responses, and sustainability transitions. His work emphasizes transdisciplinary collaboration and complexity literacy in education and policy. Recent studies investigate: Meta-competencies in crisis scenarios Personality traits' impact on pandemic conspiratorial thinking Dynamic models for organizational and societal resilience

Thomas W. Repsمشاهده پروفایل

استاد

• Programming languages
• Software engineering
• Static program analysis
• +۵ مورد دیگر

Thomas W. Reps is a Professor in the Department of Computer Science at the University of Wisconsin, holding the position since 1985. He has served as President and Co-founder of GrammaTech, Inc. since 1988, and held visiting roles including Guest Professor at the University of Paris 7 (2007-08), Visiting Researcher at CNR in Pisa, Italy (2000-01), and Guest Professor at the University of Copenhagen (1993-94). He previously served as Associate Chairman of the Computer Sciences Department at Wisconsin (1990-93) and held postdoctoral roles at Cornell University and INRIA. Reps' research spans programming languages, software engineering, and computer security, with a focus on static program analysis, machine-code analysis, and program slicing. His work in model checking, software maintenance, and analysis techniques for information security has significantly impacted the field of computer science. 2017 ACM SIGPLAN Programming Languages Achievement Award 2015 WARF Named Professorship 2005 ACM Fellow 2000 Guggenheim Fellowship 1986 NSF Presidential Young Investigator Award Reps' publications highlight advancements in interprocedural dataflow analysis, weighted pushdown systems, and symbolic computation. His work bridges theoretical foundations with practical applications in software verification and security, creating tools that have shaped modern program analysis techniques. He has collaborated extensively with researchers like Somesh Jha, Mooly Sagiv, and Gogul Balakrishnan across institutions in Europe and the U.S.

Javier Esparzaمشاهده پروفایل

استاد

• Theoretical Computer Science
• Software Verification
• Model Checking
• +۹ مورد دیگر

Javier Esparza is a Professor and Chair of Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich (TUM), Germany. He has held academic positions at several prestigious institutions including the University of Stuttgart, University of Edinburgh, and Technische Universität München since 1990. His work focuses on theoretical computer science with applications in software verification and formal methods. His educational background includes: M.S. in (Theoretical) Physics from the University of Zaragoza (Spain, 1987) Ph.D. in Computer Science from the University of Zaragoza (Spain, 1990) Habilitation in Computer Science from the University of Hildesheim (Germany, 1994) Professor Esparza's research interests span multiple areas of theoretical computer science and formal methods. He has made significant contributions to the fields of software verification, model checking, and Petri nets. His work on algorithms for the design and verification of reactive and distributed systems has been particularly influential. He has developed theoretical foundations and practical tools for analyzing systems with infinitely many states, pushing the boundaries of what can be formally verified. His research on formal models for distributed systems, particularly Petri nets and process algebras, has provided new insights into concurrency theory. Additionally, his work on the analysis of probabilistic systems and applications of linear and constraint programming to verification problems has opened new avenues for research. His recent publications demonstrate a continued focus on fundamental problems in verification and theoretical computer science, with particular emphasis on population protocols, model checking techniques, and theoretical foundations of distributed computing. His work bridges the gap between theoretical insights and practical applications in software reliability. His scientific achievements have been recognized with several prestigious awards: Doctor honoris causa in Informatics, Masaryk University (2009) Dissertation prize, University of Zaragoza (1990) TeachInf Award for best Bachelor course at TU München (2009) TeachInf Award for best Master course at TU München (2010) Diploma for excellent Teaching, TU München (2011) Member of Academia Europaea (2011) Professor Esparza has successfully advised numerous PhD students who have gone on to make their own significant contributions to computer science. His research has been consistently supported by competitive grants from major funding bodies including the German Research Council (DFG), the British Engineering and Physical Sciences Research Council, and the European Union. His research projects have often involved international collaborations, reflecting the global recognition of his work. He leads a vibrant research group at TUM focused on theoretical computer science and verification. The group has developed several influential software tools including Rabinizer, Peregrine, Owl, and Strix, which are widely used in both academia and industry for verification tasks. His group maintains strong collaborations with research institutions worldwide, particularly in Europe.

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

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Abstract Argumentation
• +۳ مورد دیگر

Stefan Woltran is a Professor at TU Wien, affiliated with the Research Group Databases and Artificial Intelligence. His work focuses on formal methods in AI, particularly in abstract argumentation frameworks, knowledge representation, and computational logic. He leads research initiatives exploring semantics analysis, preference handling in argumentation, and algorithmic optimizations for complex reasoning tasks. His contributions bridge theoretical foundations with practical applications in logic programming and automated reasoning. Research Interests: Abstract Argumentation (semantics, expressiveness, complexity) Answer Set Programming (grounding optimization, formal properties) Knowledge Representation (formal systems, computational complexity) Algorithm Design (tree decompositions, dynamic programming) Publications reflect advancements in argumentation theory, logic-based AI, and algorithmic problem-solving. He supervises PhD students in these areas and collaborates on projects addressing bottlenecks in automated reasoning systems.