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

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

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

Niels Henzeمشاهده پروفایل

استاد

• Human-Computer Interaction
• Predictive Models in Interactive Systems
• Mobile Human-Computer Interaction
• +۵ مورد دیگر

Niels Henze is a Professor at the Chair of Media Informatics within the Faculty of Languages, Literature and Cultural Studies at the University of Regensburg, where he has been serving since May 2018. His research centers on human-computer interaction, with a strong focus on predictive models in interactive systems, mobile interaction, augmented and virtual reality, and attention-aware computing. His research interests include: Human-Computer Interaction (HCI) Predictive modeling for runtime adaptation Mobile and wearable interaction Augmented and Virtual Reality (AR/VR) Attention-aware and context-sensitive systems Sociocognitive aspects of interactive technologies The analysis of his recent publications reveals a consistent focus on leveraging user behavior and contextual cues to build intelligent, adaptive interfaces. His work integrates machine learning with interaction design, emphasizing real-time model updates, implicit feedback, and cognitive load awareness to improve usability and user experience across mobile and immersive platforms. Scientific awards: No awards mentioned in the provided text. Niels Henze leads research in adaptive interactive systems and advises students in the field of media informatics. He has previously held a junior professorship at the University of Stuttgart and completed his doctorate at the University of Oldenburg under Susanne Boll. He is actively involved in advancing the theoretical and practical foundations of predictive and attention-aware computing. Grants and funding sources are not specified in the text. He is associated with the Institute for Information and Media, Language and Culture (I:IMSK) at the University of Regensburg, contributing to a multidisciplinary environment that bridges informatics with cultural and linguistic studies.

Tobias Fiebigمشاهده پروفایل

استادیار

• Network Security
• Human Factors in Security
• Internet Measurement
• +۵ مورد دیگر

Dr.-Ing. Tobias Fiebig is a Senior Researcher at the Max Planck Institute for Informatics (Internet Architecture department) since April 2022. He previously served as a permanent Assistant Professor at TU Delft's Faculty of Technology, Policy and Management from 2017-2022. His work combines network measurement with human factors to improve security practices, focusing on email protocols, DNS infrastructure, and academic cloud migration. PhD in Computer Science from TU Berlin (2017) MSc in System and Network Engineering from University of Amsterdam (2013) BSc in Cognitive Science from University of Osnabrück (2012) His research spans Internet security (DNS, IPv6, email), academic freedom in cloud contexts, and human-centered security challenges. Recent work analyzes MTA-STS deployment, DNS sampling biases, and university cloud migration privacy implications. He has presented at top conferences including USENIX Security , IEEE Symposium on Security and Privacy , and ACM CCS . Teaching roles include lecturing Data Networks (2023-24) and On the Practice of System and Network Engineering (2024), with prior module management in cyber security analytics and sustainable system operations.

Chanchal K. Royمشاهده پروفایل

استاد

• Code Clone Detection and Analysis
• Software Evolution and Maintenance
• Software Analytics Research
• +۳ مورد دیگر

Chanchal K. Roy is Professor of Software Engineering/Computer Science at the University of Saskatchewan and Co-Director of the Software Research Lab. He leads an NSERC CREATE graduate program on Software Analytics Research and co-leads the Data Management group for an NSERC CFREF project on Food Security, with over 170 publications cited 6,000+ times. His research centers on software clone detection using the widely adopted NICAD system, software evolution, empirical studies, and AI-driven software analytics. Recent work integrates large language models for code generation, clone detection in the AI era, and developer interactions with tools like ChatGPT, emphasizing practical applications in maintenance and analytics. Analysis of his 15 most recent publications reveals a strong trend toward AI/ML integration in software engineering: 12 of 15 articles (2025) explore LLMs, quantum computing, or deep learning for tasks like bug localization, code snippet generation, and feature-toggle analysis. Key themes include empirical validation of AI tools, Stack Overflow data mining, and cross-domain frameworks for Society 5.0. His scientific awards include: Most Influential Paper Awards (SANER 2018, ICPC 2018) Outstanding Young Computer Science Researcher Award (CS-Can/Info-Can, 2018) New Researcher Award (University of Saskatchewan, 2019) New Scientist Research Award (College of Arts and Science, 2019) As lead of the NSERC CREATE program and CFREF data group, he mentors graduate students in software analytics while securing major grants. He actively serves on program committees for ASE, ICSE, and FSE, reviewing journals and organizing workshops on clone detection and empirical methods. His lab focuses on real-world applications in food security data management and software evolution. The Software Research Lab, co-directed by Roy, drives projects like NICAD and the NSERC CREATE initiative, emphasizing open-source contributions and industry collaboration. Current efforts include quantum-SE integration and AI-augmented maintenance tools under the CFREF food security mandate.

