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

• Software Engineering
• Computer Systems
• Software Security
• +۱۱ مورد دیگر

Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group . His research focuses on improving software reliability and security through practical techniques in software engineering, computer systems, and program analysis. Education: Ph.D. in Computer Science, Stanford University M.Eng. in Computer Science, MIT B.S. in Computer Science and Mathematics, MIT His research interests center on software engineering and software security , particularly symbolic execution , dynamic symbolic execution (DSE) , and multi-version execution . Current work explores techniques for scalability, constraint solving, and runtime security in software systems. Key trends in his recent articles include optimizing symbolic execution for testing, addressing path explosion in constraint-based test generation, and advancing multi-version execution for dynamic software updates. His publications also cover program analysis , automated testing , and formal methods for software reliability. Awarded prestigious honors such as the Humboldt Research Award (2024) , ERC Consolidator Grant (2018) , and IEEE New Directions Award (2022) . Other accolades include the BCS Roger Needham Award (2019) and SIGOPS Hall of Fame (2018) . Cadar supervises PhD and postdoctoral researchers in software reliability and security. His group has secured grants from the ERC and EPSRC , including a Consolidator Grant (2018) and Early-Career Fellowship (2013) . He actively contributes to conference organizing committees and editorial boards. The Software Reliability Group at Imperial College, led by Cadar, specializes in techniques like KLEE and EXE for automated testing. Their work has been adopted by industry partners such as Fujitsu, IBM, and Microsoft, particularly in runtime security tools like WIT .

• Cosmology
• Particle Physics
• Astrophysics
• +۶ مورد دیگر

Prof. Dr. Dominik Schwarz is a faculty member at the Faculty of Physics , Bielefeld University. His research focuses on Cosmology and Particle Physics , particularly in the areas of Dark Energy , Dark Matter , Cosmological Inflation , and Large-Scale Structure Formation . He contributes to projects like the International LOFAR Telescope Consortium and the SFB-TRR 211 on strongly interacting matter. APART Fellow of Austrian Academy of Sciences Humboldt Fellow CERN Fellow His recent work explores the cosmic dipole anisotropy , axion density perturbations , and multi-wavelength cosmic web mapping . He also advances data science infrastructure through the PUNCH4NFDI consortium.

• Learning Analytics
• Educational Technology
• Virtual Reality Education
• +۵ مورد دیگر

Ulrik Schroeder is a Universitätsprofessor (Full Professor) at RWTH Aachen University, leading the Chair of Learning Technologies within the Faculty of Computer Science. His research focuses on the intersection of educational technology, learning analytics, and immersive technologies with particular emphasis on practical implementations in higher education settings. Professor Schroeder's research spans multiple interconnected domains in educational technology. His primary interests include Learning Analytics implementation (particularly using xAPI standards), Virtual Reality applications for education, Open Educational Resources development and conversion, and gamification approaches for programming education. He has developed several notable tools including convOERter for OER conversion, WebWriter for creating explorable explanations, and various xAPI-based learning analytics infrastructures. His work consistently bridges theoretical frameworks with practical educational applications, often focusing on computer science education contexts. Analysis of his recent publications reveals a strong trend toward integrating Learning Analytics with immersive technologies, particularly Virtual Reality environments. His research demonstrates a systematic approach to educational technology development, with emphasis on scalability, interoperability through standards like xAPI, and practical implementation in real educational settings. The work increasingly focuses on personalized learning paths, quality assurance for educational resources, and privacy-conscious data collection. Co-editor of 21. Fachtagung Bildungstechnologien (DELFI) (2023) Co-editor of Hochschuldidaktik der Informatik HDI 2018 Co-editor of DeLFI 2018 conference proceedings Professor Schroeder has supervised numerous doctoral and postdoctoral researchers who frequently appear as co-authors on his publications, indicating an active research group. His projects often involve interdisciplinary collaborations across computer science, education, and psychology. Current major initiatives include the AIStudyBuddy project for study path analysis and the development of VR classroom simulations for teacher training. His research group, the Learning Technologies Innovation Lab, develops open research tools that support various aspects of educational technology research and implementation.

• Computer Architecture
• Non-Volatile Memory Systems
• Deep Learning Systems
• +۳ مورد دیگر

