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

Hongjin Liangمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Verification
• Concurrency Theory
• +۳ مورد دیگر

Hongjin Liang is an Associate Professor at the School of Computer Science , Nanjing University , China. He is an active researcher and educator in the fields of programming languages and formal verification, with a strong focus on concurrency theory, mechanized proofs, and memory models. Education: PhD in Computer Science (May 2014), dissertation titled Refinement Verification of Concurrent Programs and Its Applications . Research Interests: His research spans formal verification , concurrent programming , memory models , and mechanized reasoning . He is particularly known for his work on verifying concurrent data structures, program logics for concurrency, and certified compilation. He is a member of the PLaX research group . Publications and Impact: Liang has published extensively in top-tier venues such as POPL, PLDI, ESOP, TOPLAS, and CSL-LICS. His work often involves formalizing and verifying complex concurrent systems using interactive theorem provers like Rocq/Coq. Notable contributions include verifying compiler optimizations under weak memory models and developing program logics for randomized concurrent programs. Scientific Awards: Distinguished Paper Award , PLDI 2019 for "Towards Certified Separate Compilation for Concurrent Programs" Teaching and Advising: He teaches undergraduate and graduate courses including Formal Semantics of Programming Languages , Concurrency: Algorithms and Theories , and Compiler Design . He has supervised graduate students and served on numerous program committees for international conferences. Affiliations: He is affiliated with the PLaX research group at Nanjing University and has collaborated with researchers such as Xinyu Feng, Zhong Shao, and Jan Hoffmann.

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Language-based Security
• +۵ مورد دیگر

Benjamin C. Pierce is the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. As a Fellow of the ACM, he has made significant contributions to programming language theory and formal methods. His academic leadership includes previous editorial roles as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans multiple interconnected domains in programming language theory, with particular emphasis on type systems and their applications to security and verification. Pierce's work bridges theoretical foundations with practical implementations, most notably through his development of the Unison file synchronization tool and contributions to the Clowdr virtual conference platform. His research interests form a cohesive trajectory from foundational type theory to applied security and verification techniques. Pierce's scholarly output shows consistent focus on property-based testing, type systems, and formal verification methods. His recent publications demonstrate evolving interests in differential privacy verification, synchronization technologies, and the practical challenges of implementing formal methods in real-world systems. The progression of his work reflects both theoretical depth and practical relevance to software development challenges. Fellow of the ACM Author of influential textbooks Types and Programming Languages and Software Foundations Lead designer of the Unison file synchronizer Co-developer of the Clowdr virtual conference platform Former editorial leadership for multiple prominent programming languages journals As an educator and mentor, Pierce has contributed to the Programming Languages Mentoring Workshop (PLMW) and has served on numerous conference program committees. His academic service extends to SIGPLAN leadership roles including SIGPLAN Vice Chair and Steering Committee membership. His textbook Software Foundations has become a standard resource for teaching formal methods and proof assistants.

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

پژوهشگر

• Artificial Intelligence
• Recruiting
• Digitalization and digital Transformation of Human Resource Management
• +۴ مورد دیگر

Michael Harr is a doctoral researcher and research assistant at the University of Duisburg-Essen, affiliated with the Faculty of Computer Science and the Chair of Business Informatics and Integrated Information Systems. His work focuses on artificial intelligence, digital transformation of HR management, enterprise systems, new work arrangements, and digital communication. He has published extensively on these topics in leading journals and conferences. Education: M.Sc. in Business Information Systems (2020-2023), University of Duisburg-Essen B.Sc. in Business Information Systems (2016-2020), University of Duisburg-Essen His research explores the intersection of AI and human-centric systems, including studies on retail service robots, intelligent HRIS, generative AI in MOOCs, and user annoyances in voice assistants. Recent publications analyze digital communication trends and digitalization challenges in the construction sector. Publications: Harr has contributed to key areas such as retail automation, HRIS optimization, and AI-driven e-learning, with a focus on practical applications and theoretical frameworks. Supervised Theses: Exploring ChatGPT for MOOCs AI in Knowledge Management Technostress and Quiet Quitting Taxonomy of AI Recruitment Tools Talent Recruitment on Social Networks Labs and Teams: Harr is involved in the Retail Artificial Intelligence Lab (retAIL) and SAP Innovation Lab, contributing to projects on digital transformation and enterprise systems.

