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

Gregor Michalicekمشاهده پروفایل

پژوهشگر

• Computational Materials Science
• Density Functional Theory
• Electronic Structure Theory
• +۲ مورد دیگر

Dr. Gregor Michalicek serves as a Researcher at the Quantum Theory of Materials (PGI-1) within the Peter Grünberg Institute at Forschungszentrum Jülich, Germany's premier interdisciplinary research center under the Helmholtz Association. His position focuses on advancing computational methodologies for materials simulation and electronic structure calculations. His core research interests span: Density Functional Theory (DFT) and its algorithmic implementations Full-Potential Linearized Augmented-Plane-Wave (FLAPW) method development High-performance scientific software engineering Electronic structure prediction for novel materials Numerical method optimization in quantum mechanics Michalicek is a principal contributor to the FLEUR code project, an open-source computational framework enabling first-principles simulations of material properties at atomic scales. His work bridges theoretical physics with practical software solutions for complex quantum mechanical systems, directly supporting Forschungszentrum Jülich's mission in energy and information research. Based at the Jülich campus in Building 04.12, Room 106, he maintains active scientific engagement through his ORCID profile (0000-0003-4719-188X) and direct institutional contact (+49 2461/61-2512), though formal advising roles and publication details are not explicitly documented in current institutional records.

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

استاد

• Formal Methods
• Software Verification
• Security and Dependability
• +۹ مورد دیگر

Prof. Dr. Bernhard Beckert is a faculty member at the Karlsruhe Institute of Technology (KIT) , affiliated with the Department of Informatics and the Institute of Information Security and Dependability (KASTEL) . His research focuses on formal verification of software systems, particularly through logic-based methods, security and dependability analysis, automated deduction in classical and non-classical logics, and applications to voting algorithms, industrial automation, and scientific software. Email: beckert@kit.edu Office: Building 50.34, Room 224, KASTEL, Am Fasanengarten 5, 76131 Karlsruhe, Germany He develops and applies the KeY system for deductive verification of object-oriented software, with applications in Java, PLCs, and safety-critical systems. His work addresses challenges in regression verification, information flow security, and multi-phase verification for robotic surgery. Recent publications focus on equivalence analysis of control software variants, program slicing, loop bound computation, and formalization of voting rules using bounded model checking. Key contributions include integrating design and verification workflows, dynamic logic extensions for concurrency, and tools for security-sensitive software engineering.

• Recommender Systems
• Information Retrieval
• E-Government
• +۵ مورد دیگر

Iván Cantador is a Professor at the Autonomous University of Madrid, Spain, specializing in Recommender Systems, Information Retrieval, and E-Government applications. His research bridges computer science with social applications, particularly focusing on how technology can enhance citizen participation and government services. His research interests include: Recommender Systems and Personalization Cross-Domain Recommendation Argument Mining and Analysis E-Government and Digital Citizen Participation Social Media Analysis for Public Services Open Data Applications Cantador's recent work demonstrates a strong focus on the intersection of recommendation technologies with civic engagement. His publications show how recommender systems can be adapted for e-participation platforms, helping citizens navigate complex government information and participate more effectively in democratic processes. He has also made significant contributions to argument mining, developing tools and frameworks to analyze citizen input in government consultations. His research on misinformation highlights how recommendation algorithms can inadvertently amplify false information, and he has proposed methods to mitigate these effects while maintaining system effectiveness. Scientific contributions: Developed innovative approaches to cross-domain recommendation systems Created tools for argument annotation and analysis in citizen participation contexts Advanced methods for integrating sentiment analysis into recommendation frameworks Contributed to understanding how recommendation algorithms affect information diversity and potential misinformation spread Designed chatbots and conversational agents for government services Cantador has been actively involved in numerous research projects related to e-government and citizen participation, often collaborating with interdisciplinary teams that include computer scientists, political scientists, and public administration experts. His work has practical applications in improving how citizens interact with government services and participate in democratic processes through digital channels.

• Computer Science
• Semantic Web
• Ontology Matching
• +۳ مورد دیگر