Jishen Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, San Diego (Jacobs School of Engineering). His research focuses on computer architecture, non-volatile memory systems, and deep learning acceleration. Dr. Zhao has published extensively in top venues including ISCA, MICRO, ASPLOS, and IEEE Transactions. He collaborates with researchers at UCSD and beyond to advance systems for emerging applications in AI and autonomous vehicles. Dr. Zhao's primary research areas include persistent memory systems, hardware/software co-design for deep learning, and safety-critical computing. He develops techniques for crash consistency, memory disaggregation, and efficient neural network deployment. His work on autonomous vehicles addresses scenario generation and perception-aware system design. Recent projects explore LLM applications for software engineering and hardware verification. Analysis of Dr. Zhao's 2024-2025 publications reveals a strong shift toward AI-integrated systems research. He applies large language models to tasks like RTL verification and software issue localization while continuing to innovate in memory systems for serverless computing. There is growing emphasis on safety-critical systems for autonomous vehicles and energy-efficient neural network training using novel hardware architectures. Information about Dr. Zhao's scientific awards, advising activities, grants, and laboratory facilities was not available in the provided documentation.

• Computational Pathology
• Medical Image Analysis
• Deep Learning
• +۴ مورد دیگر

Nasir M. Rajpoot is a Professor in the Department of Computer Science at the University of Warwick, UK. His research focuses on computational pathology, medical image analysis, and deep learning applications in histology. He leads interdisciplinary projects integrating artificial intelligence with healthcare, particularly in cancer diagnostics and pathology workflows. Rajpoot’s work emphasizes developing robust algorithms for histology image analysis, including nuclear segmentation, tumor classification, and domain generalization in computational pathology. His contributions include the TIAToolbox, an open-source framework for tissue image analytics, and the CoNIC Challenge to advance nuclear detection and counting in histology images. He collaborates with clinicians and biologists to translate AI models into clinical practice, addressing challenges like tumor heterogeneity and staining variability. Rajpoot’s research spans colorectal, lung, and oral cancers, with a focus on predicting clinical outcomes via histological features and genomic data integration. Notable projects include the development of Handcrafted Histological Transformer (H2T) for unsupervised representations of whole slide images and the SAFRON framework for histology image synthesis. His work addresses domain adaptation, robustness evaluation, and explainability in AI-driven pathology systems.

Benjamin Scott Flavelمشاهده پروفایل

استاد پژوهشی

• Carbon Nanotubes
• Nanotechnology
• Photovoltaics
• +۷ مورد دیگر

Dr. Benjamin Scott Flavel is a Research Group Leader at the Institute of Nanotechnology, Karlsruhe Institute of Technology (KIT), Germany. His research focuses on carbon nanotubes and their applications in photovoltaics and sensing technologies. He leads a dynamic research team conducting cutting-edge work on the separation, purification, and application of single- and double-walled carbon nanotubes. Education: Doctor of Philosophy (Chemistry), Flinders University, Australia, 2010 Bachelor of Science in Nanotechnology (Honors), Flinders University, Australia, 2005 Habilitation in Materials Science, Technische Universität Darmstadt, 2018 His research interests lie at the intersection of nanotechnology and energy materials, particularly in carbon nanotube-based solar cells , chirality-specific separation techniques , and nano-sensing devices . His group has pioneered methods such as ATPE for enantiomer sorting and developed innovative solar cell architectures with industrial relevance. The research spans fundamental charge transport mechanisms to applied device engineering. The publication record shows a strong trend in advancing carbon nanotube photovoltaics, with key contributions in interface engineering, scalable fabrication, and high-efficiency CNT:Si solar cells. Work also extends to spectroscopic characterization, alignment techniques, and software tools for data analysis. Scientific Awards: Heisenberg Program, DFG (2018) Emmy Noether Program, DFG (2013) Alexander von Humboldt Research Fellowship (2011) Australian Government Endeavor Research Fellowship (2009) Bloom-Gutmann Prize, Royal Australian Chemical Institute (2008) Hope Meeting, Japanese Society for the Promotion of Science (2008) Research Fellowship, Flinders University (2007) Dr. Flavel has successfully advised multiple PhD students, including Dr. Moritz Pfohl, Dr. Katherine Moore, and Dr. Daniel Tune. His research has been supported by significant grants from the German Research Foundation (DFG), including funding for a double-walled carbon nanotube project and an organic evaporation system (~320,000 EUR). Collaborations span institutions such as NIST, Freie Universität Berlin, University of Antwerp, McMaster University, and University of Sydney. The research group operates within the Institute of Nanotechnology at KIT, utilizing advanced infrastructure for nanomaterials synthesis, characterization, and device fabrication. The team is recognized internationally, with work featured in Open Access Government , Research Features , and Europhotonics , and covered by Nanotechweb.

