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

• Software Engineering
• Software Architecture
• Autonomous Systems
• +۴ مورد دیگر

Patrizio Pelliccione is a Full Professor in Computer Science and Software Engineering at Gran Sasso Science Institute (GSSI) and an Associate Professor at Chalmers | University of Gothenburg. He holds a PhD in Computer Science from the University of L'Aquila. His research focuses on Software Architecture and Autonomous Systems, with applications in automotive and robotics domains. He has extensive international experience, including roles as Associate Professor at University of L'Aquila and Visiting Professor at Charles University. His research interests include software architecture design, autonomous systems, robotics, and automotive systems engineering. He actively collaborates with industry partners globally and has contributed to over 100 peer-reviewed publications across journals and conferences. Pelliccione chairs the Computer Science area at GSSI and leads research initiatives in value-based software ecosystems, continuous compliance, and architecture-driven development. He serves on program committees for major conferences like ICSE and ICSA, and has authored/co-authored books on software architecture and fault-tolerant systems. His work emphasizes practical industry applications, with contributions to automotive systems engineering frameworks, robotic mission specification languages, and safety-critical software development. Current projects explore AI integration in safety-critical domains like space systems and medical devices.

• Database Systems
• NoSQL Databases
• Cloud Data Management
• +۷ مورد دیگر

Norbert Ritter is a professor at the University of Hamburg, Germany, with a long-standing and active research career in database systems and data management. His work spans from foundational database theory to modern cloud and real-time systems, with significant contributions to NoSQL, polyglot persistence, and web performance optimization. He collaborates extensively with researchers such as Wolfram Wingerath, Felix Gessert, and Fabian Panse, and has published consistently in top-tier venues including VLDB, ICDE, and BTW. Research Interests: Database Systems NoSQL and Cloud Data Management Real-Time and Stream Processing Probabilistic and Incomplete Data Web Compression and Performance Spatiotemporal and Simulation Data His recent publications (2020–2024) show a strong focus on polyglot data management, adaptive systems, and efficient web encoding techniques. These works reflect trends toward heterogeneous storage, intelligent compression, and scalable simulation data handling, particularly in smart city and scientific contexts. The integration of machine learning with spatiotemporal data and graph-based modeling is also emerging as a key theme. Scientific Contributions: Co-authored influential tutorials and books on real-time data management and NoSQL systems. Contributed to reference works such as the Encyclopedia of Big Data Technologies . Editorial roles in journals like Datenbank-Spektrum and organizing roles in BTW workshops. Ritter has advised or collaborated with several researchers, though formal student listings are not available. His work often involves system design, benchmarking, and real-world deployment, suggesting involvement in grants and applied research projects. He has also contributed to the development of tools and frameworks for data integration, caching, and simulation environments.

• Informatics
• Computer Science
• Process Calculi
• +۴ مورد دیگر

Mario Bravetti is a Full Professor at the Department of Computer Science and Engineering, University of Bologna. His academic discipline is Informatics (INFO-01/A). He specializes in formal methods, process calculi, and distributed systems, with a focus on session types, microservices architecture, and formal verification of software systems. His research bridges theoretical foundations with practical applications in cloud computing, edge computing, and industry 4.0. Research interests include: Session types and behavioral contracts Formal semantics of concurrent systems Microservices deployment and orchestration Low-latency anomaly detection in industrial IoT Formal verification tools for programming languages His recent work emphasizes proactive-reactive scaling strategies for microservices and the integration of formal methods into cloud-native architectures. He has contributed to projects like SEAWALL and the BETTY COST Action, advancing software reliability in large-scale systems. His articles highlight advancements in session subtyping algorithms, typestate systems for Java, and edge-cloud continuum optimizations. He has served as a guest editor for journals on service-oriented architectures and formal methods.

Judah M. Diamentمشاهده پروفایل

استاد

• Distributed Systems
• Middleware
• Software Engineering
• +۳ مورد دیگر