Eric Saxمشاهده پروفایل

استاد

• Automotive Systems
• Autonomous Driving
• Cybersecurity
• +۷ مورد دیگر

Prof. Dr.-Ing. Eric Sax is a Professor of Electronic Systems Engineering and Management at the Karlsruhe Institute of Technology (KIT), serving as Dean of the Department of Electrical Engineering and Information Technology (ETIT). He leads the Institut für Technik der Informationsverarbeitung (ITIV) and directs the Forschungszentrum Informatik ESS division . As Program Director of the Electronic Systems Engineering & Management (ESEM) master's program at the HECTOR School, he focuses on integrating academic and professional education. His research spans automotive systems engineering , self-learning functions , cybersecurity , and data-driven validation . Key themes include over-the-air updates, scenario-based testing, and the synergy between machine learning and automotive systems. His work addresses challenges in autonomous driving validation, software-defined mobility, and cyber-physical system security. Prof. Sax's contributions include frameworks for automotive software partitioning, cloud-enabled vehicle architectures, and methodologies for quantifying data quality impacts on perception systems. He actively collaborates with industry partners to bridge academic research with industrial application. His recent projects include OptiCAM (cloud/edge function offloading), Drive4C (autonomous driving benchmarking), and UNCOVER (data-driven security monitoring). He holds leadership roles in both KIT and the HECTOR School's technology business programs.

Jelena Mirkovicمشاهده پروفایل

عضو هیئت علمی

• Network Security
• Denial-of-Service Attacks
• Vulnerability Scanning
• +۶ مورد دیگر

Jelena Mirkovic serves as Principal Scientist at USC Information Sciences Institute (USC/ISI) and Research Associate Professor at the University of Southern California's Thomas Lord Department of Computer Science. She has held faculty positions at USC since 2010, progressing from Research Assistant Professor to her current role as Research Associate Professor since 2017, while also serving as Project Leader at USC/ISI. Her educational background includes: PhD in Computer Science from UCLA (2003) MS in Computer Science from UCLA (2000) B.Sc. in Computer Science from University of Belgrade, Serbia (1998) Mirkovic's research spans network security, human-centered attacks, and cybersecurity experimentation infrastructure. Her work focuses on critical security challenges including botnets, denial-of-service attacks, IP spoofing, vulnerability scanning, and user-centric privacy. She has pioneered methodologies for security experiments and led major infrastructure projects including the DETER testbed and SPHERE (Security and Privacy Heterogeneous Environment for Reproducible Experimentation). Analysis of her recent publications reveals consistent innovation across multiple security domains. Her work demonstrates strong technical depth in DDoS defense systems (particularly DNS protection), binary vulnerability analysis, privacy-preserving systems, and security experimentation infrastructure. A notable trend is her focus on bridging theoretical security concepts with practical implementation through large-scale testbeds and real-world data analysis. Her significant scientific achievements include: IEEE Senior Member distinction Best paper award at IEEE COMSNETS 2023 for DNS DDoS defense research Mirkovic has secured substantial research funding as Principal Investigator or Co-PI on numerous grants from NSF, DHS, and other agencies. Current major projects include SPHERE (Security and Privacy Heterogeneous Environment for Reproducible Experimentation), DISCERN (Datasets to Illuminate Suspicious Computations), and modernizing DeterLab education infrastructure. She has successfully led multiple REU sites focused on cybersecurity education and workforce development. She directs the STEEL (Security Research Lab) at USC/ISI, which develops innovative security solutions through interdisciplinary research in network security, human factors in security, and cybersecurity experimentation infrastructure. The lab emphasizes practical implementations that address real-world security challenges while advancing theoretical understanding of security systems.

• Database Management Systems
• Transaction Processing
• In-Memory Databases
• +۶ مورد دیگر

