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

Sarah E. Chasinsمشاهده پروفایل

استادیار

• Programming Languages
• Human-Computer Interaction
• Program Synthesis
• +۳ مورد دیگر

Sarah E. Chasins is an Assistant Professor at the University of California at Berkeley , affiliated with the College of Engineering and Department of Electrical Engineering and Computer Sciences . She leads the PLAIT Lab (Programming Languages for Approachable and Inclusive Tools), with additional affiliations at the Berkeley Institute for Data Science (BIDS) and collaborations across disciplines. Her research focuses on democratizing programming through Program synthesis Human-Computer Interaction for programming languages Tools for non-traditional programmers Embedded domain-specific language design Web automation frameworks She has developed systems like Ringer for browser automation and Skip Blocks for execution history reuse. Recent publications highlight trends in Direct manipulation programming Synthesis-backed refactoring Sequence-to-tree code search DSL usability for domain experts Functional programming practices Web script optimization She has advised numerous graduate and undergraduate researchers, including: Current PhD students: Justin Lubin, Eric Rawn, Parker Ziegler Alumni: Gabriel Matute (MSc), Rebecca Hicke (undergraduate) Her service includes committee roles at top conferences like OOPSLA, PLDI, and PLATEAU, as well as teaching courses on CS164: Programming Languages and Compilers CS294-184: Building User-Centered Programming Tools CS39-001: Technology, Society, and Power

Dag Sjøbergمشاهده پروفایل

استاد

• Software Engineering
• System Development
• IT Systems
• +۱۲ مورد دیگر

Dag Sjøberg is a Professor at the Department of Informatics (Ifi), University of Oslo . He also holds a part-time position at SINTEF Digital . His research focuses on empirical software engineering with emphasis on development processes , agile methodologies , technical debt , and programming skill assessment . Research Interests: Empirical methods (controlled experiments, case studies) Construct validity frameworks Agile and Lean practices Microservices architecture Software quality and maintainability Scientific Achievements: Led Simula Research Laboratory's Software Engineering department ranked #1 globally (2004-2008) Developed Guidelines for Construct Validity in software engineering research Extensive publication record in top venues like IEEE Transactions and Journal of Systems and Software Academic Background: Cand.scient. in Informatics (University of Oslo, 1987) PhD in Software Engineering (University of Glasgow, 1993) Professional Involvement: Co-founder and board member of three IT companies Former research director at Simula Research Laboratory (2001-2008) Current head of the Programming and Software Engineering research section at Ifi

• Programming Languages
• Refactoring
• Parallel Programming
• +۵ مورد دیگر

Dr. Christopher Mark Brown is a Lecturer in the School of Computer Science at the University of St Andrews. He holds a PhD in Computer Science from the University of Kent. His research focuses on programming languages, parallelism, and energy-efficient software development, with a particular emphasis on refactoring techniques and their application to embedded systems. **Education**: Doctor of Philosophy (2010), University of Kent, specializing in Tool Support for Refactoring Haskell Programs. **Research Interests**: Parallel programming, refactoring tools (e.g., ParaFormance), energy-aware applications, and compiler optimizations. He leads EPSRC-funded projects like Energise (2021–2024) and EU-funded TeamPlay (2018–2021), developing energy-efficient parallel programming frameworks. His work contributes to Sustainable Development Goals related to energy efficiency and innovation. **Teaching**: Undergraduate courses include CS3050 Logic and Reasoning, CS4201 Programming Language Design, and CS4204 Concurrency. Postgraduate modules include CS5031 Software Engineering Practice. **Grants & Projects**: Principal Investigator on EPSRC Energise (refactorings for energy optimization) and EU TeamPlay (non-functional properties in parallel software). Developed open-source tools like Skel (Erlang parallel patterns) and ParaFormance (C/C++ refactoring). **Labs/Teams**: Member of the Programming Languages Group at St Andrews. Collaborates on commercializing refactoring tools through spin-out ventures.

Mark Lawfordمشاهده پروفایل

استاد

• Software engineering
• Safety critical systems
• Digital & Smart Systems
• +۳ مورد دیگر

Mark Lawford is a Professor in the Department of Computing and Software at McMaster University's Faculty of Engineering. His expertise spans software engineering, safety critical systems, and model-based development, with a focus on digital & smart systems and transportation research clusters. Contact: Email: lawford@mcmaster.ca Website: www.cas.mcmaster.ca/~lawford His research explores automotive systems , formal verification , and model-driven engineering , particularly addressing challenges in automotive electrification , centralized E/E architectures , and safety assurance cases . Recent publications emphasize test case generation , change impact analysis , and model transformation tools for Simulink, SysML, and AUTOSAR. Key trends in his work include autonomous vehicle safety , real-time control systems , and integration of formal methods with industrial practices across automotive, biomedical, and nuclear domains.

