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

Teresa Head-Gordonمشاهده پروفایل

استاد

• Biomaterials
• Nanotechnology
• Computational Biology
• +۹ مورد دیگر

Teresa Head-Gordon is a Professor at the University of California, Berkeley, with affiliations in the Department of Chemistry and the Departments of Bioengineering and Chemical & Biomolecular Engineering . Her research spans interdisciplinary domains at the intersection of chemistry, bioengineering, and computational science . Research Areas: Biomaterials & Nanotechnology , Computational Biology The Head-Gordon lab focuses on developing computational models and methodologies for molecular liquids, macromolecular assemblies, protein biophysics, and catalysis (both chemical and biological). Her group also advances accelerated sampling methods , multiscale techniques , and machine learning approaches, with software tools widely disseminated for high-performance computing platforms. Her work bridges nanochemistry , biomolecular engineering , and data-driven scientific computing , emphasizing scalable solutions for complex chemical systems.

• Software Engineering
• Defect Prediction
• Automatic Software Repair
• +۳ مورد دیگر

Tracy Hall is Professor in Software Engineering at Lancaster University's School of Computing and Communications, where she holds a Chair in Software Engineering Research and serves as Director of Post Graduate Teaching. Previously, she was Professor and Head of Computer Science at Brunel University London, and has held visiting positions at University College London and adjunct roles at the University of Oslo. With over 20 years of empirical software engineering research experience, she maintains extensive industrial collaborations. Her research focuses on: Software defect prediction and automatic repair Code analysis methodologies Software testing frameworks Human factors in software development Empirical studies of developer behavior Tool development for software engineers She leads research in automated defect repair techniques and vulnerability prediction, with recent work exploring AI-driven approaches to software quality improvement. Her publication portfolio (100+ papers) shows consistent focus on software quality enhancement, with recent emphasis on explainable AI for vulnerability prediction (2025), developer-centric testing tools (2024), and human factors in bug resolution (2022). Research frequently involves large-scale empirical studies and industry partnerships. Awards include multiple best paper awards for her contributions to software engineering research. As Principal Investigator, she secured significant funding including: EPSRC Fixie project: £400,000 for defect prediction/repair (2018-2020) EPSRC Fault Analysis grant: £128,578 (2016-2019) Current PhD supervisees include Gaz Bennett, Jesse Phillips, and Miles Walker working on software engineering challenges. She contributes to the Cyber Security Research Centre , Security Lancaster , and DSI-Foundations research groups. Teaches courses on IT Architecture and Software Studio.

Eduard Kamburjanمشاهده پروفایل

پژوهشگر

• Digital Twins
• Formal Methods
• Hybrid Systems Verification
• +۵ مورد دیگر

Eduard Kamburjan is a Researcher at the University of Oslo , affiliated with the Reliable Systems (PSY) and Data and Knowledge Systems (DKM) research groups. His work bridges formal methods , digital twin engineering , and knowledge graph applications . Research interests include: Formal verification of hybrid systems using deductive methods Digital twin architecture with compositional correctness guarantees Semantic lifting and ontology-driven modeling for complex systems Concurrency analysis and non-determinism in program verification Interactive visualization as serious games for formal methods His 2024-2023 publications demonstrate expertise in digital twin reconfiguration , semantic interoperability , and knowledge-based runtime enforcement . Key contributions include Crowbar for active object verification and ABS simulator toolchain for model-driven engineering. Collaborations span institutions like Springer , ACM , and IEEE , with work featured in Lecture Notes in Computer Science (LNCS) , Software and Systems Modeling (SoSyM) , and Science of Computer Programming . His research integrates RDF data management , behavioral contracts , and modular analysis for distributed systems.

• Traffic Data Acquisition
• Traffic Data Analysis
• Video-Based Microscopic Traffic Flow Simulation
• +۲ مورد دیگر