Alsayed Algergawy is a researcher at the Institute of Computer Science , Friedrich Schiller University Jena . His work focuses on ontology alignment , schema matching , and knowledge graph integration . Affiliation: Friedrich Schiller University Jena, Institute of Computer Science Research interests span semantic web technologies , machine learning for data integration , and ontology engineering , with applications in biodiversity and invasion biology . He has developed tools like OAPT for ontology partitioning and DREIFLUSS for table matching. His recent publications emphasize LLM-driven knowledge graph completion , semantic annotation of scientific datasets , and clustering-based ontology matching . Collaborative projects include BiodivNERE for NLP in biodiversity and INBIO (Invasion Biology Ontology).

• Responsible AI Engineering
• Human Values in Software Development
• Model-Driven Engineering
• +۳ مورد دیگر

Jon Whittle is a Professor at Monash University's Faculty of Information Technology and leads research at CSIRO/Data61 in Sydney, Australia. His work focuses on Responsible AI Engineering , Human Values in Software Development , and AI Governance Frameworks . He has published extensively on architectural patterns for foundation models, ethical AI implementation, and value-sensitive design methodologies. Current affiliations: Monash University, CSIRO/Data61 Key research areas: Responsible AI, Model-Driven Engineering, Human Values in Tech His recent publications (2023-2025) analyze reference architectures for generative AI, AI risk assessment frameworks, and human value integration in mobile applications. Collaborators include Qinghua Lu, Liming Zhu, and Waqar Hussain. Scientific contributions span AI Ethics , Software Architecture , and Collaborative Human-AI Systems . Notable work includes developing the QB4AIRA question bank for AI risk assessment and creating pattern catalogues for responsible AI.

• Network Security
• Cyber-Physical Systems Security
• BGP Routing Security
• +۶ مورد دیگر

Gabi Dreo Rodosek is a distinguished researcher and faculty member at Bundeswehr University Munich , Germany. With a prolific publication record spanning over three decades, she has contributed extensively to the fields of network security, cyber-physical systems, BGP routing security, and software-defined networking (SDN). Research Interests: Network Security & Intrusion Detection BGP Routing Security & RPKI Software-Defined Networking (SDN) Malware Analysis & Adversarial Machine Learning Mobile Ad-hoc Networks (MANETs) Content Delivery Networks & IP Geolocation Her recent work focuses on advanced BGP security mechanisms, including path plausibility algorithms and RPKI deployment strategies. She has also explored adversarial techniques in machine learning, particularly in the context of malware detection and evasion. Her research in SDN-based defenses includes novel frameworks for DDoS mitigation and anomaly detection in 5G networks. Scientific Contributions: Over 159 peer-reviewed publications (1991–2025) Key contributions to BGP security, including RPKI validation and route leak mitigation Pioneering work in adversarial machine learning for cybersecurity Development of SDN-based intrusion detection and threat hunting frameworks Collaborations & Advising: She has mentored and collaborated with numerous researchers, including Nils Rodday, Peter Hillmann, Florian Steuber, and Raphael Labaca Castro. Her work often involves interdisciplinary teams tackling challenges in network security, AI-driven defense mechanisms, and resilient communication systems. Labs & Teams: While specific lab affiliations are not detailed in the provided text, her extensive collaboration network and affiliation with Bundeswehr University Munich suggest involvement in leading cybersecurity and networking research initiatives.

• Parallel and Distributed Systems
• High Performance Computing
• GPU Programming
• +۹ مورد دیگر