• Data Visualization
• Scientometrics
• Science of Science
• +۴ مورد دیگر

Katy Börner is a Professor affiliated with Indiana University, Bloomington, USA. Her research focuses on data visualization, scientometrics, and the science of science, with contributions to tools like Network Workbench (NWB) and Sci2. She leads interdisciplinary projects such as the Human Reference Atlas and explores visualization literacy in education and public health. Her work spans virtual reality applications, biomedical knowledge networks, and AI-driven scientific discovery. Key research interests include mapping scientific collaboration networks, analyzing scholarly publications, and developing visualization frameworks for big data. She collaborates widely with institutions like NIH and VIVO, advancing open science and interdisciplinary research. Her projects often bridge computational methods with human-centric design, enhancing understanding of complex systems in health, technology, and social sciences. Publications highlight innovations in interactive visualization tools (e.g., opioid crisis research networks), data integration (Human Reference Atlas), and AI applications in biomedical research. She emphasizes translating data into actionable insights through visual analytics, impacting policy, education, and healthcare.

• Computer Science
• Software Engineering
• Artificial Intelligence
• +۵ مورد دیگر

Dongwoo Kim is a researcher affiliated with Hanyang University, ERICA Campus (Department of Electronics and Communication Engineering) and has previously collaborated with institutions like POSTECH , Chungnam National University , and Microsoft . His work spans interdisciplinary domains in Computer Science and Engineering . Hanyang University, ERICA Campus - Department of Electronics and Communication Engineering POSTECH - Power Analog Electronics & Semiconductor Devices Lab Microsoft Chungnam National University Kim's research focuses on formal verification of automotive control software, deep learning applications in environmental monitoring, 3D modeling for indoor positioning, and machine learning for signal processing. His recent publications highlight advancements in graph neural networks (GNNs), including analyzing oversmoothing and gradient dynamics, as well as developing geometric vision-language models with domain-agnostic encoders. His 15 most recent articles (2023-2025) address topics like: Optimizing hybrid electric vehicle engine performance 3D modeling for indoor localization GNN training stability UAV-based environmental monitoring Algorithm difficulty prediction for programming problems Millimeter-wave antenna design Kim collaborates with researchers in software engineering , signal processing , and environmental science domains. His work intersects formal methods , applied machine learning , and embedded systems research.

• Networked Systems
• Distributed Systems
• Social Computing
• +۵ مورد دیگر

Krishna Gummadi is a Scientific Director and Professor at the Max Planck Institute for Software Systems (MPI-SWS) in Germany, where he leads the Networked Systems Research Group. He also holds a professorship at the University of Saarland, demonstrating his dual commitment to research and academic instruction in computer science. His educational background includes: Ph.D. in Computer Science and Engineering from the University of Washington (2005) B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Madras (2000) Gummadi's research spans networked and distributed computer systems with a current focus on social computing systems. His work addresses critical challenges in algorithmic fairness, privacy in social media, trustworthiness of online identities, and information dissemination in social networks. He approaches these problems through interdisciplinary methods combining user-centric studies, data-centric analysis, and systems-centric design to create practical solutions that enhance fairness, transparency, and user control in online platforms. His methodology integrates large-scale observational studies, computational modeling, and system implementation to tackle complex human-computer interaction challenges at societal scale. His recent publications reveal a strong emphasis on fairness in algorithmic decision making, with significant contributions to quantifying and addressing discrimination in machine learning systems. His work bridges computer science, social science, and ethics, creating frameworks for fair classification, understanding media bias, and developing privacy-preserving techniques that maintain functionality while protecting user data. The research demonstrates a progression from technical system design to addressing societal implications of computing systems. Among his notable scientific achievements: ERC Advanced Grant in 2017 for 'Foundations for Fair Social Computing' Test of Time Awards at ACM SIGCOMM and AAAI ICWSM Casper Bowden Privacy Enhancing Technologies (PET) and CNIL-INRIA Privacy Runners-Up Awards IW3C2 WWW Best Paper Honorable Mention Multiple Best Paper awards across prestigious conferences Gummadi has advised numerous PhD students and postdoctoral researchers who have gone on to prominent positions in academia and industry. His ERC Advanced Grant has supported extensive research into fair social computing, while his leadership in major conferences (including serving as General Chair for ICWSM 2016 and Program Chair for WWW 2015) has shaped research directions in the field. His teaching portfolio includes courses on Distributed Systems, Human-Centered Machine Learning, and Social Media Analysis. He leads the Networked Systems Research Group at MPI-SWS, which has developed several publicly available systems including tools for fair classification, privacy risk assessment, trust evaluation in social media, and information diet management. The group's work bridges theoretical advances with practical implementations that address real-world challenges in social computing, with numerous software releases and datasets made available to the research community.