Dr. Adrian Fazekas is a Lecturer at the Institute of Highway Engineering, RWTH Aachen University, and collaborates with the Federal Highway Research Institute (BASt). He holds a Dr.-Ing. in Computer Science from RWTH Aachen (2005–2011), specializing in Media Engineering. His professional trajectory includes roles as a Research Assistant at RWTH Aachen and industry experience as a Software Developer at Continental AG. Research interests focus on traffic data acquisition , microscopic traffic flow simulation , and intelligent transportation systems . Key projects include: DROVA: Drone-based traffic analysis for infrastructure optimization ESIMAS: Real-time tunnel safety management Digital Twin Road: Physical-informational mapping of future highways AUTUKAR: Automated tunnel monitoring systems His publications emphasize real-time traffic detection , safety analytics , and data-driven modeling , with recent work exploring thermal-camera nudging systems and weigh-in-motion accuracy. He actively contributes to the Research Association for Roads, Earth and Tunneling (SETAC). No awards or student advising roles are documented.

Chadi Barakatمشاهده پروفایل

پژوهشگر

• Internet Measurement
• Network Traffic Analysis
• Quality of Experience (QoE)
• +۳ مورد دیگر

Chadi Barakat is a Senior Researcher (Directeur de Recherche) at Université Côte d'Azur's Inria research center, leading the DIANA project-team. He holds a PhD in Computer Science from University of Nice Sophia Antipolis (2001) and Habilitation (HDR) in 2009, with academic credentials from Lebanese University (1997) and French institutions. PhD: Computer Science (2001), University of Nice Sophia Antipolis HDR: Computer Science (2009), University of Nice Sophia Antipolis Master's: Computer Science (1998), University of Nice Sophia Antipolis BSc: Electrical & Electronics Engineering (1997), Lebanese University His research focuses on Internet measurement and traffic analysis , with significant contributions to Quality of Experience (QoE) modeling, 5G/ICN/SDN network architectures , and network performance evaluation . Recent articles highlight browser-based network monitoring, fidelity-aware network emulation, and ray tracing optimization for radio frequency mapping. He has supervised 12 PhD students to completion and currently directs the Academy of Excellence 'Networks, Information, and Digital Society' at Université Côte d'Azur. His work has received multiple best paper awards at CNSM, CloudNet, and SECON conferences, while serving as associate editor for Elsevier Computer Networks journal and active in ACM/IEEE conference committees. Director, Academy of Excellence 'Networks, Information, and Digital Society' (2025-present) Senior IEEE Member (2010) & ACM Senior Member (2018) General Co-Chair: ACM IMC 2022, ACM CoNEXT 2012 Guest Editor: IEEE JSAC special issue on Internet Sampling

Alvaro Köhn-Luqueمشاهده پروفایل

دانشیار

• Mathematical Oncology
• Computational Biology
• Biostatistics
• +۷ مورد دیگر

Alvaro Köhn-Luque is an Associate Professor at the Oslo Center for Biostatistics and Epidemiology, University of Oslo, and Group Leader at the Department of Medical Genetics, Oslo University Hospital. His work bridges mathematical modeling with clinical applications, particularly in cancer research. His academic background includes a PhD in Mathematical and Computational Biology from Complutense University of Madrid (2012), preceded by multiple Master's degrees in Mathematics and Physics from Spanish universities. Dr. Köhn-Luque's research focuses on mathematical oncology , developing computational models to understand cancer dynamics and improve treatment strategies. His work spans multiscale modeling of tumor growth, personalized cancer medicine through computer simulations, and biomarker discovery using machine learning approaches. He has made significant contributions to modeling breast cancer progression and treatment response, particularly in the context of endocrine therapy and CDK4/6 inhibition. His recent publications demonstrate a strong trend toward integrating mechanistic learning approaches that combine mathematical models with machine learning techniques. This hybrid methodology allows for more accurate prediction of treatment outcomes while maintaining biological interpretability. His work frequently involves collaboration with clinical researchers to ensure models are grounded in real patient data and have direct translational potential. Computational modeling of tumor heterogeneity and drug response Development of methods for phenotypic deconvolution in cancer cell populations Integration of multi-omics data for personalized treatment prediction Application of birth-death processes to model tumor evolution Creation of user-friendly computational tools for biomedical researchers Dr. Köhn-Luque has supervised multiple PhD students including Even M Myklebust, Salim Ghannoum, and Xiaoran Lai, and has secured funding for projects including RESCUE, BigInsight, and Integreat. His research demonstrates a consistent trajectory from theoretical mathematical biology toward increasingly clinically relevant applications in personalized cancer medicine.