Chengnian Sunمشاهده پروفایل

دانشیار

• Software Engineering
• Software Reliability
• Software Security
• +۵ مورد دیگر

Chengnian Sun is an Associate Professor at the University of Waterloo's David R. Cheriton School of Computer Science. He holds a Ph.D. from the National University of Singapore (2013). His research focuses on software engineering, emphasizing software reliability, security, and developer productivity. His work spans compiler testing, program analysis, cybersecurity, and programming language tools. Key research trends include leveraging large language models (LLMs) for compiler testing and program reduction, probabilistic debugging techniques, and enhancing software security against ransomware and fuzzing attacks. His contributions address challenges in program simplification, fault localization, and vulnerability detection. Notable projects include frameworks like Perses (syntax-guided program reduction), T-Rec (language-agnostic program reduction), and tools like AddressWatcher for memory leak detection. His work bridges theoretical advancements with practical software engineering solutions. Chengnian advises on compiler reliability, cybersecurity, and developer productivity. His research has led to collaborations with industry on testing tools and security frameworks. He maintains an active lab focused on advancing software systems through rigorous analysis and innovation.

• Software Engineering
• Developer Productivity
• IDE Interaction Analysis
• +۳ مورد دیگر

Andrea Mocci is a Lecturer at the Faculty of Informatics of the Università della Svizzera italiana (USI). His work focuses on software engineering methodologies, developer productivity, and IDE interaction analysis. He is affiliated with the Software Institute and actively contributes to academic events such as the IEEE International Workshop on Mining and Analyzing Interaction Histories (MAINT). His research explores empirical software engineering techniques, including developer behavior analysis, code documentation improvement, and the application of natural language processing to software artifacts. Key areas of investigation include: IDE interaction and navigation efficiency Code redundancy and quality metrics Video tutorial analysis for educational content Runtime systems and annotation APIs Defect prediction and software maintenance Publications from 2016-2020 highlight trends in developer-centric tools, holistic recommender systems, and visualization techniques for software evolution. His work often bridges theoretical formal methods with practical developer workflows, aiming to improve both software quality and developer productivity through empirical studies and tool development.

• Process Science
• Process Mining
• Software Development Process Mining
• +۷ مورد دیگر

João Caldeira is an Associate Researcher at ISTAR-Iscte (Research Center in Information Sciences, Technologies and Architecture), where he focuses on Process Science , Process Mining , and Software Development Analytics . He holds a PhD in Information Science and Technology from ISCTE - University Institute of Lisbon, a Master's in Computer Engineering from Universidade Nova de Lisboa, and a Bachelor's in the same field from the same institution. João is a Visiting Assistant Professor at ISCTE, teaching process modeling and software development topics, and a Professor at IPAM/Univ. Europeia, where he lectures on Blockchain and Digital Payments. Research Interests : João's work bridges Big Data , Machine Learning , and Process Mining to enhance software development practices. His research includes Augmented Business Process Management and Software Systems Engineering , with a focus on extracting process insights from refactoring and team efficiency. Publications & Projects : João has contributed to journals like Computer Standards and Interfaces and Archives of Computational Methods in Engineering . His project DataScience4NP explores visual programming paradigms for non-programmers in Data Science, proposing parameterized workflow templates for increased reuse. Academic Roles & Mentorship : He has guided multiple Master's dissertations at ISCTE, including topics like BPM with adaptive SLA and Process Mining for vaccine distribution . João serves as an official reviewer for journals such as Journal of Systems and Software and IEEE Access .

• Ontology Engineering
• Knowledge Representation
• Natural Language Processing
• +۴ مورد دیگر

Dr. C. Maria Keet is a Professor in the Department of Computer Science at the University of Cape Town, South Africa. With a PhD from the Free University of Bozen-Bolzano (2008), she has established herself as a leading researcher in ontology engineering and multilingual natural language processing, particularly for African languages. Her research interests span Ontology Engineering , Knowledge Representation , Natural Language Processing for African languages (especially isiZulu), Conceptual Data Modeling , and Temporal Data Modeling . She has developed significant frameworks for ontology modularization, competency questions, and multilingual knowledge representation. Her work bridges theoretical computer science with practical applications for linguistic diversity in Africa, addressing the critical need for technology that serves low-resourced languages. Her recent publications (2023-2025) reveal a strong focus on advancing ontology engineering methodologies, improving multilingual language processing capabilities, and developing tools for temporal data modeling. She has pioneered approaches for representing African languages in computational systems, with particular attention to noun classification, verb conjugation, and part-whole relations in Bantu languages. Dr. Keet has made substantial contributions to educational resources in her field, including her 2023 book The What and How of Modelling Information and Knowledge - From Mind Maps to Ontologies , which serves as a comprehensive guide to knowledge representation techniques. She actively supervises graduate students and has developed in-house tools specifically for ontology engineering education, demonstrating her commitment to advancing both research and teaching in her field.