Prof. Dr. Sergei Gorlatch is a full professor at the University of Münster, Germany, in the Department of Mathematics and Computer Science, where he holds the Chair of Practical Computer Science (Parallel and Distributed Systems) within the Institute of Computer Science. He has been a leading figure in high-performance and parallel computing since joining the university in 2003. University: University of Münster School: Department of Mathematics and Computer Science Department: Institute of Computer Science Academic Rank: Professor His research focuses on algorithm and software development for modern computer systems, particularly in parallel and distributed computing, high-performance computing (HPC), GPU-based systems, cloud and grid computing, and performance optimization. His work bridges theoretical formal methods and practical applications, especially in real-time online interactive systems such as online games and simulations. He has pioneered frameworks like SkelCL, dOpenCL, and the Real-Time Framework (RTF) to simplify parallel programming and improve performance portability. The recent publications (2020–2024) reflect a strong trend in GPU programming, performance optimization, formal verification, and distributed systems. Key themes include the development of safe and high-level GPU languages (e.g., Descend), autotuning and model checking for performance, multi-cloud orchestration, and performance modeling of legacy and real-time systems. His work often combines compiler techniques, functional programming, and systematic transformations to achieve efficient and portable code. Best Poster Award – PUMPS+AI, 2019 Best Paper Award – CGO, 2018 Alexander von Humboldt Research Fellowship, 1991 Prof. Gorlatch has supervised numerous students and researchers, many of whom are frequent co-authors on his publications. He has led multiple funded projects from DFG, EU (e.g., CoreGrid, MONICA), and industry (e.g., NVIDIA Graduate Fellowship). His work includes both theoretical contributions (e.g., algorithmic skeletons, formal verification) and applied systems development, demonstrating a strong record of advising, grant acquisition, and interdisciplinary collaboration. He is actively involved in several research labs and teams at the University of Münster, particularly those focused on parallel computing, GPU programming, and real-time systems. His group develops high-level programming models and tools to make parallel computing more accessible and efficient across diverse architectures.

Werner Dobrautzمشاهده پروفایل

پژوهشگر

• Quantum Chemistry
• Quantum Computing
• Machine Learning
• +۷ مورد دیگر

Dr. Werner Dobrautz is a quantum chemist and computational physicist who leads the DRESDEN-concept Research Group "AI4Quantum" since 2024. The group is jointly hosted by the Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI) at TU Dresden and the Center for Advanced Systems Understanding (CASUS) at Helmholtz-Zentrum Dresden-Rossendorf (HZDR). His research integrates quantum computing, machine learning, and high-performance computing to address challenges in chemistry and physics, such as bio-catalysis for ammonia production and unconventional superconductivity. Education : PhD in Theoretical Quantum Chemistry (University of Stuttgart, 2019), Master of Science in Technical Physics (Graz University of Technology, 2014) Dr. Dobrautz specializes in developing computational methods like transcorrelation and quantum algorithms to simulate complex systems, particularly focusing on strongly correlated electron systems and noise-resilient quantum chemistry . His work aims to breakthrough the "exponential wall" in computational resource scaling. Scientific Awards : Marie Skłodowska-Curie Postdoctoral Fellowship (€223,000, 2022) Vinnova Fellowship (€44,000, 2024) He has contributed to quantum computing initiatives like OpenSuperQPlus and NordIQuEst , and his software expertise spans NECI, Qiskit, OpenMolcas, and machine learning frameworks like TensorFlow.

Alfred Kamusellaمشاهده پروفایل

پژوهشگر

• Optimization
• Computer-Aided Design
• Mechatronics
• +۳ مورد دیگر

Alfred Kamusella serves as a Researcher at Dresden University of Technology's Institute of Precision Engineering and Electronic Design, working as a Research Associate since May 2021 on a freelance basis. His responsibilities include research in mechatronic systems modeling and computer-aided design, alongside previously teaching CAD, Finite Element Method, and device technology courses through the 2020/2021 academic year. His research centers on probabilistic simulation and multi-criteria optimization for early-phase computer-aided design of mechatronic systems. He develops numerical modeling, simulation, and optimization methods for device analysis and synthesis, incorporating laboratory experiments to address design variations and conflicting requirements. Key focus areas include reliability engineering, finite element analysis, and electromagnetic actuator optimization. Publications from 2006-2011 reveal consistent specialization in robust design optimization using probabilistic methods, particularly for electromagnetic actuators and microsystems. His work integrates COMSOL Multiphysics, OptiY software, and multi-domain simulation techniques to enhance reliability assessment in mechatronic systems under parameter uncertainties. Kamusella administers the OptiYummy.de portal providing optimization tutorials and foundational resources. No information is available regarding student advising, grant funding, or scientific awards in the provided documentation.