• Ferrous Metallurgy
• Advanced High-Strength Steels
• Medium-Manganese Steels
• +۶ مورد دیگر

Dr.-Ing. Alexander Gramlich is a scientific staff member at the Chair of Metal Materials Science and Institute of Ferrous Metallurgy, RWTH Aachen University, Germany. His work focuses on advanced steel development, particularly medium-manganese steels, sustainable manufacturing, and digitalization of metallurgical processes. His research spans multiple critical areas of modern steel metallurgy including: Development of third-generation advanced high-strength steels Phase transformation kinetics in medium-manganese steels Sustainable steel production through recycling and eco-efficient processes Digital material twins and physics-informed machine learning Fatigue and fracture mechanics of automotive and wind energy components Dr. Gramlich's recent publications demonstrate a strong focus on bridging fundamental materials science with industrial applications. His work on medium-manganese steels addresses critical challenges in automotive lightweight design, while his research on wind turbine components contributes to renewable energy infrastructure. The integration of digital technologies, including AI-driven material design and digital twins, represents a cutting-edge approach to modern metallurgy. Based at RWTH Aachen University, one of Europe's leading technical universities, Dr. Gramlich contributes to both fundamental research and technology transfer to industry. His address at Intzestr. 1, 52072 Aachen, places him at the heart of Germany's industrial region, facilitating collaboration with major steel producers and automotive manufacturers.

• Steel Construction
• Additive Manufacturing
• Fire Safety Engineering
• +۳ مورد دیگر

Jakob Blankenhagen is a research assistant at the Chair of Metal Construction at the Technical University of Munich . He holds an M.Sc. in Civil Engineering from TUM and specializes in additive manufacturing , fire safety engineering , and hybrid steel-timber structures . B.Sc. in Civil Engineering (2015-2019) M.Sc. in Civil Engineering (2019-2022) International Welding Engineer (2021) His research focuses on optimizing fatigue-stressed hollow section structures using Laser Powder Bed Fusion (LPBF) and developing fire-safe hybrid steel-timber constructions. Current projects include TRR277 A06, which investigates LPBF fundamentals for structural steel elements. Key publications address material characterization , fire behavior of hybrid structures, and machine learning-based pore detection in additive manufacturing. He contributes to advancing 3D-printed steel components and sustainable construction methods . He teaches courses on steel construction, composite building, and computational design at TUM, with a focus on practical implementation of additive manufacturing in construction.

Dirk Lowkeمشاهده پروفایل

استاد

• Digital Construction
• 3D Printing
• Sustainable Materials
• +۶ مورد دیگر

Prof. Dr.-Ing. Dirk Lowke is a Professor at the Department of Materials Engineering, Technical University of Munich. He specializes in materials and digital manufacturing in construction, focusing on 3D printing with concrete and clay, ecological material optimization, durability, circularity, and mobile robotics. Before joining TU Munich in 2023, he led the Building Materials Department at TU Braunschweig's Institute of Materials Science and Technology (iBMB) from 2017 to 2023 and was a board member of the Braunschweig Materials Testing Institute. He studied civil engineering at TU Cottbus and earned his doctorate from TU Munich. Academic Affiliation: Technical University of Munich Prior Employment: TU Braunschweig (2017-2023) His research emphasizes digital and sustainable construction, particularly through resource-efficient production and maintenance of mineral structures. He contributed to understanding the thixotropy of self-compacting concrete (SCC) and the zeta potential of cementitious suspensions. Recent work includes interlaboratory studies on 3D printed concrete properties and numerical modeling for particle bed 3D printing. He actively participates in RILEM conferences and co-edited proceedings on digital fabrication. Prof. Lowke's publications highlight advancements in selective cement activation, shotcrete 3D printing, and additive manufacturing applications for coastal biogenic structures. He investigates how process parameters affect material density, dimensional accuracy, and hardened state properties, aiming to enhance the practicality and sustainability of digital construction methods.