Katharina Eggenspergerمشاهده پروفایل

پژوهشگر

• Automated Machine Learning (AutoML)
• Hyperparameter Optimization (HPO)
• Tabular Machine Learning
• +۱ مورد دیگر

Katharina Eggensperger is an Early Career Research Group Leader at the University of Tübingen , leading the AutoML for Science group within the Cluster of Excellence Machine Learning for Science . She previously completed her Ph.D. at the University of Freiburg under Frank Hutter and Marius Lindauer (2022), and actively contributes to the AutoML community through open-source tool development and competition leadership. Co-developer of AutoML.org tools Faculty member of IMPRS-IS Chair for multiple AutoML workshops/conferences (2019-2025) Her research focuses on automated machine learning (AutoML) with specific attention to: AutoML Systems Hyperparameter Optimization Tabular Machine Learning Scientific Applications of ML She has organized multiple AutoML schools and conferences, including serving as Program Chair for AutoML 2024 and Non-archival Track Chair for AutoML 2025. Her work emphasizes making machine learning accessible through automation while maintaining scientific rigor and interpretability, particularly for tabular data applications. Katharina actively recruits PhD students through IMPRS-IS and collaborates with institutions like the University of Freiburg and Cyber Valley .

Kelly Lyonsمشاهده پروفایل

استاد

• Service Science
• Data Science
• Social Media
• +۴ مورد دیگر

Professor Kelly Lyons is a Professor at the Faculty of Information at the University of Toronto, cross-appointed to the Department of Computer Science. Her research focuses on service science, knowledge mobilization, social media, and data-driven innovation. Prior to academia, she held roles at IBM Toronto Lab's Centre for Advanced Studies. She has secured extensive funding from NSERC, IBM, and industry partnerships, and has advised numerous graduate students. Her work bridges interdisciplinary collaboration, emphasizing AI governance, digital economy impacts, and fostering Women in Technology initiatives. Research interests include the application of social platforms in service systems, data science for knowledge translation, and the societal implications of AI. Key projects involve analyzing gender dynamics in user reviews, open-source software structures, and pandemic-driven innovation trends. Her grants span data science, healthcare analytics, and smart city technologies. Publications span empirical studies on GitHub collaboration, AI governance frameworks, and biomedical knowledge systems. She received the Best Paper Award for 'The Effect of Collaborative Games on Group Work' (2015). Her teaching emphasizes service systems design and project management, with a focus on practical, interdisciplinary learning. Active in scholarly service, she chairs the Consortium for Software Engineering Research and serves on ACM-W's Executive Council. Collaborations include cross-institutional projects with University College London and UCL on AI governance frameworks. Her work extends to promoting STEM education and diversity in tech.

Matt J. Rutherfordمشاهده پروفایل

دانشیار

• Autonomous Systems
• Embedded Systems
• Software Engineering
• +۳ مورد دیگر

Matt J. Rutherford is an Associate Professor in the Department of Computer Science at the University of Denver, with a joint appointment in the Department of Electrical and Computer Engineering. He is Deputy Director of the Unmanned Systems Research Institute and a faculty fellow of Project X-ITE. His research focuses on autonomous systems, embedded systems, and software engineering, with extensive contributions to UAV navigation, control systems, and robotics. Rutherford holds a Ph.D. in Computer Science from the University of Colorado Boulder (2006), an MS (2001), and a BS in Civil Engineering from Princeton University (1996). His work emphasizes practical applications of software engineering principles in distributed and embedded systems. Notable projects include radar-based collision avoidance for UAVs, self-leveling landing platforms, and studies on electric vehicle charging impacts on power grids. Rutherford's research bridges theoretical computer science with real-world engineering challenges, particularly in unmanned systems and robotic autonomy. Key publications explore UAV flight control using neural networks, ground/ceiling effects in rotorcraft, and GPU-based real-time pose estimation. His contributions to model-driven systems and distributed testbed automation highlight long-term engagement with software reliability and scalable experimentation frameworks. Rutherford collaborates widely, including with institutions like the University of South Carolina and Politecnico di Torino. His interdisciplinary approach integrates robotics, aerospace engineering, and software engineering to advance autonomous system capabilities.

