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

Benoit Combemaleمشاهده پروفایل

استاد

• Software Engineering
• Model-Driven Engineering
• Software Language Engineering
• +۷ مورد دیگر

Benoit Combemale is a Full Professor of Software Engineering at the University of Rennes , currently on leave as Research Director at Inria . He is affiliated with the DiverSE research team (joint between IRISA and Inria) and the SM@RT team at IRIT. He serves as Editor-in-Chief of the Springer-Nature journal Software and Systems Modeling (SoSyM) and holds leadership roles in academic conferences like ACM SIGPLAN Intl. Conference on Software Language Engineering and MODELS . Education : Habilitation (2015) and PhD (2008) in Software Engineering from University of Rennes and University of Toulouse, respectively. Research : Focuses on Model-Driven Engineering , Digital Twins , and ICT for Sustainability , with applications in cyber-physical systems, scientific computing, and industrial systems. Recent Publications highlight trends in digital twin modeling, energy-aware software engineering, polyglot programming, and formal verification for heterogeneous systems. His scientific awards include: Editor-in-Chief of SoSyM Steering Committee member of ACM SIGPLAN Intl. Conference on Software Language Engineering General Chair for ICT4S 2023 and MODELS 2016 PC Chair for MODELS 2024, ECMFA 2019, and SLE 2014 Coordinator of Dagstuhl Seminars and Bellairs workshops Advising includes 30+ students in topics ranging from digital twin engineering to software testing and language design. He leads the GEMOC Initiative and contributes to projects like SciHook and GEMOC Studio .

Bernhard Rumpeمشاهده پروفایل

استاد

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSLs)
• +۱۶ مورد دیگر

Bernhard Rumpe is a Professor and Chair of Software Engineering at the Department of Computer Science 3, RWTH Aachen University, Germany. He leads a research group focused on model-based software engineering, domain-specific languages, and digital twins, with strong industrial collaborations and applications in embedded systems, AI, IoT, and autonomous vehicles. His research centers on improving software development through model-driven engineering, generative techniques, and formal modeling using UML, SysML, and the MontiCore language workbench. Key interests include digital twins, variability modeling, model composition, and the integration of cyber-physical systems with information systems. The recent publications highlight a consistent focus on model-driven digitalization, language workbenches, and system integration. Trends show increasing emphasis on digital twins in manufacturing and societal systems, formal verification of model transformations, and educational applications of model-driven low-code platforms. His work bridges theoretical foundations with industrial applicability. Keynote Speaker, OOPSLE 2025 General Chair, GPCE 2023 Session Chair, MODELS 2020 Program Committee Member, SLE, GPCE, ICSE, ECMFA He advises master’s and doctoral students and leads a vibrant research team that has successfully executed over 100 research projects. His group develops foundational tools like MontiCore and applies them in industrial contexts, contributing to software quality and developer efficiency. No formal grants are listed, but sustained project funding is evident. He is involved in several research labs and teams centered around the Software Engineering Chair at RWTH Aachen, focusing on language workbenches, model-driven development, and digital twin systems. The team actively contributes to open research through publications, tools, and industrial partnerships.

Dongming Xuمشاهده پروفایل

دانشیار

• IT innovation and entrepreneurship
• Social media use in business
• Disaster management
• +۱۰ مورد دیگر

Dongming Xu is an Associate Professor in Business Information Systems at the University of Queensland Business School. She holds a PhD from the City University of Hong Kong in Information Systems and has established herself as a prominent researcher in the field of information systems with over 100 publications in top-tier journals and conference proceedings. Her educational background includes a PhD from City University of Hong Kong in Information Systems, though specific details about earlier degrees are not provided in the available text. Dr. Xu's research focuses on the confluence of information technology use and innovation, with particular emphasis on IT entrepreneurship, social media applications in business contexts, and business intelligence systems. Her work explores how information systems influence society and business performance, with applications spanning disaster management, eFinance, eHealth, and knowledge management. She combines theoretical model building with laboratory and field experiments, often developing prototype systems to validate her research. Her publication record demonstrates consistent high-quality output across multiple domains of information systems research, with recent work emphasizing digital disruption, platform ecosystems, social media in disasters, healthcare technology, and micro-learning applications. Her research shows a clear trajectory from foundational work on intelligent agents and decision support systems toward contemporary topics in digital transformation and platform-based innovation. Associate Editor, Information & Management Associate Editor, Journal of Electronic Commerce Research Associate Editor, Australasian Journal of Information Systems Dr. Xu has supervised numerous PhD students to completion, with research topics spanning digital disruption, IT startup development, social media in disasters, conceptual modeling, and environmental management. She has received multiple research grants, including current funding for 'Empowering Australia's Visual Arts via Creative Blockchain Opportunities' (2023-2026) and past projects on 'Smart micro learning with open education resources' (2018-2022). Her research has been supported by various agencies including the Hong Kong Government Research Grant Council, The National Natural Science Foundation of China, The University of Queensland, and City University of Hong Kong. She leads research in several key areas including IT entrepreneurship, business intelligence systems, and social media applications across multiple domains. Her work often involves developing innovative systems such as web-service-agent-based family wealth management systems, decision support systems for securities exception management, and knowledge management systems for disaster management.