Alex Stomperمشاهده پروفایل

استاد

• Financial Economics
• Financial Distress
• Climate Finance
• +۹ مورد دیگر

Alex Stomper is a Professor of Finance at the Faculty of Business and Economics, Humboldt University of Berlin, and serves as Director of HU's Institute of Financial Economics. He is affiliated with the European Corporate Governance Institute (ECGI) and leads the ISQD research group, focusing on financial economics and its intersections with economics and policy. Education: University of Vienna (undergraduate and Habilitation, 2007) Stomper's research explores interactions between the financial system and the broader economy, including financial distress effects on small firms, financial structure impacts on non-financial industries, and bank loan market dynamics. He also investigates risks tied to weather, climate change, and policy frameworks for carbon pricing and public-sector financial economics. He contributes to academic literature in journals like Management Science , Review of Financial Studies , and PNAS , with themes spanning financial economics, asset pricing, and climate finance. His work increasingly emphasizes climate adaptation strategies and financial engineering opportunities. Stomper advises students in HU's extracurricular Portfolio Management Program (sponsored by ZZ Vermögensverwaltung) and teaches Financial Markets, Finance Theory, and PhD-level topics in climate finance. His teaching integrates academic insights, such as Brandt et al.'s optimization algorithms for equity portfolios. He supports policy initiatives, including mobilizing investments for carbon emission reductions in German residential real estate, collaborating with government and private institutions. His expertise bridges financial architecture, risk management, and climate policy.

• Aircraft Design
• Aeroelastics

Carlos Sebastia Saez, M.Sc., is a Researcher at the Chair of Aircraft Design (Prof. Hornung) at the Technical University of Munich in Garching b. München. His primary affiliations include research in aircraft design and aeroelastics, with active participation in the ProFla project. He utilizes institutional infrastructure such as the Flight Test Field and Flying Demonstrator Lab for experimental validation. Research Focus Sebastia Saez specializes in: Aircraft Design : Optimization of aerodynamic structures and fuel efficiency Aeroelastics : Dynamic interactions between inertial, elastic, and aerodynamic forces Publication Trends His recent work demonstrates a focus on aircraft performance enhancement through computational modeling and sensor technologies. Key themes include wing shape optimization (2024) and structural health monitoring systems (2021), emphasizing fuel efficiency and operational safety in aerospace systems. Laboratory Involvement He operates within the Chair's advanced facilities including System Integration Lab, Flying Demonstrator Lab, and Ground Control Station, supporting experimental validation of aircraft design concepts.

Ingo Kampenمشاهده پروفایل

پژوهشگر

• Particle Technology
• Biotechnology
• Pharmaceutical Engineering
• +۳ مورد دیگر

Dr. Ingo Kampen is a researcher and lecturer at the Institute for Particle Technology within the Faculty of Mechanical Engineering at Technische Universität Braunschweig. He serves as Head of Division for "Pharma and Bio Particle Technology" and has been leading the Research Group "Mechanical Biotechnology" since 2006. His academic background includes a doctoral degree (Dr.-Ing.) in 2005 with research on "Einfluss der Zellaufschlussmethode auf die Expanded Bed Chromatographie" (Influence of Cell Disruption Method on Expanded Bed Chromatography). He completed his studies in Biotechnology at TU Braunschweig between 1995 and 2001, following professional education as a chemical-technical assistant from 1992 to 1994. Dr. Kampen's research interests span across particle technology with applications in biotechnology and pharmaceutical engineering. His work focuses on: Mechanical properties of biological particles and cells Particle analysis in micro and nanometer ranges Process engineering for biotechnological applications Pharmaceutical particle technology Cell disruption methods and their effects Biomechanical characterization of microorganisms His publication record demonstrates significant contributions to understanding enzyme crystal mechanics, particle separation techniques, and the impact of mechanical processing on microbial systems. His research shows a strong interdisciplinary approach combining mechanical engineering principles with biotechnology and pharmaceutical sciences, with practical applications in drug formulation, probiotic production, and biocatalyst development. Dr. Kampen teaches several courses including "Grundlagen der Umweltschutztechnik" (Fundamentals of Environmental Protection Technology), "Mechanische Verfahrenstechnik" for biotechnologists, and specialized courses on microscopy and particle analysis in the micron and nanometer range.