Judah M. Diament is a Professor and Chair of the Computer Science department at Yeshiva University, located in New York. He holds a Master of Science from New York University (2000). Prior to academia, he spent 14 years at IBM's T.J. Watson Research Center (2000–2014), focusing on middleware and distributed systems, resulting in 13 patents and numerous publications. From 2014–2016, he served as Vice President of Finance Engineering at Goldman Sachs, developing a custom language and toolchain to streamline application updates. He returned to Yeshiva University in 2016 to mentor students toward similar career success. His research interests span distributed systems, middleware, software engineering, and finance technology. He teaches courses such as Distributed Systems, Introduction to Computer Science, and Data Structures. His work emphasizes practical application and innovation, as reflected in his quotes on learning through experimentation and Drucker’s focus on external results. Education: Master of Science, New York University, 2000 Research Interests: Professor Diament’s work bridges academic research and industry application. His expertise includes designing robust distributed systems, optimizing middleware frameworks, and applying computational methods to finance. He is passionate about creating tools that reduce development time, such as his Goldman Sachs project, and advancing educational strategies to prepare students for tech careers. Articles & Patents: His publications focus on middleware systems, distributed architectures, and business process automation. Notable works include innovations in data replication, temporal artifact management, and dynamic middleware assembly. His 13 patents highlight contributions to software infrastructure and decision modeling systems. Grants & Labs: While specific grants aren’t detailed, his industry collaborations at IBM and Goldman Sachs reflect significant applied research funding. He leads the Computer Science department’s initiatives in cutting-edge systems development and curriculum design. Labs/Teams: He oversees Yeshiva’s Computer Science departmental projects, fostering student engagement in distributed systems and software engineering through coursework and research opportunities.

Matthew Flattمشاهده پروفایل

استاد

• Programming Languages
• Functional Programming
• Compiler Design
• +۳ مورد دیگر

Matthew Flatt is a Professor in the School of Computing at the University of Utah . His primary research focuses on programming languages, specifically in the design and implementation of Racket and related systems like PLT Redex . He leads work on macros, domain-specific languages (DSLs), compiler design, and concurrency mechanisms. Flatt has developed influential tools such as Scribble (a documentation system), Honu (for algebraic syntax), and Places (message-passing parallelism in Racket). He also contributes to educational materials, including How to Design Programs . He teaches courses like CS 3520/6520: Programming Languages , emphasizing interpreters-based learning and functional programming. His research integrates practical implementation with theoretical foundations, supported by grants and collaborations in systems programming and education. Flatt has held visiting roles and sabbaticals, including at Northeastern and Northwestern Universities, and conducted research in Beijing during 2006-2007. His work bridges language design, implementation, and real-world applications.

Frank de Boerمشاهده پروفایل

پژوهشگر

• Formal Methods
• Concurrency Theory
• Object-Oriented Programming
• +۳ مورد دیگر

Frank de Boer is a researcher at Centrum Wiskunde & Informatica (CWI), Amsterdam , focusing on formal methods , concurrency theory , and software verification . His work bridges theoretical foundations with practical applications in object-oriented programming and parallel systems. Key research areas: Separation logic for heap reasoning Behavioral subtyping and history-based verification Active objects and actor models Concurrency and deadlock analysis Selected scientific recognition: Best Paper (ESSOC 2017) Bronzen Achievement Award (Trust4All 2008) Forum-Architectuurprijs (Archimate 2008) Recent publications (2025–2021) emphasize footprint logic, history-based reasoning, and formal verification of concurrent systems. Collaborations span institutions in The Netherlands, Germany, and China, with applications to Java collections, multicore memory systems, and transition system models.

• Automation in Electrical Power Systems
• Communications in Railway Systems
• Smart Grids
• +۷ مورد دیگر