• Software Performance Engineering
• Microservice Architectures
• Cyber-Physical Systems
• +۳ مورد دیگر

Catia Trubiani is a faculty member at the Gran Sasso Science Institute in L'Aquila, Italy, specializing in software performance engineering, architectural analysis, and cyber-physical systems. Her work bridges theoretical modeling with practical applications, focusing on performance antipatterns, uncertainty quantification, and DevOps practices. In research , she explores performance modeling of microservices, federated learning systems, and cyber-physical systems, with a strong emphasis on architectural decision-making under uncertainty. Her recent articles analyze performance regression testing, aging detection in networks, and anti-pattern correlation in distributed systems, reflecting her interest in robust, scalable software solutions. She collaborates extensively with researchers like Raffaela Mirandola , Alberto Avritzer , and Riccardo Pinciroli , contributing to tools and frameworks such as PLUS (Performance Learning for Uncertainty of Software) and VisArch (Visualisation of Performance-Based Architectural Refactorings). Her work has been published in journals including IEEE Transactions on Software Engineering and Future Generation Computer Systems , as well as conferences like ICSE, ECSA, and ICPE.

Ghassan Karameمشاهده پروفایل

استاد

• Blockchain Security
• Machine Learning Security
• Platform Security
• +۳ مورد دیگر

Prof. Dr. Ghassan Karame is a Full Professor of Computer Science at the Ruhr-University Bochum , leading the Chair for Information Security. He is a Principal Investigator in the Cluster of Excellence CASA and Director of the Horst Goertz Institute for IT Security since October 2023. Additionally, he serves as a part-time Chief Scientific Advisor at NEC Laboratories Europe . His research focuses on blockchain security and privacy , platform/storage security , and machine learning security . He has contributed to improving cryptocurrency protocols, hardware-assisted secure systems, and decentralized trust mechanisms. Education : PhD in Computer Science from ETH Zurich (2011) His recent work explores federated learning security, side-channel attacks in TEEs, and practical blockchain scalability solutions. He has served on over 50 program committees and held editorial roles at IEEE TDSC and IEEE TIFS. Notable Awards : 2024 Outstanding Editorial Board Member Award (IEEE Signal Processing Society) 2020 Value Realization Award (NEC) 2019 IEEE TC Best Paper Award Degree among top 2% authors (Stanford-Elsevier) His teaching includes courses on systems security, blockchain security, and practical ML security, with thesis projects in blockchain, ML, and platform security. He leads the Information Security Chair , part of major research initiatives like CASA and HGI.

Steve Blackburnمشاهده پروفایل

استاد

• Memory Management
• Garbage Collection
• Virtual Machine Design and Implementation
• +۷ مورد دیگر

Steve Blackburn is a research scientist at Google DeepMind and professor of computer science at the Australian National University in the College of Engineering and Computer Science. His primary research focus is on programming language implementation, with expertise spanning memory management, virtual machines, and performance analysis. He has served in significant leadership roles including Associate Dean for Diversity and Inclusion (2016-2019) and as Program Chair for PLDI 2015 and General Chair for PLDI 2023. Blackburn's research interests center on making software run faster and more power-efficiently on modern hardware. His primary areas include microarchitectural support for managed languages, fast and efficient garbage collection, and the design and implementation of virtual machines. He maintains a strong interest in sound methodology and infrastructure for successful research innovation. His work bridges theoretical computer science with practical systems implementation, with particular focus on memory management frameworks and performance benchmarking. His publication record reveals a consistent focus on memory management systems, with recent work exploring garbage collection in modern contexts including CRuby, Julia, mobile devices, and memory-disaggregated datacenters. His research shows an evolution from foundational garbage collection algorithms toward practical implementations addressing real-world constraints in contemporary programming languages and hardware platforms. A notable trend is his increasing focus on quantifying and understanding the true costs of garbage collection in production environments. Fellow of the ACM Blackburn has supervised numerous doctoral students including Zhen He, John Zigman, Robin Garner, Ting Cao, and currently advises Wenyu Zhao, Zixian Cai, and others. He has also served on multiple program committees for major conferences including PLDI, ASPLOS, ISMM, and OOPSLA, demonstrating his significant contributions to the programming languages and systems research community. His service includes editorial roles for ACM Transactions on Programming Language Applications and Systems from 2017-2020. He leads two major research infrastructure projects: the MMTk memory management framework and the DaCapo benchmark suite, both of which have become foundational tools for researchers in programming languages and systems. These projects reflect his commitment to shared research infrastructure and reproducible methodology in systems research.