Loris D'Antoniمشاهده پروفایل

دانشیار

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

Loris D'Antoni is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego (UCSD) . He is also a Visiting Academic at Amazon Web Services (AWS) . His research focuses on helping people write trustworthy software through techniques in program synthesis, formal verification, and machine learning robustness. Bachelor and Master in Computer Science from University of Torino (2008, 2010) PhD in Computer Science from University of Pennsylvania (2015) His research integrates programming languages , automata theory , and formal methods to ensure software reliability. Recent work explores semantics-guided synthesis and specification-aligned LLMs , with applications in network security, machine learning fairness, and automated code repair. Key trends in his publications include program synthesis , formal verification , and trustworthy AI systems . He has contributed to tools like AutomataTutor and SemGuS , a framework for customizable synthesis problems using constrained Horn clauses. Phillip R. Certain-Gary D. Sandefur Distinguished Faculty Award NSF CAREER Award Microsoft Research Faculty Fellowship Google and Facebook Faculty Awards Best Paper Award at ICDCN 2023 Distinguished Paper Award at SBES 2021 D'Antoni actively contributes to academic community service as a committee member in PLDI , OOPSLA , POPL , and CAV . He leads the Programming Systems Group at UCSD and collaborates with SemGuS research team on synthesis frameworks.

Michael D. Ernstمشاهده پروفایل

استاد

• software engineering
• programming languages
• type theory
• +۶ مورد دیگر

Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.

• Automated Transportation Systems
• Connected Vehicles
• Electric Vehicles
• +۳ مورد دیگر

Dr. Xiaopeng Li is the Harvey D. Spangler Professor in the Department of Civil and Environmental Engineering at the University of Wisconsin-Madison, with an affiliation in the Department of Electrical and Computer Engineering. He leads the USDOT Rural Autonomous Vehicle Program and previously directed the National Institute for Congestion Reduction. He earned his B.S. in Civil Engineering from Tsinghua University (2006), M.S. in Civil Engineering (2007), M.S. in Applied Mathematics (2010), and Ph.D. in Civil Engineering (2011) from the University of Illinois at Urbana-Champaign. His research focuses on modeling and field experiments for connected, electric, and automated vehicles (CAVs), infrastructure systems analysis, and interdependent network modeling. He has pioneered physics-enhanced machine learning frameworks for vehicle control and developed simulation tools for CAV deployment. His 2025-2024 publications highlight advancements in Connected vehicle trajectory modeling Energy consumption optimization Edge computing for autonomous operations Residual learning control systems Equity analysis in AV deployment Communication technologies for V2X Awards include: TRB Best Paper Award (2025) NSF CAREER (2015) ASCE Fellow (2024) IEEE Senior Member (2022) Multiple institution-specific fellowships He has advised 15+ graduate students, secured $35M+ in grants from NSF, USDOT, and industry partners, and chairs the IEEE ITSS Emerging Transportation Technology Testing committee. His work addresses real-world AV implementation, safety validation, and sustainable transportation systems.

Kimia Zamiri Azarمشاهده پروفایل

استادیار

• Hardware Security
• Verification Formal Methods
• Advanced VLSI Testing
• +۳ مورد دیگر