Dr. José Antonio Rodríguez Mondéjar is an Associate Professor at the Technological Research Institute (IIT), part of the Higher Technical School of Engineering - ICAI at Comillas Pontifical University, Madrid. He has been a key researcher since 1988, focusing on automation and communications in electrical power and railway systems. Education: Industrial Engineering, Comillas Pontifical University (1988) PhD, Comillas Pontifical University (2000) His research centers on smart grid technologies, interoperability standards (CIM, IEC 61850), energy metering in trains, and industrial communications. He has contributed significantly to European and national projects on railway electrification, smart grid integration, and data standards. His work bridges academia and industry, with collaborations involving ADIF, the European Commission, and energy companies. His recent publications reflect strong trends in semantic interoperability, ontology alignment, and embedded systems for energy management. Key themes include the integration of CIM and IEC 61850, energy metering in rail, and the design of smart energy boxes for demand-side optimization. These contributions place him at the forefront of smart grid and railway electrification research. Scientific Awards and Recognition: Director of the award-winning work in the Intelligent Industry Chair Award for the best Final Degree Project 2020-21 Director of the award-winning work in the Connected Industry Chair Award for the best Final Degree Project 2019-20 Director of the award-winning work in the Connected Industry Chair Award for the best Master's Final Project 2017-18 Dr. Rodríguez Mondéjar has supervised multiple PhD and Master’s students, including R. Santodomingo and J. Tomé Lara. He has served on thesis committees and has been a key advisor for award-winning final projects. He has been involved in numerous funded research grants, particularly in smart grids, railway energy systems, and communication standards. He is also an active evaluator for ANEP and participates in international standardization committees (IEC, CENELEC). He has been involved in the development of laboratories and research teams focused on industrial automation and cybersecurity, and has collaborated on simulation platforms for smart grid communications. His work continues to influence both academic research and industry practices in energy and transportation systems.

Antonio Mastropaoloمشاهده پروفایل

استادیار

• Software Engineering
• AI for Software Engineering
• Sustainable AI
• +۴ مورد دیگر

Dr. Antonio Mastropaolo is an Assistant Professor in the Department of Computer Science at William & Mary, part of the College of Arts & Sciences. He holds a PhD from Università della Svizzera italiana (USI) in Switzerland and earned his B.S. in Computer Science and M.S. in Software Systems Security from the University of Molise, Italy. His academic journey reflects a strong international background with research experience in both European and North American contexts. B.S., Computer Science, University of Molise, Italy M.S., Software Systems Security, University of Molise, Italy Ph.D., Computer Science, Università della Svizzera italiana (USI), Switzerland His research centers on Software Engineering , with a focus on automating software development practices such as bug fixing, program repair, and code refactoring using artificial intelligence. He explores how AI can enhance software quality, maintainability, and sustainability. A key theme in his work is Sustainable & Efficient AI in Software Engineering , aiming to reduce the environmental footprint of software systems through intelligent optimization techniques. The 15 most recent articles reflect a consistent trajectory in AI-driven automation for software development , with emphasis on empirical evaluation, industrial applicability, and environmental impact. These publications span top venues like ICSE, ASE, and TSE, covering subfields including automated program repair, green coding, large language models for code, self-healing systems, and sustainability metrics. The research combines machine learning, empirical methods, and practical tool development to address real-world software engineering challenges. Dr. Mastropaolo has presented his work at leading software engineering conferences, indicating recognition within the research community. While no specific awards are listed, publication in premier forums such as the International Conference on Software Engineering (ICSE) and Transactions on Software Engineering (TSE) signifies high-impact contributions. He is actively engaged in research and mentoring, though no formal advisees are currently listed. His work likely involves collaboration with graduate students and participation in externally funded research projects, given the nature of his field and publication record. Future directions may include expanding the integration of AI into full software lifecycles and advancing metrics for sustainable software development. Dr. Mastropaolo contributes to the growing strength of William & Mary’s Computer Science program in intelligent systems and software engineering. His research aligns with emerging trends in autonomous development environments and environmentally conscious computing, positioning him at the forefront of next-generation software engineering innovation.

Jana Wagemakerمشاهده پروفایل

استادیار

• Formal Methods
• Program Analysis
• Kleene Algebra
• +۴ مورد دیگر

