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

• Machine Learning
• Reinforcement Learning
• Algorithms
• +۳ مورد دیگر

Peter Auer is a Professor and Chair of Information Technology at Montanuniversität Leoben. His research focuses on machine learning, reinforcement learning, and algorithm design with applications in network optimization, materials science, and industrial processes. He has authored 132 publications and supervised 23 works. Recent activities include invited talks on 'Mathematische Grundlagen der AI' (May 2025) and visiting the Fraunhofer-Institut für Nachrichtentechnik (August 2022). His educational background includes Dipl.-Ing. (Diplom-Ingenieur) and Dr.techn. (Doctor of Technical Sciences) degrees. Research interests span multi-armed bandits, reinforcement learning theory, and practical implementations in domains like cognitive radio networks and crystal growth simulations. He actively participates in academic collaborations, including the 'MINT@Leoben' outreach program (2021-2022) and international conferences. His work bridges theoretical computer science with real-world engineering challenges.

• Theoretical Computer Science
• Algorithms
• Complexity Theory
• +۲ مورد دیگر

Alexander Firbas serves as a Researcher at the Institute of Logic and Computation within Vienna University of Technology's Faculty of Informatics, specializing in theoretical computer science with emphasis on graph algorithms and computational complexity. His academic background includes a Diploma Engineer (Dipl.-Ing.) and Bachelor of Science (BSc), with his 2023 Diploma Thesis establishing foundational work on vertex splitting for hereditary graph properties. Current doctoral research extends into parameterized complexity and geometric graph representations. Firbas investigates structural graph properties through computational lenses, focusing on tractability boundaries for problems involving vertex splitting, cluster modifications, and geometric thickness. His methodology integrates fine-grained complexity analysis with algorithmic design for NP-hard graph problems. Recent publications demonstrate consistent exploration of graph modification paradigms, evolving from hereditary property establishment (2023) to cluster vertex splitting (2024) and geometric thickness tractability (2025), reflecting deepening specialization in parameterized approaches to graph-theoretic challenges. He contributes to the multi-year 'Parameterized Graph Drawing' project (2023–2027) while teaching Algorithmic Geometry and Graph Algorithms seminars. His advising activities include supervising master's theses within the Algorithms and Complexity research framework. As an active member of the Algorithms and Complexity research group, Firbas collaborates on theoretical projects examining computational boundaries in graph theory, with ongoing work targeting degree-constrained spanning trees and geometric embedding problems.

Daria Stepanovaمشاهده پروفایل

پژوهشگر

• Answer-Set Programming (ASP)
• Hybrid Knowledge Bases
• Inconsistent Data Repair
• +۶ مورد دیگر

Daria Stepanova is a researcher at the Institute of Information Systems , Technische Universität Wien. Her work focuses on Answer-Set Programming (ASP), inconsistency resolution in hybrid knowledge bases, and optimization algorithms for scheduling and scene generation. Education: PhD (Dr.techn.) in Technical Sciences, MSc in Computer Science. Research Interests: Answer-Set Programming for scheduling and optimization Inconsistency handling in Description Logic Programs Hybrid reasoning systems combining logic and semantic methods Applications of automated reasoning in manufacturing and gaming Publications highlight trends in ASP-driven scheduling, inconsistency repair techniques, and semantic scene generation using contextual reasoning and algebraic measures. Labs & Teams: Active member of the Network Lab at TU Wien Collaborator on projects like ALASPO and Angry-HEX

• RNA Folding
• Computational Biology
• Bioinformatics
• +۳ مورد دیگر