Ross Bathgateمشاهده پروفایل

استاد

• Peptide-based Drug Development
• G Protein-coupled Receptor (GPCR) Research
• Structure-based Drug Design
• +۳ مورد دیگر

Professor Ross Bathgate is a leading academic at The Florey Institute and an Honorary Professorial Fellow in the Department of Biochemistry and Molecular Biology at the University of Melbourne. His research focuses on neuropeptide interactions with G protein-coupled receptors (GPCRs) for therapeutic drug design, particularly in the relaxin family of peptides . Key Projects: Developing relaxin analogs (B7-33, H3) for antifibrotic and pain treatments, INSL5 analogs for colon motility, and novel GPCR-targeting drugs. Research Impact: Over 250 publications, including Phase III clinical trials for relaxin in acute heart failure. Collaborations: Works with pharmaceutical companies on clinical development of relaxin and other peptide GPCR therapeutics. Notable Article Trends: Focus on structure-based drug design, GPCR dynamics, and translational applications for cardiovascular and gastrointestinal diseases. Labs & Teams: Leads the Neuropeptide Receptor Group at Parkville Campus, University of Melbourne, specializing in peptide-GPCR interactions.

Marcel Campenمشاهده پروفایل

استاد

• Computer Graphics
• Geometry Processing
• Surface Parametrization
• +۴ مورد دیگر

Marcel Campen is a Professor at Osnabrück University specializing in Computer Graphics and Geometry Processing. His research focuses on surface parametrization, quad mesh generation, and computational geometry. He has made significant contributions to the field of geometry processing, particularly in developing algorithms for quad layout generation, surface mapping, and mesh repair. His research interests span Computer Graphics, Geometry Processing, Surface Parametrization, Quad Mesh Generation, 3D Modeling, and Mesh Repair. Campen's work addresses fundamental challenges in representing and processing complex geometric shapes, with applications ranging from animation and simulation to reverse engineering and meshing. His research often combines theoretical insights with practical implementations, resulting in algorithms that are both mathematically sound and computationally efficient. Campen's publications demonstrate a strong focus on developing robust and efficient methods for geometry processing. His work on quad layout generation, parametrization techniques, and surface mapping has resulted in several award-winning papers, including Best Paper Awards at SGP 2021 and 2022. His research often bridges theoretical concepts with practical implementations, making his contributions highly influential in both academic and industrial settings. Best Paper Award (1st place) at SGP 2022 Best Paper Award at SGP 2021 Campen has made significant contributions to the field through his doctoral thesis on quad layout generation and numerous publications in top-tier conferences including SIGGRAPH, Eurographics, and SGP. His work on directional field synthesis, similarity maps, and bijective mappings has advanced the state of the art in geometry processing. He has also contributed to practical tools like libQEx for robust quad mesh extraction, demonstrating his commitment to making theoretical advances accessible to practitioners.

Boris Tolgمشاهده پروفایل

استاد

• Medical Simulation
• Virtual Reality Applications
• Mass Casualty Incident Training
• +۲ مورد دیگر

Boris Tolg is a Professor of Informatics and Mathematics at the Hamburg University of Applied Sciences , affiliated with the Faculty of Life Sciences and the Department of Biomedical Engineering. He leads the SIMLab and the Research and Transfer Centre for Medicine, Health, and Technology (FTZ MGT), while serving as Pro-Dean for Research and Digitalization. Research Focus: Simulation and virtual reality applications for mass casualty incident (MANV) training and medical education. Expertise: Digital monitoring systems, motion analysis in simulations, and combating simulator sickness. His recent work explores VR-based training tools for emergency response coordination, spine posture analysis sensors, and health impact assessments in urban planning. Publications emphasize scalable solutions for food safety control and digital transformation in healthcare education. Leadership: Chairs the Commission for Safeguarding Good Scientific Practice and contributes to organizations like the ARGH and GI.

Andreas Gernertمشاهده پروفایل