Anett Hoppeمشاهده پروفایل

پژوهشگر

• Search as Learning
• Educational Technology
• Artificial Intelligence in Education
• +۵ مورد دیگر

Dr. Anett Hoppe is a research staff member at the Leibniz Information Centre for Science and Technology (TIB) in Hannover, Germany, where she works in the Visual Analytics research group. Her research focuses on the intersection of artificial intelligence, education technology, and information science, with particular emphasis on how people learn through search processes and educational video consumption. Dr. Hoppe completed her academic journey with: Ph.D. in Semantic Web technologies for online user profiles from the University of Burgundy, Dijon, France Her primary research interests span Search as Learning, software-based support for scientific reproducibility, and ethical considerations in computer-based decision making. She investigates how visual elements, reading sequences, and AI technologies impact knowledge acquisition during web search and educational video consumption. Her work bridges human-computer interaction, educational psychology, and information retrieval to create more effective learning experiences, with recent publications examining the role of large language models, vision-language models, and visual complexity in educational contexts. Analysis of her recent publications (2024-2025) reveals a strong interdisciplinary focus combining computer science, educational psychology, and information science. Her research examines video-based learning effectiveness, knowledge gain prediction, educational resource discovery, and the impact of visual elements on learning outcomes. She consistently explores how AI technologies can be leveraged to enhance educational experiences while maintaining attention to ethical considerations and scientific reproducibility. Dr. Hoppe maintains active collaborations with researchers across multiple institutions, with frequent co-authorship patterns indicating strong research partnerships, particularly with Ralph Ewerth and other members of the Visual Analytics group at TIB. Her work supports TIB's mission to advance knowledge infrastructure and scholarly communication through innovative technological solutions while directly addressing practical challenges in educational technology and information retrieval.

• Neuromorphic Computing
• Hardware Accelerators
• VLSI Circuits
• +۵ مورد دیگر

Prof. Dr. Tobias Gemmeke is a University Professor at RWTH Aachen University's Faculty of Electrical Engineering and Information Technology, leading the Chair of Integrated Digital Systems and Circuit Design. His work focuses on neuromorphic computing, hardware accelerators, and energy-efficient electronics. He has pioneered advancements in FPGA-based computational neuroscience simulators, neuromorphic processor architectures, and sensor integration for industrial and medical applications. Research interests include time-domain computing, ReRAM reliability, and co-optimization of neural networks with hardware. Notable contributions include the neuroAIx framework for accelerated neuroscience simulations and energy-efficient ASIC designs for post-quantum cryptography. He actively explores memristive devices and domain generalization techniques for edge computing. Recent publications highlight innovations in spiking neural networks, sensor systems for plain bearings, and time-domain compute-in-memory engines. His work bridges theoretical neuroscience with practical hardware implementations, emphasizing scalability and real-time performance.

Oliver Hohlfeldمشاهده پروفایل

استاد

• Network Security
• Network Measurements
• Internet Architecture
• +۹ مورد دیگر