Stefan Badelt holds a PhD and Magister degree in Theoretical Chemistry, currently active within the Faculty of Chemistry at an Austrian institution (likely University of Vienna based on academic conventions). His research spans computational RNA biology, bioinformatics, and molecular engineering with continuous publication output from 2011 through projected 2025 activities. RNA Folding (100%) Protein Secondary Structure (67%) Transcription Processes (45%) Circular RNA Mechanics Alu Element Biology His research focuses on cotranscriptional RNA folding dynamics, developing computational tools like DrForna for visualization and DrTransformer for heuristic folding prediction. Recent work critically examines deep learning limitations in RNA structure prediction while advancing nearest-neighbor energy models. His fingerprint reveals strong specialization in RNA polymerase II dynamics and non-pseudoknotted structural systems. Publication trends show consistent output in high-impact bioinformatics journals, with 2022-2023 featuring significant algorithmic contributions. His work bridges computational methods with experimental validation, particularly in RNA folding pathways and DNA strand-displacement systems. While no specific awards are documented, his publications demonstrate substantial scholarly impact with multiple papers exceeding 10 Mendeley readers and significant citation metrics. Badelt actively mentors students through collaborative projects, evidenced by co-authored publications with Laurenz Miksch and others. His research receives support through computational biology grants enabling development of tools like the commit-and-delay model for RNA dynamics. Future work includes domain-level design of cotranscriptional folding pathways presented at upcoming 2024-2025 conferences. He operates within the Theoretical Chemistry research ecosystem, collaborating closely with Ivo Hofacker's group on RNA bioinformatics. Current activities focus on exact coarse-grained dynamics modeling and pseudoknot-free pathway design, positioning his lab at the intersection of computational biology and molecular engineering.

• Software Engineering
• Semantic Analysis
• Microservices
• +۳ مورد دیگر

Johann Glock is a PhD candidate and university assistant (Univ.-Ass.) in the Software Engineering Research Group (SERG) at the University of Klagenfurt, Austria. His research is supervised by Prof. Martin Pinzger. He is affiliated with the Department of Informatics Systems and contributes to the Team ICS Eder. His work focuses on software engineering challenges, including developer understanding of code changes, microservice API evolution, and semantic analysis techniques. Education: Holds BSc and MSc degrees (exact institutions unspecified). Research interests span semantic differencing, API evolution strategies, software quality metrics, and developer productivity tools. His recent publications investigate symbolic execution-based methods for code comprehension and empirical studies on microservice architecture challenges. Publications emphasize practical software engineering solutions, with a focus on improving developer workflows and system maintainability. He has contributed to tools like PASDA for semantic code comparison and studies on design patterns' impact on software quality. No scientific awards are explicitly mentioned. Teaching involvement includes software practicum courses and project supervision. Active in the Interactive Systems Research Team (IAS) and contributes to ongoing projects in software engineering and HCI.

• Isogeometric Analysis
• Computational Mechanics
• Boundary Element Methods
• +۶ مورد دیگر

Benjamin Marussig is an Associate Professor at the Institute of Structural Mechanics, Graz University of Technology. His work focuses on computational mechanics, particularly in isogeometric analysis, boundary element methods, and integration of CAD models with engineering simulations. He develops advanced numerical techniques for handling trimmed geometries, nonlinear solid mechanics, and fluid-structure interactions. His research emphasizes improving computational efficiency and accuracy in simulations involving complex geometries and inclusions. Key research areas include: Isogeometric Analysis (IGA) for structural and electromagnetic problems Boundary element methods for electrostatic and magnetostatic computations Fast algorithms for fictitious domain and immersed boundary methods Integration of design and analysis workflows using CAD-compatible models Recent work highlights advancements in multi-level Bézier extraction, weighted quadrature for cut cells, and automated correction systems for mechanics education. His contributions address challenges in meshing requirements, nonlinear behavior modeling, and efficient matrix assembly techniques for trimmed CAD geometries. Marussig collaborates on applications in geomechanics, tunneling simulations, and elasto-plastic material analysis. He holds teaching responsibilities in mechanics and structural analysis, emphasizing computational methods. His research portal lists over 40 peer-reviewed articles since 2012, demonstrating sustained innovation in computational mechanics and CAD-integrated simulation technologies.

• Control Theory
• Robust Control
• Nonlinear Control Systems
• +۳ مورد دیگر