Kimia Zamiri Azar serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Central Florida, focusing on hardware security and verification methodologies. Her research bridges theoretical formal methods with practical security implementations in semiconductor design and testing. Her educational background includes: Ph.D. in Electrical and Computer Engineering, George Mason University (2021) Postdoctoral Research, University of Florida Dr. Azar's research spans hardware security with emphasis on system-level verification, VLSI design-for-trust, and advanced IC testing. She pioneers techniques in logic locking, secure heterogeneous integration, and IC supply chain security, developing frameworks for authenticated encryption in Systems-in-Package and runtime security monitoring. Her work integrates formal verification with innovative testing methodologies to address hardware trust challenges across the semiconductor lifecycle. Analysis of her recent publications reveals two dominant trends: (1) Application of large language models (LLMs) to hardware design tasks including high-level synthesis code generation and RTL optimization, and (2) Advancement of secure heterogeneous integration techniques for System-in-Package architectures with focus on counterfeit prevention and split-test security protocols. These directions address critical gaps in hardware trustworthiness amid increasingly complex semiconductor supply chains. Her scientific contributions have earned significant recognition: Best Paper Award at ICCAD 2019 Best Paper Award at ISVLSI 2020 Best Paper Award at ICCAD 2020 Best Paper Award at IEEE DCAS 2020 Best Paper Award at HOST 2022 Best Paper Award at DATE 2023 Dr. Azar secures substantial research funding from premier agencies including NSF, SRC, DARPA, AFRL, DoD (NG), and Microsemi. Her grants support projects spanning hardware security validation frameworks, secure heterogeneous integration, and AI-augmented verification methodologies. She actively mentors students in her research group, guiding publications in top venues like IEEE D&T, IEEE TC, and DAC while fostering industry-academic collaborations. Her work directly impacts semiconductor security standards through patented innovations and open-source verification tools. As an active IEEE and ACM member, she contributes to community advancement through conference organization (HOST, DATE), journal editorial roles, and workshop leadership on hardware security standards. Her research group collaborates with semiconductor industry leaders to translate theoretical security frameworks into practical design-for-trust methodologies for next-generation integrated circuits.

• Building Information Modeling (BIM)
• Civil Engineering Informatics
• Tunneling and Underground Construction
• +۵ مورد دیگر

Markus König is a Professor of Informatics in Civil Engineering at Ruhr University Bochum, where he has been researching and teaching since October 2009. His work focuses on Building Information Modeling (BIM), digital construction technologies, and civil engineering informatics, with significant contributions to the development and implementation of digital methods in German construction industry. Dr. König earned his degree in civil engineering with a focus on applied computer science at Leibniz University Hannover, where he also completed his doctorate on cooperative building planning at the Institute for Building Informatics. He subsequently held a junior professorship for Theoretical Methods of Project Management at Bauhaus University Weimar before joining Ruhr University Bochum. His research spans multiple cutting-edge areas including Building Information Modeling (BIM), construction process simulation, tunneling informatics, infrastructure asset management, and the application of artificial intelligence and computer vision in civil engineering. As chair of the Building Informatics Working Group from 2012-2016, he played a key role in developing the first national BIM curriculum for German universities and serves as editor of the book 'Building Information Modeling: Technological Foundations and Industrial Practice.' Analysis of his recent publications reveals a strong trend toward semantic technologies, digital twins, automated compliance checking, and the integration of AI in construction processes. His work increasingly focuses on information containers, ontology development, and the application of large language models to infrastructure data, reflecting the evolving landscape of digital construction. Dr. König's significant contributions to digital construction have been recognized with prestigious awards: Lower Saxony-Bremen Construction Industry Award (2017) for 'services in the development and introduction of digital construction in Germany' Konrad Zuse Medal (2020) While specific details about his advising and grant activities aren't explicitly mentioned in the provided text, his extensive publication record with numerous co-authors suggests active supervision of doctoral students and research staff. His involvement in multiple collaborative research projects is evident from his publication history. At Ruhr University Bochum, Professor König leads a research group focused on civil engineering informatics, with particular emphasis on BIM, digital construction technologies, and their application across the building lifecycle. His team appears to work at the intersection of computer science and civil engineering, developing innovative solutions for construction process optimization, infrastructure management, and digital transformation of the AEC industry.

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

استاد

• Concurrent Systems
• Formal Verification
• Programming Languages
• +۳ مورد دیگر