Andreea Costeaمشاهده پروفایل

استادیار

• Programming Languages
• Software Verification
• Automated Program Repair
• +۴ مورد دیگر

Andreea Costea is an Assistant Professor in the Programming Languages Group within the Faculty of Electrical Engineering, Mathematics & Computer Science (EEMCS) at Delft University of Technology. She joined TU Delft in October 2024 after completing her PhD at the School of Computing, National University of Singapore (NUS), where she worked in the Programming Languages and Software Engineering lab collaborating with the Automated Program Repair team, Trustworthy and Secure Software group, and VERSE lab. Her primary research focuses on programming languages design and implementation, with particular emphasis on software verification for critical code, program synthesis, and automated program repair. She maintains strong connections with industry while pursuing formal methods research, especially in the context of Rust programming language safety and interoperability. Dr. Costea's publication record demonstrates consistent contributions to software engineering and programming languages research, with recent work focusing on automated program repair techniques, Rust language safety mechanisms, and communication protocol verification. Her research shows a clear trajectory from theoretical foundations in session types and separation logic toward practical applications in memory safety and program repair. She actively serves the research community as Program Committee member for major conferences including ASE, ICSE, ICFP, and APLAS. Her service includes chairing publicity committees for SPLASH and artifact evaluation for ESOP. Regular Journal Reviewer: CACM, TOSEM, TSE Panel discussions: PLMW @ POPL'22, PLDI'21, PLMW @ PLDI'21, POPL'21 Extensive reviewing for top-tier conferences including POPL, OOPSLA, CAV, VMCAI Dr. Costea supervises multiple Master's students working on Rust-related safety projects and is actively recruiting PhD students to work on software interoperability, particularly focusing on how to restore Rust's safety guarantees when integrating with legacy C code and ensuring correct interaction between components written in different languages.

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

Georg Simhandl is affiliated with the Faculty of Computer Science, specifically within the Research Group Software Architecture. His work focuses on advancing theoretical and practical aspects of software engineering with a strong emphasis on cybersecurity, microservices, and empirical studies. Research Interests: His core research spans Microservices Architecture , Cybersecurity in Software Systems , Formal Methods , and Empirical Software Engineering . He investigates topics such as secure firmware updates, threat modeling for microservices, and developer cognition in system maintenance. Recent work highlights include leveraging TPMs for cryptographic anchoring and analyzing how dataflow diagrams enhance security analysis. Activities: He has presented at conferences like the ACM SIGPLAN International Conference on Software Language Engineering (SLE '24) and participated in workshops such as the IEEE/ACM International Workshop on Eye Movements in Programming (EMIP). His research bridges theoretical frameworks with practical software development challenges. Labs/Teams: Works within the Research Group Software Architecture, contributing to projects on secure architecture design and empirical evaluation of software practices.

• Software Refactoring
• Design Patterns
• Software Product Lines
• +۱ مورد دیگر

Jongwook Kim is an Assistant Professor of Engineering Practice at Purdue University's School of Electrical and Computer Engineering (West Lafayette campus). His primary affiliation is with the Computer Engineering discipline. He is based in BHEE 254 office and can be reached at jongwook@purdue.edu. His research focuses on advancing software engineering methodologies through areas such as Software Refactoring, Design Patterns optimization, and Software Product Line development. These efforts aim to enhance software maintainability and scalability across diverse engineering systems. No specific articles, grants, or awards are explicitly listed in the provided text. His professional profile emphasizes practical engineering education and research within computational systems design.

Luigi Benedicentiمشاهده پروفایل

استاد

• Software Agents
• Software Process Improvement
• New Media Technology
• +۳ مورد دیگر

Dr. Luigi Benedicenti is a Professor and Dean of the Faculty of Computer Science at the University of New Brunswick. He holds a Laurea in Electrical Engineering and a Ph.D. in Electrical and Computer Engineering from the University of Genoa, Italy. A licensed Professional Engineer in Saskatchewan and an Italian-licensed Engineer, he collaborates extensively with TRLabs and IEEE, engaging in global research partnerships across Europe, Southeast Asia, and North America. His research focuses on three core areas: Software Agents, Software Process Improvement, and New Media Technology. Current work emphasizes unifying distributed digital service platforms, optimizing delivery across devices and locations. Benedicenti's recent studies explore emotional contagion in open-source collaborations, agile methodologies in mission-critical systems, and decision-support frameworks for software development. Publications highlight themes like emotional dynamics in agile teams, optimization in manufacturing processes, and adaptive frameworks for defense software. His work bridges theoretical models with practical applications in security-critical systems and ubiquitous computing environments. Professional contributions include leadership roles in advancing software engineering practices and fostering interdisciplinary collaboration. His research integrates technical innovation with human-centric design principles to address complex challenges in modern software ecosystems.