Richard Seeber is a Researcher at the Institute of Control and Automation (Institut für Regelungstechnik und Automation) at TU Graz. His academic titles include Privatdozent (Priv.-Doz.), Diplom-Ingenieur (Dipl.-Ing.), Doctor of Engineering (Dr.techn.), and Bachelor of Science (BSc). His work focuses on advanced control theory, nonlinear systems, and observer design. He holds a teaching authorization in system dynamics and control theory, reflecting his dual role in research and education. Research interests include robust exact differentiators, sliding mode control, observer design for linear and nonlinear systems, and applications in thermal management and energy systems. He has contributed to methodologies addressing actuator saturation, discretization challenges, and real-time control implementation. His recent work emphasizes predefined-time convergence algorithms and stability analysis under bounded noise or disturbances. Selected projects involve heater modeling for fuel cell stacks, frequency converter nonlinearity compensation, and control strategies for biomass furnaces. His contributions are often applied to industrial systems requiring precise control under uncertainty, such as gas engine power plants and transient operating conditions. He collaborates within TU Graz's Institute of Control and Automation, contributing to both theoretical advancements and practical tool development. His research portal (https://irt.tugraz.at/) hosts publications and tools related to robust control methodologies.

• Multibody Dynamics
• Optimal Control
• Mechanical Engineering
• +۳ مورد دیگر

Karin Nachbagauer is a Professor at the University of Applied Sciences Wels, affiliated with the College of Engineering and the Department of Automotive/Mobility Engineering. Her research focuses on multibody dynamics, optimal control, and robotics, with emphasis on adjoint methods and parameter identification. She leads projects like VRoboCoop (Human-Robot Collaboration) and IOMMS (Optimization Methods for Multibody Systems). Education : Dipl.-Ing. (FH), Dr.techn. in Mechanical Engineering Affiliations : Research Center Wels, Center of Excellence for Smart Production Her work bridges computational mechanics and robotics, addressing challenges in optimal control, multibody system dynamics, and digital twin technologies. Recent articles highlight advancements in adjoint-based optimization and tumor drug dosage applications. Notable awards include the OÖ Forscherinnen-Award 2013 and a Hans Fischer Fellowship (2020). She has supervised 3 doctoral/master’s projects and actively participates in academic activities, including editorial roles at Springer and international conferences. Media features include coverage in Die Presse , Kurier , and OÖ Nachrichten .

Neeldhara Misraمشاهده پروفایل

دانشیار

• Design and analysis of algorithms
• Computational social choice
• Parameterized complexity
• +۵ مورد دیگر

Neeldhara Misra is an Associate Professor in the Department of Computer Science & Engineering at the Indian Institute of Technology Gandhinagar (IITGN). She holds the Smt. Amba and Sri. V S Sastry Chair position. Prior to this, she served as an Assistant Professor at IITGN (2015–2021), and held an INSPIRE Faculty Fellowship at the Indian Institute of Science (2013–2015). Her research focuses on algorithm design, computational social choice, extremal combinatorics, and combinatorial game theory. Education : BSc in Mathematics from Mount Carmel College, Bangalore (2007) PhD in Theoretical Computer Science from The Institute of Mathematical Sciences, Chennai (2012) Research Interests : Her work spans parameterized complexity, algorithm design for combinatorial problems, and applications in social choice theory. Recent contributions include studies on equitable fair division, eternal vertex cover numbers in graphs, and efficient algorithms for graph problems like perfect matching cuts. Professional Activities : She has actively contributed to organizing conferences such as FSTTCS, IPEC, and AAMAS. Her work has been recognized with awards like the NASI Platinum Jubilee Young Scientist Award (2023). Awards : NASI Platinum Jubilee Young Scientist Award (2023) Grants & Advising : Details on grants or advising are not explicitly listed in the provided texts, though her involvement in interdisciplinary research and academic service is notable.

• Workforce Scheduling
• Time Management
• Operational Research
• +۳ مورد دیگر