Andrew Pavlo is a Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. His research focuses on database management systems, particularly in the areas of transaction processing, in-memory databases, and self-driving database systems. He leads a productive research group that has published extensively in top database venues including VLDB, SIGMOD, and CIDR. Pavlo's research interests span database management systems, transaction processing, in-memory databases, non-volatile memory databases, and self-driving database systems. His work often bridges theoretical database concepts with practical system implementation, focusing on performance optimization, query processing, and system architecture. Recent work has explored machine learning applications for database tuning, novel storage techniques, and innovative approaches to transaction processing. An analysis of his recent publications reveals a strong focus on self-driving database systems, with significant work on the Database Gym framework for training machine learning models to optimize database performance. His research also examines columnar storage formats, transaction scheduling, and novel approaches to user-defined function optimization. The work demonstrates a consistent trajectory toward making database systems more autonomous and efficient through a combination of systems techniques and machine learning. Pavlo has been instrumental in mentoring numerous PhD students who have become active contributors to the database research community. His research has been supported by significant grants that have enabled the development of innovative database technologies and frameworks. His research group operates within CMU's vibrant database ecosystem, collaborating with other researchers on projects related to database systems, storage engines, and query processing frameworks. The group maintains close connections with industry partners to ensure practical relevance of their research contributions.

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.

Conny H. Antoniمشاهده پروفایل

استاد پژوهشی

• Work and Organizational Psychology
• Digital Collaboration
• Team Dynamics
• +۳ مورد دیگر

Dr. Conny H. Antoni serves as a Senior Research Professor in Work, Industrial, and Organizational Psychology at the Department of ABO Psychology, University of Trier. Their research focuses on digital collaboration, team dynamics, and psychosocial risk management in modern work environments.

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

استاد

• Big data software engineering
• Intelligent software testing and analysis
• Adaptive and autonomous software systems
• +۳ مورد دیگر

Chang Xu is a Professor and Ph.D. supervisor at Nanjing University, affiliated with the State Key Laboratory for Novel Software Technology, School of Computer Science, and Institute of Computer Software (ICS). He has been a full-time faculty member since 2010, when he joined as an associate professor and was later promoted to full professor in 2015. Education: Ph.D. from The Hong Kong University of Science and Technology (HKUST) in 2008 (advisor: Prof. S.C. Cheung) M.Eng. from Institute of Software, Chinese Academy of Sciences (ISCAS) in 2003 B.Eng. from University of Science and Technology of China (USTC) in 2000 Research Interests: Professor Xu's research focuses on big data software engineering, intelligent software testing and analysis, and adaptive and autonomous software systems. His recent work centers on constructing and providing runtime support for intelligent software in open environments, with emphasis on inconsistency detection and resolution for environments, and quality assurance for adaptive, concurrent, learning-based, smartphone-based, and spreadsheet-based applications. His work bridges theoretical foundations with practical applications in software engineering, particularly in program analysis, software testing, and self-adaptive systems. Scientific Awards: ACM SIGSOFT Distinguished Paper Award from ICSE 2025 Best Student Paper Award from EUROSYS 2025 ACM Distinguished Member in 2024 Best Paper Award from SOSP 2023 Best Paper Candidate from ISSRE 2022 Yangtze River Scholar by the Ministry of Education in 2021 Multiple ACM SIGSOFT Distinguished Paper Awards from conferences including ASE, ICSE National Science and Technology Progress Award (Second Class) in 2011 Academic Service and Advising: Professor Xu has served on numerous program committees for top software engineering conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He is an editorial board member for several journals including Journal of Computer Science and Technology and Frontiers of Computer Science. He has supervised numerous Ph.D. and MSc students, with research topics spanning program analysis, software testing, self-adaptive systems, and more. His students have gone on to successful careers in both academia and industry. Research Groups: Professor Xu is associated with the SPAR research group at Nanjing University and the CASTLE research group at HKUST, focusing on software analysis, reliability, and testing.

• Ecological Epidemiology
• Wildlife Disease Dynamics
• Veterinary Epidemiology
• +۴ مورد دیگر