• Music Informatics
• Electronic Composition
• Interactive Sound Systems
• +۳ مورد دیگر

Prof. Thomas Neuhaus is a German Professor of Music Informatics at the Institute for Computer Music and Electronic Media (ICEM) within the College for Music and Art at Folkwang University of the Arts. As Artistic Director of ICEM since 2011 and co-developer of the AUDIAC computer-aided composition system, he bridges computer science and musical artistry through interactive systems. Education: Studied composition with Wolfgang Hufschmidt and electronic composition with Dirk Reith at Folkwang Positions: Faculty 1 member since 1994, full professor since 2004 Research: Focuses on formalization of musical structures and human-machine collaboration His work manifests in algorithmic composition languages and real-time interaction systems , exemplified through 20+ years of collaboration with Theater der Klänge. Key trends include: Interactive sound sculptures (Zollverein installations) Intermedial theatre works (Vanitas, Megalopolis) Digital heritage projects (PPP composition framework) Acoustic-architectural integrations (A Bigger Clock software) Scientific recognition: Student-nominated teaching award (2008/09) Research Prize finalist (FH Dortmund, 2003) His software developments like fkir scheduler and PPP-2 framework demonstrate computational creativity in music. Current projects combine electronic composition with live performance technologies , as seen in the NOW! Festival commissions.

Rainer Hochمشاهده پروفایل

استاد

• Software Development
• Systems Analysis
• Document Management
• +۳ مورد دیگر

Professor Rainer Hoch is an active faculty member at the Baden-Wuerttemberg Cooperative State University, serving as Program Director in the Faculty of Economics, Department of Business Informatics. His research focuses on business information systems with emphasis on software development, systems analysis, document management, business process modeling, ERP systems, and information management, bridging theoretical computer science with practical business applications. Prof. Hoch's research interests center around document analysis, information retrieval, and enterprise resource planning systems. His work demonstrates significant contributions to understanding how document processing techniques can be integrated into business workflows, particularly through his SAP-related innovations. His research methodology combines theoretical foundations with practical implementation, resulting in technologies that have been adopted in industry applications. His publication record reveals a strategic evolution from foundational document analysis research in the early 1990s to applied business information systems work in the late 1990s and early 2000s. The progression shows increasing focus on SAP technologies, culminating in practical applications like SAP Smart Forms, reflecting his ability to translate academic research into industry solutions. His scientific recognition includes: Two US software patents over SAP technologies More than 35 international publications and book contributions in prestigious venues including IEEE Computer and SAP Professional Journal Prof. Hoch has maintained strong connections between academia and industry through his conference participation and professional activities. He served on the program committee of ICDAR (the world's largest document analysis conference) until 1999, acted as reviewer for international journals, and presented at major industry conferences including SAPPHIRE, SAP TechEd, and XML-Infotage. His leadership roles as Program Director, Program Coordinator, SAP HCC Project Leader, and International Seminar Director demonstrate his significant institutional contributions beyond research and teaching.

Olaf Reschمشاهده پروفایل

استاد

• Business Rule Management
• IT Management
• E-Business
• +۲ مورد دیگر

Prof. Dr. Olaf Resch serves as a Professor in the Department of Cooperative Education at the Berlin School of Economics and Law (HWR Berlin), Germany. His academic profile centers on Business Informatics, with core competencies in Business Rule Management, IT Management, and E-Business. He is actively engaged as the editor of the e-Journal of Practical Business Research and holds membership in the German Informatics Society, contributing to the academic discourse in information systems and business technology. Resch's research spans theoretical and applied aspects of business rule systems, including their role in coordinating web services, human services, and software reengineering. He has developed frameworks for IT management implementation and best practices, and explored behavioral dimensions of software quality and data-driven causal analysis. His scholarly work consistently addresses the integration of business processes with information technology, emphasizing practical business research and educational applications, as evidenced by his publications and editorial leadership. Analysis of his publication record reveals a sustained focus on Business Rule Management since the mid-2000s, with increasing attention to educational contexts and work-based learning in his later works (up to 2010). His contributions frequently appear in specialized journals and conference proceedings, highlighting interdisciplinary connections between computer science, business administration, and educational theory. No scientific awards or fellowships were documented in the provided materials. Information regarding graduate student supervision, research grants, or funded projects was not included in the source text. Details about laboratory facilities, research groups, or collaborative teams associated with Prof. Resch were not specified.