Johannes Gärtner is a Senior Lecturer at Vienna University of Technology, affiliated with the Artifact-based Computing and User Research department (E193-04). His work focuses on shift scheduling, working time policies, and the intersection of law with software development. Academic Rank: Senior Lecturer Department: Artifact-based Computing and User Research, E193-04 University: Vienna University of Technology Research interests include Workforce Scheduling , Time Management , Operational Research , Human-Computer Interaction , Data Analysis , and Software Engineering . He applies these to shiftwork optimization, risk modeling, and legal-compliant software design. His key projects include ARTIS (2017–2025), ARTE (2012–2017), and Softnet (2006–2011), focusing on work scheduling systems, risk assessment tools, and data quality frameworks. Publications emphasize AI-driven scheduling algorithms , injury risk estimation , and legal explainability in software . His supervisees include D. Cygan (2012), W. Schafhauser (2010), A. Höfer (2006), and N. Tawil (2003).

Bernhard Gittenbergerمشاهده پروفایل

دانشیار

• Enumerative Combinatorics
• Analysis of Algorithms
• Probability Theory
• +۴ مورد دیگر

Bernhard Gittenberger is an Associate Professor at the Institute of Discrete Mathematics and Geometry at TU Wien. His research focuses on enumerative combinatorics, analysis of algorithms, and probability theory, particularly stochastic processes in combinatorial structures. He has advised numerous Master's and PhD students, contributing to advancements in discrete mathematics and algorithmic analysis. Affiliation: TU Wien, Institute of Discrete Mathematics and Geometry Roles: Academic Researcher, Educator, PhD Advisor His work encompasses lattice paths, tree structures, phylogenetic networks, and analytic combinatorics. He has been involved in multiple research projects, including FWF-funded initiatives and collaborations with institutions like Université de Versailles and Academia Sinica. Key contributions include studies on asymptotic enumeration, probabilistic methods in combinatorics, and algorithmic analysis of discrete structures. His scientific achievements include the Jubiläums-Studienpreis from the Austrian Mathematical Society in 1996.

Franziskus Wiesnetمشاهده پروفایل

پژوهشگر

• Proof Theory
• Constructive Mathematics
• Formal Systems
• +۱۲ مورد دیگر

Franziskus Wiesnet is a researcher at the Institute of Discrete Mathematics and Geometry at the Technische Universität Wien, where he currently serves as project manager for the FWF-funded project 'Material Interpretation'. His academic journey includes a mathematics degree from Ludwig-Maximilians-Universität München (2012-2017) and a joint doctorate from the Universities of Trento, Verona, and Munich (2017-2021), supervised by Peter Schuster and Helmut Schwichtenberg. His research focuses on proof theory, constructive mathematics, and formal systems, with particular emphasis on proof assistants like Minlog and Agda. Key areas include constructive algebra, analysis, and the computational content of mathematical proofs. He has contributed to topics such as program extraction from proofs, proof mining, and algorithmic approaches to algebraic structures like maximal ideals and Zariski's lemma. Recent work includes a conference paper on maximal ideals in ℤ[X] and a YouTube channel (LogicLab) offering tutorials on proof assistants and constructive mathematics. His publications span journals like Logical Methods in Computer Science and Information and Computation, with a focus on bridging theoretical logic and computational applications.

Florian Mischekمشاهده پروفایل

پژوهشگر

• Operations Research
• Scheduling Algorithms
• Artificial Intelligence
• +۳ مورد دیگر