• Cyber-physical system security
• Threat modelling
• Critical infrastructure resilience
• +۳ مورد دیگر

Dr. Carmen Cheh is a Research Scientist in the Department of Computer Science at the University of Illinois at Urbana-Champaign. She holds a Ph.D. in Computer Science from UIUC and a Bachelor of Computing (Hons) from the National University of Singapore. Her research focuses on cyber-physical system security, threat modeling, and critical infrastructure resilience. She has served as Co-Principal Investigator on two major grants: the 2023-2024 project on threat modeling for government systems and the 2022-2025 initiative on real-time fraud detection in e-commerce platforms. Her work bridges theoretical computer security with practical applications in critical infrastructure protection. Dr. Cheh has contributed to tools like CyberSAGE, which aids in automated security argument evaluation, and frameworks for detecting business logic flaws in software systems. She collaborates extensively with industry and government entities to advance cybersecurity practices in both digital and physical domains. Education: Ph.D., Computer Science, University of Illinois at Urbana-Champaign Bachelor of Computing (Hons), National University of Singapore Her research interests emphasize real-world security challenges in interconnected systems, including automated threat modeling, vulnerability discovery in business logic, and compliance frameworks for financial services. She has pioneered constraint-based methodologies for identifying security flaws in complex systems and developed novel approaches to insider threat detection using physical access data. Recent work explores the intersection of machine learning and cybersecurity in fraud detection systems. Her publications span top venues like ACM Transactions on Modeling and Computer Simulation, IEEE Secure Development Conference, and the IEEE International Conference on Computer Communications. Collaborations include projects with institutions like Argonne National Laboratory and the National Science Foundation.

Maya Danevaمشاهده پروفایل

دانشیار

• Requirements Engineering
• Cybersecurity
• Software Engineering
• +۳ مورد دیگر

Maya Daneva is an Associate Professor at the University of Twente's Digital Society Institute and part of the Semantics, Cybersecurity & Services research group. With over 200 research outputs, her work focuses on Requirements Engineering , Cybersecurity , and Agile Methodologies , particularly in digital transformation and enterprise systems. Academic Role: Associate Professor in Computer Science Institution: University of Twente Her research spans Model-Driven Engineering , security risk mitigation, and quality requirements prioritization, often employing empirical studies and systematic reviews. Recent articles explore phishing detection ontologies (2025), secure data storage architectures (2024), and digital consulting service modeling (2024). Scientific Awards: CBI 2021 Best Paper Award for work on digital IT consulting platforms EMMSAD 2025 Best Paper Award for phishing attack modeling She actively organizes academic events, serves on editorial boards (e.g., Empirical Software Engineering ), and contributes to conference peer-review, reflecting her leadership in the field.

Jaco van de Polمشاهده پروفایل

استاد

• Model Checking
• Formal Methods
• Computer Science
• +۳ مورد دیگر

Jaco van de Pol is a Full Professor of Computer Science at Aarhus University, holding dual roles in the Digital Society Institute and Formal Methods and Tools. He earned his PhD from Utrecht University in 1996, specializing in Termination of Higher-order Rewrite Systems, and a Master's in Computer Science (Term Rewriting) in 1992. His research focuses on model checking, formal methods, algorithms, and automated verification, contributing to UN Sustainable Development Goals related to innovation and education. Education: PhD, Termination of Higher-order Rewrite Systems, Utrecht University (1996) Master's in Computer Science (Term Rewriting), Utrecht University (1992) Research Interests: His work spans model checking, formal verification, parallel algorithms, and their applications in software engineering and bioengineering. He emphasizes practical formal methods, such as SCC algorithms and timed automata analysis, to solve complex computational challenges. Awards: Best Paper Award SPIN 2017 (2017) Best Student Paper Award (2018) Advising & Grants: Supervised 12 students and contributed to collaborative projects in formal methods and computational biology. His research has been applied to areas like cartilage phenotype modeling and parallel algorithm design. Labs/Teams: Engages with interdisciplinary teams, including computational biology and distributed systems groups, to advance formal methods in practical contexts.