Mark Batty is a Professor in the School of Computing at the University of Kent, specializing in formal methods for concurrent systems. His work bridges hardware-software interfaces, focusing on memory models for C/C++, OpenCL, and architectures including x86, ARM, POWER, and GPUs. As a member of the Programming Languages and Systems Research Group, he develops mathematical specifications and verification tools for real-world concurrency challenges. His research centers on empirical testing of hardware/compiler behavior, formal modeling of system components, and verification of fine-grained concurrent algorithms. Key contributions address relaxed memory semantics, transactional memory, and compositional reasoning for concurrent data structures. His work combines theoretical rigor with practical tool development to ensure correctness in complex concurrent environments. Analysis of his 2015-2025 publications reveals consistent focus on memory consistency models, formal verification of weak memory concurrency, and compiler optimizations. Dominant themes include C/C++11 standards, GPU concurrency semantics, and mechanized verification techniques. His research demonstrates strong industry relevance through collaborations with hardware vendors and contributions to language standards. Mark Batty has received significant recognition: John C. Reynolds Doctoral Dissertation Award (2015) from ACM SIGPLAN CPHC and BCS Distinguished Dissertation Award (2015) Lloyds Register Foundation and Royal Academy of Engineering Research Fellowship (2016) He actively leads major research initiatives and mentors next-generation researchers: Current Funding: EPSRC Standard Grant 'Verifiably Correct transactional memory' (2018), VeTTS Grant 'Specification and verification of C++ data structure libraries' (2018), EPSRC First Grant 'Compositional, dependency-aware C++ concurrency' (2018) PhD Recruitment: Actively seeking candidates for UKRI-funded studentship in Verified Trustworthy Software Systems Batty drives community engagement through Kent Concurrency Workshop (2016) and South of England Programming Language Seminars, fostering national collaboration in programming languages research. His leadership in organizing Royal Society discussions underscores his influence in trustworthy systems verification.

• Robotics
• Human-Robot Interaction
• Machine Learning
• +۷ مورد دیگر

Christian Smith is an Associate Professor and Lecturer at the Department of Robotics, Perception and Learning at Kungliga Tekniska Högskolan (KTH Royal Institute of Technology). His research focuses on robotics and applications in human-centered environments like home environments, small workshops, and healthcare facilities, including the development of new robotic systems for research. Teaching Roles: Course Coordinator/Teacher/Examiner for courses such as Introduction to Robotics (DD2410), Research Project in Robotics (DD2411), and Java Programming for Python Programmers (DD1380) Research Themes: Human-Robot Interaction, Behavior Trees, Exoskeletons, Intent Recognition, and Multimodal Perception Awards: No specific scientific awards mentioned in the provided text His KTH profile highlights work on adaptive robotics systems and formalized control strategies. The research portfolio spans from theoretical studies on behavior tree programming to applied work in assistive technologies and teleoperation systems.

• Genomic Instability
• DNA Replication and Repair
• Computational Biology
• +۵ مورد دیگر

Dr Michael Boemo is an Assistant Professor at the University of Cambridge, holding dual appointments in the Department of Pathology and Department of Genetics. He leads research at the intersection of computational biology, DNA replication, and cancer genomics, developing machine learning tools to analyze replication stress and genomic instability. Academic Background: BA in Mathematics (Rutgers University), PhD in Physics (University of Oxford) Research Focus: Genomic instability in cancer, DNA replication/repair defects, computational modeling using machine learning and high-performance simulations Teaching: Lectures in Natural Sciences Tripos (mathematical biology, genetics, systems biology), module organizer for cancer biology and biological modeling His research group leverages nanopore sequencing and AI to map replication fork dynamics, revealing how stalled forks generate mutations in cancer cells and pathogens. Recent work examines extrachromosomal DNA replication vulnerabilities and transcription-replication conflicts. Dr Boemo collaborates across computational biology and cancer research domains, with publications spanning journals like Nature Methods, Cell, and PLoS Computational Biology. His lab develops tools such as DNAscent for replication fork analysis and explores therapeutic targeting of replication stress.

• Software Engineering
• Video Game Development
• Artificial Intelligence for Software Engineering (AI4SE)
• +۴ مورد دیگر

Cristiano Politowski is an Assistant Professor in the Department of Computer Science at Ontario Tech University’s Faculty of Science. His research focuses on applying software engineering principles to video game development, with particular emphasis on software testing, artificial intelligence for software engineering (AI4SE), deep reinforcement learning, and empirical software engineering. Education includes a PhD in Computer Science and Software Engineering from Concordia University (2022), supervised by Professors Yann-Gaël Guéhéneuc and Fabio Petrillo. Prior to his current role, he held postdoctoral positions at Université de Montréal and École de Technologie Supérieure in Montréal, Canada. Research interests span game engine architecture analysis, automated testing methodologies for games, and bridging gaps between academic theory and industry practices in software engineering. His work often involves empirical studies on software quality, framework impacts, and event-driven systems. Publications reflect a focus on game development challenges, including studies on API compatibility, subsystem coupling visualization, and AI-driven game balance assessment. He actively contributes to the understanding of software processes in the video game industry through surveys and dataset curation initiatives like PlayMyData.