Florian Mischek is a researcher affiliated with TU Wien's Forschungsbereich Databases and Artificial Intelligence department. His work focuses on optimization problems in industrial scheduling, particularly in test laboratories and healthcare environments. He holds a BSc, Dipl.-Ing (engineer's diploma), and a Dr.techn (doctorate) in technical sciences. Research interests include scheduling algorithms, hyper-heuristics, constraint programming, reinforcement learning, and their applications to real-world challenges like test laboratory operations and pandemic-era healthcare staffing. His contributions span both theoretical advancements in optimization frameworks and practical system implementations for automated scheduling. Notable publications explore problem-independent hyper-heuristics, reinforcement learning for cross-domain optimization, and local search frameworks for industrial scheduling. He has collaborated extensively with Prof. Nysret Musliu on projects involving test laboratories and nurse rostering problems. His work often bridges mathematical programming and heuristic approaches, emphasizing practical applicability.

Christoph Koutschanمشاهده پروفایل

استاد پژوهش

• Computer Algebra
• Algorithmic Combinatorics
• Symbolic Summation
• +۳ مورد دیگر

Christoph Koutschan is a Senior Fellow in the Symbolic Computation group at the Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences. He holds a PhD in Mathematics from JKU Linz (2009) and a Habilitation in Mathematics (2017). His research focuses on computer algebra, algorithmic combinatorics, and symbolic summation/integration of holonomic functions. Koutschan has held positions at Tulane University (2009–2010), Tulane University (2009–2010), and INRIA (2011–2012) before joining RICAM in 2012. Education: PhD in Mathematics (2009), Research Institute for Symbolic Computation (RISC), JKU Linz Habilitation in Mathematics (2017), JKU Linz M.Sc. in Computer Science (2005), FAU Erlangen-Nürnberg Studies in Computer Science (1999–2005), FAU Erlangen-Nürnberg Research Interests: Koutschan's work revolves around symbolic computation with a focus on holonomic functions, combinatorial identities, and applications in mathematical physics. His tools include algorithmic methods for summation/integration, differential equations, and computational algebra. Publications & Awards: Over 40 journal articles, including work on determinant evaluations, Feynman amplitudes, and combinatorial enumeration. Notable awards include the David P. Robbins Prize (2016), ISSAC's Distinguished Software Presentation Award (2016), and the ACA Early Researcher Award (2021). Grants & Collaborations: Lead or co-PI in projects like 'Certificate-free Summation and Integration' (SFB F50, 2017–2021) and 'Security and Safety for Shared AI' (FFG COMET-K2, 2020–2023). Active in editorial roles at Journal of Symbolic Computation and Annals of Combinatorics . Labs/Teams: Core member of RICAM's Symbolic Computation group, collaborating internationally with institutions like INRIA, Tulane University, and TU Wien.

• Applied Mathematics
• Graph Theory
• Combinatorics
• +۳ مورد دیگر

Prof. Angelika Wiegele is a full Professor at the Department of Mathematics at Alpen-Adria-Universität Klagenfurt. She serves as a member of the university senate and head of the Institut für Mathematik. Her research focuses on semidefinite optimization, combinatorial optimization, and their applications in graph theory and operations research. She holds a Dipl.-Ing. (2001) and Dr. techn. (2006) from Alpen-Adria-Universität Klagenfurt, with thesis supervision by Franz Rendl. Her academic career includes positions at TU Graz, IASI-CNR Rome, and Universität zu Köln, as well as a visiting professorship at Università di Roma Tor Vergata. Her educational background includes studies at City University London (Erasmus) and TU Eindhoven (Leonardo project). Recent work emphasizes SDP-based methods for graph partitioning, edge expansion, and combinatorial problems, with a focus on high-performance computing solutions. Her research bridges theoretical optimization with practical applications in network design and algorithmic development. Publications from 2021–2024 highlight advancements in semidefinite programming for graph partitioning, SDP-based bounds for cutwidth, and exact solvers for clustering problems. She contributed to the BiqBin and SOS-SDP solvers for quadratic optimization and co-edited special journal issues on mixed-integer nonlinear optimization. Her work often appears in top operations research journals and conference proceedings. Prof. Wiegele has held global faculty positions at the University of Cologne (2022–2024) and is active in international research collaborations through PRACE high-performance computing initiatives. She maintains an ORCID profile and a university webpage with teaching and research materials.