استادیار

• Sustainable Operations
• Supply Chain Management
• Game Theory
• +۴ مورد دیگر

Andreas Gernert is an Assistant Professor for Sustainable Operations at Kühne Logistics University (KLU) in Hamburg, Germany. Previously, he held post-doctoral positions at INSEAD (2020-2021) and research assistant roles at EBS University (2015-2019). He holds a PhD in Supply Chain Management from EBS University (2016-2019) and a Master of Science in Mathematics from Ulm University (2011-2013). Research Focus: Integrates Game Theory, Optimization, and Statistics to analyze sustainability challenges across supply chains, with emphasis on: Equity in health/humanitarian logistics (Syrian/Rohingya refugee crises) Business model innovation for ambulance systems in LMICs Supplier competition dynamics with financially distressed suppliers Child labor reduction in agricultural supply chains Teaching: Specializes in Operations Management and Sustainable Supply Chain Management , employing interactive case studies and educational simulations like the "Fish and Ships" game. Publications span leading journals including Decision Sciences , Production and Operations Management , and International Journal of Production Economics .

Arwen Pearsonمشاهده پروفایل

استاد

• Structural Biology
• Biophysics
• X-ray Crystallography
• +۶ مورد دیگر

Prof. Dr. Arwen Pearson serves as Group Leader of the Nanostructure and Solid State Physics Research Group at the University of Hamburg's Institute for Nanostructure and Solid State Physics within the Faculty of Mathematics, Informatics and Natural Sciences. She holds a professorship in Experimental Biophysics at the Hamburg Centre for Ultrafast Imaging. Her research spans structural biology and biophysics with emphasis on X-ray crystallography , structural enzymology , and time-resolved serial synchrotron methods . Pearson investigates protein dynamics including molecular breathing phenomena, allosteric communication in enzymes, and antibiotic resistance mechanisms. Her work integrates structural, kinetic, and thermodynamic approaches to study enzyme function under physiological conditions. Recent publications reveal strong focus on Time-resolved crystallography techniques for capturing biochemical movies Antibiotic resistance enzyme mechanisms SARS-CoV-2 protease inhibition Fluorescent protein photodynamics Protein crystallization methodologies Her team develops innovative methods like the HARE (hit-and-return) and LAMA (liquid application) approaches to simplify time-resolved studies. Scientific leadership includes: Professor of Experimental Biophysics at University of Hamburg (since 2014) Group leader within Hamburg Centre for Ultrafast Imaging Senior author on high-impact publications in Science, JACS, and Nature journals Pearson mentors junior research groups (Schulz, Mehrabi, Thorn) focusing on infection research, antibiotic resistance, and protein dynamics. Her team utilizes advanced facilities including PETRA-III synchrotron and European XFEL.

Fabian Fassnachtمشاهده پروفایل

استاد

• Remote Sensing in Ecology
• Forest Ecosystems
• Urban Vegetation Monitoring
• +۷ مورد دیگر

Prof. Dr. Fabian Fassnacht holds the Professorship for Remote Sensing and Geoinformatics at the Institute of Geographical Sciences, Freie Universität Berlin. His research focuses on applying remote sensing technologies to understand ecological patterns and processes in vegetation ecosystems, particularly forest systems and urban trees. He specializes in developing workflows for quantifying forest attributes and creating synthetic remote sensing data to improve ecological understanding and monitoring. Education: PhD in Forestry Sciences (University of Freiburg, 2010-2014) Key Projects: FORZA (forest decline analysis), INSANE (spatial forest products), ErWiN (wildfire dynamics), SYSSIFOSS (synthetic forest data), SaMovar (invasive species monitoring) Research Focus: Multi-scale vegetation monitoring, 3D forest modeling, upscaling ecological processes, and wildfire risk assessment using LiDAR and UAV technologies His work addresses critical challenges in remote sensing applications across diverse ecosystems, including semi-arid forests and temperate woodlands. He has coordinated numerous research initiatives funded by BMBF, DAAD, DFG, and other international agencies. Current efforts involve integrating deep learning with traditional remote sensing methods to enhance forest inventory models and ecological assessments.