Dr. Martin Lange is part of the Project Group Ecological Epidemiology within the Department of Ecological Modelling at the Helmholtz Centre for Environmental Research (UFZ). His research focuses on computational epidemiology, particularly in wildlife and livestock systems. Key areas include disease transmission dynamics, surveillance strategies, and the development of predictive models for infectious diseases like African Swine Fever (ASF) and Bovine Viral Diarrhea Virus (BVDV). Affiliations: UFZ, Department of Ecological Modelling; EcoEpi research group. Education: PhD in Veterinary Epidemiology (2013, TU Bergakademie Freiberg). Research interests span ecological epidemiology, wildlife disease control, and the application of agent-based and individual-based models to understand pathogen spread. Notable contributions include modeling ASF in wild boar populations and BVDV eradication strategies in Ireland. Awards: Received the 2018 UFZ-Wissenstransferpreis (shared with H.H. Thulke) and the Konrad-Bögel-Nachwuchsförderpreis for his doctoral work on eco-epidemiology of wild boar diseases. Also recognized at the DACh Epidemiologietagung 2011. Publications: Over 50 peer-reviewed articles since 2006, emphasizing interdisciplinary approaches to disease modeling and environmental systems. Recent work includes digital twin frameworks for biodiversity monitoring and Python-based model coupling tools like FINAM. Labs/Teams: Active in the EcoEpi group and contributes to projects like BioDT (Biodiversity Digital Twin) and CauSES (Causation in Social-Ecological Systems).

• Network Security
• Cloud Security
• Internet of Things Security
• +۵ مورد دیگر

Rémi Badonnel is a Professor in the Department of Computer Science at the University of Lorraine's Faculty of Science and Technology, affiliated with the LORIA research laboratory in France. With over 20 years of research experience, his work focuses on network security, cloud security, and network management systems. His research interests span multiple critical areas of cybersecurity including Network and cloud security architecture Internet of Things security frameworks Software-defined networking security Automated security configuration systems Cybersecurity education and workforce development His work often combines theoretical foundations with practical implementations, particularly in the areas of formal verification for security policies and machine learning applications for threat detection. Analysis of his recent publications (2021-2025) reveals a strong focus on cloud security challenges, particularly around service composition, migration security, and formal verification methods. His work increasingly incorporates AI/ML techniques for security automation while maintaining strong theoretical foundations in network management principles. His research shows consistent collaboration with European institutions, particularly in cybersecurity education initiatives. As an academic leader, he has supervised numerous researchers including Martín Barrère, Anthéa Mayzaud, Adrien Hemmer, and Nicolas Schnepf, who have co-authored multiple publications with him. His editorial roles for IEEE Transactions on Network and Service Management demonstrate his standing in the network security research community.

• 5G/6G Networking
• Network Slicing
• Intent-Based Networking
• +۵ مورد دیگر

Adlen Ksentini is a Professor at EURECOM, a leading graduate school and research center in Sophia Antipolis, France, specializing in digital science and communication systems. His extensive research focuses on next-generation mobile networks (5G/6G), network management, and the integration of artificial intelligence with telecommunications infrastructure. Dr. Ksentini actively contributes to major EU research initiatives including 6G-BRICKS and AC3, serving as a key researcher and project leader in the development of future network architectures. Dr. Ksentini's research interests center around network slicing, intent-based networking, edge computing, and the application of machine learning to network management problems. His work bridges theoretical advancements with practical implementations in 5G/6G systems, with particular emphasis on zero-touch network management, energy efficiency optimization, quality of service assurance, and the integration of large language models with network operations. His research has significantly contributed to the development of O-RAN (Open Radio Access Network) frameworks and the evolution of network automation. His recent publication trends reveal a strategic shift toward AI-native network architectures, with increasing focus on integrating large language models (LLMs) with network management systems. His work demonstrates a clear progression from traditional network management approaches to more autonomous, AI-powered systems capable of intent-based configuration, self-optimization, and predictive maintenance. The publications show strong emphasis on practical implementations within the 6G research ecosystem, addressing critical challenges in network slicing, resource allocation, and energy efficiency. As a research supervisor, Dr. Ksentini mentors several PhD students including Abdelkader Mekrache, Karim Boutiba, Bouziane Brik, and Houda Hafi, who frequently appear as co-authors on his publications. His research is primarily funded through major EU research projects such as 6G-BRICKS (Building Reusable Testbed Infrastructures for Cloud-to-Device Breakthrough Technologies) and AC3 (which focuses on Cloud Edge Continuum). Dr. Ksentini is actively involved with the 6G-BRICKS project consortium and the AC3 project team, where he contributes to developing next-generation network architectures that integrate communication, computing, and sensing capabilities. His work within these projects focuses on creating reusable testbed infrastructures and addressing security and trust management challenges in the cloud-edge continuum.

Tien N. Nguyenمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +۹ مورد دیگر