Bharanidharan Shanmugamمشاهده پروفایل

دانشیار

• IoT Security
• Cyber Risk Management
• Network Security
• +۳ مورد دیگر

Dr. Bharanidharan Shanmugam is an Associate Professor in Information Technology at Charles Darwin University's Faculty of Science and Technology. He specializes in cybersecurity, IoT security, and cyber risk management in microgrids. His research focuses on addressing real-world challenges in IoT, smart grids, and medical devices to enhance community impact. **Research Interests:** - IoT Security - Cyber Risk Assessment in Microgrids - Network and Information Security - Applied Cybersecurity Solutions - Blockchain and Privacy-Preserving Technologies **Key Projects (2019–2025):** - Cyber Territory Skills Hub (2023–2025) - Renewable Energy Microgrid Hub (2021–2024) - Blockchain-Based Digital Identity (2019–2020) **Publications:** Focuses on IoT security frameworks, intrusion detection systems, and AI-driven cybersecurity solutions. Recent works include studies on smart grid load forecasting, medical IoT threat detection, and water leakage detection using machine learning. **Grants & Supervision:** Principal Investigator on multiple ARC-funded projects. Supervises PhD students in DevSecOps and IoT security. Active in organizing workshops on digital awareness for indigenous communities.

Rocco OLIVETOمشاهده پروفایل

استاد

• Software Engineering
• Artificial Intelligence
• Machine Learning
• +۷ مورد دیگر

Prof. Rocco OLIVETO is a Full Professor at the University of Molise, affiliated with the School of Biosciences and Territory. His research spans software engineering, artificial intelligence, cybersecurity, and healthcare technology. He focuses on empirical studies of developer practices, AI-driven code analysis, vulnerability detection in smart contracts, and human-centric computing. His work also addresses challenges in game development, mobile app optimization, and wearable health monitoring systems. Notable research areas include code readability assessment, machine learning applications in healthcare diagnostics, and the effectiveness of AI tools like GitHub Copilot. He has contributed to projects like QualAI (continuous quality improvement for AI systems) and 2Vita-B (cognitive and physical rehabilitation systems). His empirical studies often bridge academic research with real-world developer workflows, emphasizing practical applicability. Prof. Oliveto's recent work explores topics such as automated gameplay analysis for game debugging, detection of engagement issues in video games, and robust methods for identifying security vulnerabilities. He has also investigated Dockerfile quality, developer frustration metrics, and the ethical implications of AI in administrative document simplification.

Jack Mostowمشاهده پروفایل

استاد پژوهشی

• Educational Technology
• Artificial Intelligence
• Natural Language Processing
• +۳ مورد دیگر

Jack Mostow is a Research Professor affiliated with the Human-Computer Interaction Institute at Carnegie Mellon University. His work focuses on educational technology, artificial intelligence, and natural language processing. He is renowned for developing Project LISTEN's automated reading tutor that listens to children's oral reading, integrating speech recognition and machine learning to improve literacy. His research addresses challenges in child literacy, automated assessment, and the application of AI in education. Key contributions include advancing speech recognition accuracy for children’s voices, designing adaptive tutoring systems, and exploring EEG and visual features to gauge learning states. He has contributed to global education initiatives, such as the XPRIZE field study, and developed tools for iterative improvement of intelligent tutoring systems. His work emphasizes scalable educational technologies for under-resourced regions and data-driven approaches to enhance learning outcomes. Mostow’s publications span over two decades, addressing topics like reinforcement learning for instructional policies, semi-supervised affect perception, and difficulty-controllable question generation. His research bridges AI, education, and human-computer interaction, aiming to create systems that adapt to learners’ needs while advancing computational methods for educational analytics.