Michael Hoedingمشاهده پروفایل

استاد

• Databases
• Electronic Business
• Data Warehousing
• +۱۰ مورد دیگر

Michael Hoeding is a Professor at the Brandenburg University of Technology in the Department of Economics . With expertise in network-based applications for commerce and electronic business, his work bridges databases, telecommunications, and enterprise systems. Specialization in database integration and legacy system modernization Key contributions to service-oriented architectures , XML , and SAP ERP optimization Focus on data warehousing (SAP-BI/SAP-BW) and wiki technology for knowledge management His research explores multimedia techniques in training and marketing, Oracle administration , and flash storage applications in database systems. He received the Forschungspreis (research award) from Otto-von-Guericke University Magdeburg in 1998. Notable recent work includes mobile learning applications , single-page website design , and Android development frameworks . His publications span topics from context-based querying to cooperative information systems , reflecting 25+ years of interdisciplinary research. Scientific Awards : Forschungspreis (1998) Grants : Research funding through Fraunhofer Institute participation Teaching : Courses in database systems , software engineering , and mobile applications

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

استاد

• Finite Element Analysis
• Computational Mechanics
• Materials Science
• +۵ مورد دیگر

Professor Martin Kraska is a faculty member at Brandenburg University of Technology in the Department of Technology within the College of Engineering. His office is located in the Engineering Science Center (IWZ), Room 401, at Magdeburger Straße 50, 14770 Brandenburg an der Havel. He teaches core engineering subjects including Technical Mechanics, Materials Science, Product Planning, and Finite Element Method, with specialized Master's level courses in Materials Selection and Component Optimization. His research spans computational mechanics with a strong focus on finite element analysis, particularly through his work with CalculiX, an open-source nonlinear finite element program. He has developed extensive parametric examples demonstrating various analysis types, which have gained significant recognition with over 350 GitHub stars. His research interests include structured materials properties, metal foams, 3D printed parts, and digital education tools for technical mechanics. Professor Kraska has made substantial contributions to the CalculiX ecosystem through his GitHub repository 'CalculiX-Examples,' which demonstrates parametrized geometry generation in CGX and meshing with GMSH. His work shows expertise in both theoretical mechanics and practical software implementation, with recent publications covering beam sections, modal analysis, plane stress/strain conditions, and Hertz contact problems. The repository serves as an excellent educational resource for mastering parametric modeling with CGX and CCX. His scientific activities include development of SMath Studio resources, including German-language documentation and bilingual interactive tutorials. He also serves as an advisor for the 'German Center for Digital Tasks' project, focusing on interactive graphical input tasks in Moodle using STACK-type questions. His work bridges theoretical mechanics with practical educational applications and software development.

Angela Pohlمشاهده پروفایل

استاد

• Vectorization
• SIMD Programming
• Compiler Optimization
• +۳ مورد دیگر

Angela Pohl serves as a Professor in the Department of Computer Science and Media at Brandenburg University of Technology. Her academic office is located in Building C, Room C.2.18 at Magdeburger Straße 50, 14770 Brandenburg an der Havel, Germany, with contact available via telephone (+49 3381 355 - 459) and email (angela.pohl@th-brandenburg.de). Her research program centers on high-performance computing and compiler optimization , with critical contributions in: Vector length agnostic programming models for modern SIMD architectures Cost modeling and performance prediction for auto-vectorizers Architecture-specific optimizations for ARM NEON, Intel AVX, and SVE Application of vectorization to multimedia (VVC decoder) and scientific computing (RICH particle detector) Analysis of her 2015-2020 publications reveals a progression from foundational SIMD model evaluation to advanced portable cost modeling. Her work demonstrates consistent focus on bridging compiler technology with hardware capabilities, particularly emphasizing real-world applications in video coding and high-energy physics where vectorization delivers substantial performance gains.