Jana Wagemaker is an Assistant Professor at Radboud University in Nijmegen, affiliated with the Software Science Group since July 2024. Previously, she was a postdoc at Reykjavik University collaborating with Antonis Achilleos and Luca Aceto. She earned her PhD at Radboud University under Jurriaan Rot and Alexandra Silva, defending her thesis titled Extensions of (Concurrent) Kleene Algebra in October 2022. Education: PhD in Computer Science (Radboud University, 2022) Her research focuses on formal methods for program analysis, using algebraic frameworks like Kleene algebra to provide mathematical guarantees about software behavior. She explores modular specification language development and the logical foundations of monitorability in runtime verification, emphasizing correctness proofs, decidability, and behavioral guarantees. Key Research Areas: Formal Methods, Program Analysis, Kleene Algebra, Runtime Verification, Automated Reasoning

Carla Ferreiraمشاهده پروفایل

استاد

• Models of concurrency and distribution
• Foundations of cloud computing
• Language-based techniques for low-code software development
• +۵ مورد دیگر

Carla Ferreira is a Full Professor in the Computer Science Department at NOVA University of Lisbon and a researcher at NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) in the Software Systems research group. Her academic career began as an Assistant at Universidade do Minho, followed by positions at the University of Southampton's Dependable Systems & Software Engineering Group, and later as an Assistant Professor at IST before joining her current position at NOVA University Lisbon. Her primary research interests focus on Models of concurrency and distribution , Foundations of cloud computing , and Language-based techniques for low-code software development . She has made significant contributions to distributed systems, particularly in the areas of data replication, consistency models, and programming languages for distributed environments. Her work bridges theoretical foundations with practical applications in cloud and edge computing systems. Dr. Ferreira's recent publications demonstrate a strong focus on low-code development platforms, particularly the OSTRICH language framework she has developed, as well as replicated data types, spatio-temporal monitoring systems, and ontology-based approaches to software development. Her research consistently addresses the challenges of building reliable distributed systems while improving developer productivity through language-based techniques. She has served on the program committees of numerous prestigious conferences including ECOOP, FORTE, POPL, and TACAS, demonstrating her standing in the programming languages and distributed systems communities. As an academic advisor, Dr. Ferreira has supervised numerous PhD and MSc students, both ongoing and completed, working on topics ranging from distributed databases to low-code development and formal verification. She has also led significant research projects including PRECISE (as Principal Investigator), GOLEM, LightKone, and currently TaRDIS (Trustworthy and Resilient Decentralised Intelligence for Edge Systems).

Emad Jacob Marounمشاهده پروفایل

پژوهشگر ارشد

• Worst-Case Execution Time Analysis
• Real-Time Systems
• Embedded Systems
• +۳ مورد دیگر

Emad Jacob Maroun is a Research Fellow at the Department of Applied Mathematics and Computer Science within the College of Engineering at the Technical University of Denmark (DTU). His work centers on time-predictable computing with emphasis on Worst-Case Execution Time (WCET) analysis for safety-critical embedded systems. His research interests span Worst-Case Execution Time Analysis , Real-Time Systems , Embedded Systems Engineering , Instruction Set Architectures , and Time-Predictable Computing . Maroun focuses on creating deterministic execution environments through techniques like single-path code generation, tagged architectures, and hardware-software co-design for predictable timing behavior. Analysis of his recent publications reveals a strong trend toward solving WCET challenges in heterogeneous environments. His work bridges compiler design, hardware architecture, and real-time theory—particularly in Developing the Platin multi-target analysis framework Advancing Lingua Franca for real-time applications Designing internally-tagged instruction sets for safety Optimizing caching for mixed-criticality 5G systems His research directly addresses the timing predictability gap in modern complex hardware. Maroun actively contributes to the WCET research community through conference organization and tool development, though no formal scientific awards are currently documented. His collaborative work shows strong ties with the DTU Embedded Systems Engineering group and international researchers in real-time systems. While no formal students or major grants are mentioned in available records, his publications indicate leadership in multi-institutional projects like the Platin toolchain development. Maroun operates within DTU's Embedded Systems Engineering research environment, focusing on creating practical WCET solutions for industrial applications in safety-critical domains including telecommunications infrastructure and real-time control systems.

• Computer Science
• Parallel Computing
• Data Stream Processing
• +۳ مورد دیگر