Tien N. Nguyen is a Professor in the Computer Science Department at the Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. He has been actively contributing to the software engineering research community since 2005, with significant publications and service to major conferences including ASE, ICSE, and ESEC/FSE. His extensive research portfolio spans multiple areas at the intersection of artificial intelligence and software engineering. Dr. Nguyen's research focuses on AI/ML4Code, encompassing Machine Learning, Natural Language Processing for Software Engineering and Software Security. His work specifically addresses Program Analysis, Software Evolution and Mining, Software Security, Software Maintenance, Mining Software Repositories, Version and Configuration Management, and Web Code Analysis and Security. His research has been consistently funded by multiple NSF grants including NSA NCAE-C-002-2021, CNS-2120386, CCF-1723215, CCF-1723432, CNS-1723198, and others dating back to CCLI-0737029. His recent publications demonstrate a strong trend toward leveraging large language models for various software engineering tasks including program analysis, bug detection, code completion, and automated program repair. The research spans both theoretical foundations and practical applications, with numerous papers accepted at top-tier conferences across multiple years. His scientific contributions have been recognized with several prestigious awards: ACM SIGSOFT Distinguished Paper Award at FSE 2024 IEEE Computer Society TCSE Distinguished Paper Award at SANER 2022 ACM SIGSOFT Distinguished Paper and ASE Best Paper Award at ASE 2014 ACM SIGSOFT Distinguished Paper Award at ASE 2012 ACM SIGSOFT Distinguished Paper Award at ESEC/FSE 2009 Dr. Nguyen has served in numerous leadership roles including Program Co-Chair for ICSE 2020 Demonstrations, Doctoral Symposium Co-Chair for ESEC/FSE 2021, NIER Track Chair for ASE 2020, and Tutorials Co-Chair for ASE 2024. He has received multiple NSF grants supporting his research in software analysis, mining, and security. His work with the Boa infrastructure for ultra-large-scale code mining has established significant infrastructure for the research community. His laboratory focuses on AI for software engineering, with particular emphasis on program analysis, software security, and mining software repositories. The research group develops techniques that bridge the gap between artificial intelligence and practical software engineering challenges, creating tools that are both theoretically sound and practically applicable to real-world software development.

• Aircraft Systems Engineering
• Avionics
• Integrated Modular Avionics (IMA)
• +۱۲ مورد دیگر

Prof. Dr.-Ing. Frank Thielecke is a full Professor and the head of the Institute of Aircraft Systems Engineering (Flugzeug-Systemtechnik) at Technische Universität Hamburg (TUHH), Germany. His research is centered on advanced aircraft systems, avionics, flight control, and the integration of emerging technologies such as hydrogen and hybrid-electric propulsion. Institution: Technische Universität Hamburg Department: Institute of Aircraft Systems Engineering (Flugzeug-Systemtechnik) Email: frank.thielecke@tuhh.de Office: Neßpriel 5, Room 1.012, 21129 Hamburg His research interests include integrated modular avionics (IMA), model-based systems engineering (MBSE), aircraft load estimation, health monitoring, fault diagnosis, and sustainable aviation technologies. He leads a research group actively contributing to next-generation aircraft design, with a strong focus on digitalization, virtual testing, and system safety. The recent publications highlight a consistent trend in developing model-based tools and architectures for avionics and aircraft systems. Key themes include the design of IMA platforms, virtual integration, system validation, hydrogen aircraft systems, and control algorithms for UAVs and flexible aircraft. His work frequently appears in AIAA, DASC, DLRK, and CEAS conferences and journals. Prof. Thielecke has been involved in numerous collaborative research projects focusing on more-electric aircraft, fuel cell systems, and advanced actuation. He has contributed to the development of frameworks such as ASHLEY and SArA for avionics platform design and systems architecting. His team also works on noise reduction in hydraulic systems and condition monitoring for aircraft subsystems. He supervises a group of researchers and PhD students, many of whom co-author his publications. While specific student names are not listed, long-term collaborators like Oliver Luderer, Thimo Bielsky, Nils Külper, and Philipp Chrysalidis are likely doctoral candidates or postdoctoral researchers in his group. He has secured funding for projects related to hydrogen aircraft, hybrid propulsion, and digital avionics engineering. His lab, the Institute of Aircraft Systems Engineering, operates test benches for avionics, hydraulic systems, and flight control validation. The team uses advanced simulation, co-simulation (e.g., FMI), and hardware-in-the-loop techniques for virtual integration and testing. Ongoing work includes the development of tools for early validation of flight control platforms and automated requirement-based testing.