Oliver Hohlfeld is a Professor at the University of Kassel, where he leads the Distributed Systems group. He previously held academic positions at Brandenburg University of Technology and RWTH Aachen University, and was a visiting scholar at the University of Wisconsin–Madison. His research focuses on network security, Internet measurements, and Quality of Experience (QoE). He completed his Ph.D. in Computer Science at TU Berlin under Anja Feldmann and holds a B.Sc. and M.Sc. from Darmstadt University of Technology. He also worked at Fraunhofer IGD on telemedical network architectures. His research adopts a data-driven approach, combining large-scale Internet measurements, user studies, and machine learning to understand and improve Internet performance and security. Key areas include DDoS detection, QUIC, HTTP/2, TLS deployment, and BGP analysis. He investigates how protocols like QUIC and HTTP/2 impact user experience and network efficiency, often through empirical studies of real-world deployments. His recent publications highlight a strong trend in network security and protocol analysis, with significant work on DDoS attacks, traffic ingress detection, and web consolidation. He also explores social media dynamics and censorship circumvention through user reviews. 2022 IETF/IRTF Applied Networking Research Prize Best of CCR (2021) for TLS 1.3 deployment study ACM Senior Member (2020) IEEE QoMEX 2019 Best Reviewer Award ACM IMC Community Contribution Award (2018) He has advised numerous Master’s and Bachelor’s students, primarily at RWTH Aachen, and has been a principal investigator in major projects such as AIDOS (AI-based DDoS mitigation), DFG SFB MAKI, COMTEX, and the EU-funded SSICLOPS. He actively serves on the technical program committees of top-tier conferences including SIGCOMM, NSDI, IMC, and CoNEXT, and is a frequent reviewer for leading journals in networking and systems. He leads the Distributed Systems group at the University of Kassel, which conducts research on Internet observability, secure infrastructures, and scalable networking solutions.

• Information Systems
• Data Management
• Semantic Web
• +۵ مورد دیگر

Thomas Riechert is a Professor at the Leipzig University of Applied Sciences (HTWK Leipzig), specifically within the Faculty of Computer Science and Media. He serves as Dean of Media Informatics, Chairman of the Media Informatics Study Commission, and Academic Advisor for Media Informatics. Additionally, he is a Member of the Faculty Council, Faculty representative in the IT committee, and Library Commission. He also acts as Spokesperson of the Institute of Computer Science at the HTWK. Appointed in 2014 in the field of information systems and data management, Riechert holds a doctorate from the University of Leipzig (2012, magna cum laude) and graduated as a computer scientist from TU Dresden in 2000. Professor Riechert's research focuses on information systems, data management, Semantic Web technologies, knowledge engineering, and Linked Data. His work bridges computer science with digital humanities, particularly in creating knowledge graphs for historical research. He has made significant contributions to RDF vocabulary management, ontology editing tools, and academic history databases. His research demonstrates a strong emphasis on practical applications of semantic technologies in information management systems. Analysis of his recent publications reveals a consistent trajectory in semantic web technologies applied to knowledge representation and historical data. His work shows progression from foundational semantic technologies toward increasingly sophisticated applications in digital humanities, particularly in academic history research. The Heloise project appears to be a major focus, developing common research models for collaborative historical research using Linked Open Data. His publications span both technical aspects of semantic technologies and their application in humanities contexts. Professor Riechert actively contributes to academic community building through conference organization and student engagement. His leadership roles in the Faculty of Computer Science and Media demonstrate his commitment to shaping computer science education. His research integrates practical software development with theoretical advancements in knowledge representation. As Dean of Media Informatics, Riechert oversees academic programs and research initiatives in this field. His work with the Heloise network demonstrates leadership in interdisciplinary research connecting computer science with historical scholarship. His office hours are held on Mondays from 10:00 to 11:00 in room ZU 407 at HTWK Leipzig.

Todd Millsteinمشاهده پروفایل

استاد

• Software Reliability
• Network Verification
• Programming Languages
• +۵ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

• Geomechanics
• Geophysics
• Numerical Modeling
• +۵ مورد دیگر

Dr. Moritz Ziegler is a geomechanics researcher affiliated with the Technical University of Munich (TUM) and the Assistant Professorship of Geothermal Technologies . He previously worked at GFZ Potsdam (2017–2023) and earned his PhD in Geophysics from the University of Potsdam (2014–2017). His research focuses on geomechanical numerical modeling , uncertainty quantification , and 3D stress field analysis , with applications to geothermal energy, seismic hazard, and rock mechanics. Education: Bachelor of Science in Geosciences (2008–2011), Freie Universität Berlin Master of Science in Geophysics (2011–2014), University of Potsdam PhD in Geophysics (2014–2017), University of Potsdam & GFZ Potsdam His work integrates advanced computational methods ( Altair Hypermesh , Dassault Systèmes Abaqus , Python , Matlab ) to address complex geomechanical problems. Recent publications analyze stress gradients in the North Alpine Foreland Basin, fault-stress interactions, and physics-based machine learning in geomechanics. He has contributed to software development (DOuGLAS v1.0) and calibration tools (FAST Calibration v2.4). Scientific awards or honors are not explicitly mentioned in the provided text. However, his research has been published in leading journals such as Geophysical Journal International , Solid Earth , and Pure and Applied Geophysics .