Dr. Jakub Yaghob is a researcher at the Faculty of Mathematics and Physics , Charles University , specializing in computer science and parallel computing. He teaches advanced programming topics including Compiler Principles , Parallel Programming , and Cloud Computing . Research Interests : Parallel data stream processing, virtualization technologies, semantic web infrastructures, and performance optimization Teaching : Advanced C++ programming, virtualization administration, and computer systems architecture Technical Expertise : Design of parallelization frameworks, astrophysical data analysis, and hybrid CPU-GPU systems His publications focus on: Optimizing stream data processing across distributed architectures Developing domain-specific languages like Bobolang Performance evaluation in educational programming contexts Applications of parallel computing in astrophysics

• Computer Science
• Theory of Computing
• Programming Languages
• +۹ مورد دیگر

HAGIYA Masami is a Senior Professor at the Graduate School of Information Science and Technology , University of Tokyo. His research spans theoretical and practical aspects of computing, including software verification, molecular robotics, and DNA computing. Specialty : Computer science Research Themes : Analysis, verification, and synthesis of computational models Research Interests focus on bridging formal methods with biochemical computation systems. His work integrates software engineering and mathematical logic to develop novel approaches in symbolic execution and runtime verification , while pioneering research in molecular robots and DNA-based computing architectures. Scientific Awards include multiple Japanese government grants across diverse domains: Grant-in-Aid for Scientific Research (C) (2020-2022) Challenging Research (Exploratory) (2017-2020) Scientific Research on Innovative Areas (multiple projects 2012-2016) Scientific Research (B) (2014-2016)

Ilias Gerostathopoulosمشاهده پروفایل

استاد

• Software architecture
• Self-adaptive systems
• Data-driven software engineering
• +۷ مورد دیگر

Ilias Gerostathopoulos is a Professor at the Chair for Software and Systems Engineering (I4) at the Technical University of Munich. His research focuses on software architecture, self-adaptive systems, big data analytics, and component-based development for cyber-physical systems. Education: PhD in Model-Driven Development of Software-Intensive Cyber-Physical Systems (Charles University, 2015) Research Venues: Active in PC member roles and track co-chair positions across conferences like ECSA, FAS*, SEAA, SASO, and ICSE. Organized workshops on evaluation metrics and data-driven software engineering. Scientific Contributions: Developed frameworks for dynamic component ensembles Advanced architectural homeostasis in adaptive systems Created toolchains for smart farming and traffic optimization Pioneered experiment-driven adaptation in cyber-physical systems Scientific Awards: Second place in ACM Student Research Competition (MODELS'14) Teaching: Offered graduate-level seminars on software architecture trends and IoT systems co-developed with Christian Prehofer.

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

استاد

• Software Engineering
• Program Analysis
• Machine Learning for Code
• +۶ مورد دیگر

Michael Pradel is a Professor at the University of Stuttgart , leading the Software Lab within the Computer Science Department . He is also a faculty member at the International Max Planck Research School for Intelligent Systems and a member of the Stuttgart ELLIS Unit . Education: Studied computer science at TU Dresden and Ecole Centrale Paris , with a master thesis at EPFL . Completed his PhD at ETH Zurich on program analyses for error detection. Research Interests: Focuses on software engineering , machine learning for code , program analysis , quantum software testing , and automated program repair . His work integrates LLMs for tasks like code execution, bug detection, and test generation. Scientific Awards: Ernst-Denert Software Engineering Award Emmy Noether grant (1.3M Euro) by DFG ERC Starting Grant (1.5M Euro) ACM SIGSOFT Distinguished Paper Awards (FSE, ISSTA, ASE, ASPLOS, MSR) ACM Distinguished Member Students: Supervised Matteo (PhD on quantum software testing), Luca Di Grazia (postdoc at USI Lugano), Beatriz Souza , Huimin Hu , and Doehyun Baek (PhD students). Collaborated with visiting professors like Cristian Cadar (Humboldt Research Award). Service: Holds leadership roles in top conferences including PC co-chair for FSE 2027, area chair for ICSE 2026, and associate chair for OOPSLA 2026. Current Projects: Developing techniques like DyLin (dynamic linter for Python), Testora (regression detection via NL intent), and LintQ (static analysis for quantum programs). His lab explores neural software analysis , code search , and LLM agents for program repair.