• Software Engineering
• Technical Debt Management
• Software Architecture
• +۳ مورد دیگر

Paris Avgeriou is a Professor of Software Engineering at the University of Groningen, affiliated with the Faculty of Science and Engineering and the Bernoulli Institute. He leads the Software Engineering and Architecture research group and serves as Editor-in-Chief of the Journal of Systems and Software . His expertise spans technical debt management, software architecture, self-adaptive systems, and embedded systems design. Avgeriou holds an office at Nijenborgh 9, Groningen, and actively advises academic institutions and funding bodies globally. Research Interests: Avgeriou's work focuses on advancing software architecture principles, technical debt lifecycle management, and the integration of AI in software engineering. His research emphasizes practical solutions for improving software quality, maintainability, and system dependability, particularly in embedded and self-adaptive contexts. Recent Contributions: Recent studies include frameworks for benefit-cost-risk decision-making in self-adaptive systems, automated technical debt management using ML, and tools for tracing architecture-related debt. He collaborates internationally, contributing to standards like the Copenhagen Manifesto for human-centered AI in software engineering. Grants & Awards: While no specific awards are listed, his editorial role and frequent conference contributions reflect recognition in the field. He chairs conference tracks and oversees workshops, fostering early-career researchers and artifact evaluation. Labs & Teams: His group is part of the Bernoulli Institute, working on platforms like SDK4ED for embedded systems and tools such as DebtViz for technical debt monitoring. The team explores intersections between systems engineering and software architecture in complex systems-of-systems.

Víctor Adrián Brabermanمشاهده پروفایل

دانشیار

• Formal Verification
• Model Checking of Timed Systems
• Controller Synthesis
• +۷ مورد دیگر

Víctor Adrián Braberman is a Full-time Associate Professor at the Department of Computer Science, Faculty of Exact and Natural Sciences, University of Buenos Aires (UBA), and a CONICET researcher. He serves as Co-director of the LaFHIS (Tools and Foundations for Software Engineering) Research Lab at UBA, where he leads significant research in formal methods and software engineering. His academic career demonstrates sustained excellence in both teaching and research within Argentina's premier academic institution. Braberman's research focuses on Formal Verification , particularly Model Checking of Timed Systems, Controller Synthesis, Formal Specification of event-based properties, Aspect-oriented modeling, and Software Architectures. His work also extends to Software Analysis , including Memory Consumption Prediction and Static and Dynamic Program Analysis. These interests position him at the intersection of theoretical computer science and practical software engineering applications, addressing critical challenges in system reliability and performance. His recent publications (2022-2025) reveal a clear trajectory toward integrating artificial intelligence with formal methods , particularly through the application of reinforcement learning to controller synthesis problems and the exploration of Large Language Models for software verification and falsification. The research shows increasing attention to scalability challenges in formal methods and the integration of probabilistic approaches to handle uncertainty in system environments. Automated Reasoning Amazon Research Award (ARA) (2024) Braberman has successfully supervised numerous PhD and Licentiate students, establishing a strong academic lineage in formal methods research in Argentina. His research has been supported by substantial grants including European Community projects (MEALS), ANPCyT PICT grants, UBACyT projects, and Microsoft Research funding. His leadership extends to directing major research initiatives in formal software engineering. As Co-director of LaFHIS, Braberman oversees a vibrant research ecosystem that bridges theoretical computer science with practical software engineering challenges. The lab maintains strong international collaborations, particularly with European institutions, and has secured competitive funding from both national and international sources, demonstrating the global relevance of their work in formal methods and software engineering.

Anne Elisabeth Haxthausenمشاهده پروفایل

دانشیار

• Formal methods
• Specification languages
• Semantics
• +۶ مورد دیگر

Anne Elisabeth Haxthausen is an Associate Professor at the Software Systems Engineering section within DTU Compute , Technical University of Denmark . Her work focuses on formal methods, railway control systems, and safety-critical software engineering. Founder and leader of the DTU Railway Verification Group Member of European Technical Working Group on Formal Methods in Railway Control Editorial board member for Springer Formal Aspects of Computing Journal Active in the Overture Language Board Her research emphasizes formal verification of railway interlocking systems, particularly through compositional approaches and automated tools. She has contributed to projects like RobustRailS, Overture, and RAISE, focusing on model-based development and verification. She serves as a tutor for bachelor students and contributes to the advisory committee for DTU's Computer Science and Engineering MSc program. Her recent publications explore challenges in verifying autonomous and AI-driven railway technologies.