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

Jonathan Külzمشاهده پروفایل

پژوهشگر

• Modular Robotics
• Robotics
• Reinforcement Learning
• +۳ مورد دیگر

Jonathan Külz is a Researcher at the Technical University of Munich (TUM) , affiliated with the Department of Informatics 6 - Chair for Cyber Physical Systems under Prof. Matthias Althoff. His research focuses on Modular Robotics , Reinforcement Learning , Cyber-Physical Systems , and Control Systems . His work includes algorithmic synthesis of modular robot compositions, model-based manipulator co-design, and unifying benchmarks for robotics. He has supervised multiple Master’s theses Bachelor’s theses Practical courses on topics like Robot Workspace Representation and Dynamic Model Identification . Notable supervised projects include Autonomous Navigation of Reachbot and Task-Based Modular Robot Configuration Synthesis . His recent publications span Robotics , Benchmarking , and Computational Social Science . Key trends include Computationally efficient assessment of robot capabilities Deep reinforcement learning for robotics Analysis of political discourse polarization Jonathan emphasizes structured thesis supervision, requiring exposés, shared folders, and protocol-driven meetings. He advocates for LaTeX in scientific writing and tools like NotebookLM and Zettlr for research documentation.

Gang (Gary) Tanمشاهده پروفایل

استاد

• Computer Security
• Formal Methods
• Programming Languages
• +۲ مورد دیگر

Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives

Raouf Boutabaمشاهده پروفایل

استاد

• Network Management
• Systems and Services
• Resource Management in Wired/Wireless Networks
• +۹ مورد دیگر

Raouf Boutaba is a Professor at the University of Waterloo , serving as Director of the David R. Cheriton School of Computer Science since July 2020. He holds prestigious fellowships including FRSC , FIEEE , FIEC , and FCAE . 2024: Inaugural Rogers Chair in Network Automation 2024: Ontario Research Fund–Research Excellence (ORF–RE) $2M grant for next-gen mobile networks 2021: University Professor title, University of Waterloo Research Interests span network automation, resource management in wired/wireless networks, network function virtualization (NFV), software-defined networking (SDN), cloud computing, blockchain, future Internet architecture, and cybersecurity. His work focuses on zero-touch networks, 5G/B5G slicing, and AI-driven orchestration. Scientific Contributions include 15+ recent publications on topics like reinforcement learning for RAN slicing, encrypted traffic classification, quantum network optimization, and self-driving infrastructure. His projects 5G LEAP and 5G ELITE explore network isolation and Open RAN principles. 2024: IFIP/IEEE CNOM Test of Time Paper Award 2024: Graduate Supervision Excellence Award 2021: Kenneth C. Sevcik Outstanding Student Paper Award (advisor) Teaching includes co-developing the NSERC CREATE Network Softwarization program, offering courses like Network Softwarization: Principles and Foundations (Winter 2024) and Technologies and Enablers since 2018. He emphasizes hands-on training in SDN, NFV, Open RAN, and 5G. Students and Collaborations : Supervised PhD students such as Shihabur R. Chowdhury (2021), Nashid Shahriar (2020), and undergrad Leni Aniva (2022 Gov. Gen. Silver Medal ). His team includes researchers working on 5G, blockchain, and AI-driven network management. Professional Leadership : Organized Rogers TEP Workshops (2024-2025), delivered keynotes at IEEE Globecom, ColCom, and BalkanCom, and served on expert panels for AI orchestration and 5G cybersecurity at major symposia.

Zhendong Suمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Software Engineering
• +۳ مورد دیگر

Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).

Jiri Srbaمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Petri Nets
• +۴ مورد دیگر

Jiri Srba is a Professor at Aalborg University's Department of Computer Science, part of the Technical Faculty of IT and Design. He leads research in the Distributed, Embedded and Intelligent Systems group and contributes to projects like "ControLing wAter In an uRban Environment" and "Collective Adaptive System SynThesIs using Non-zero-sum Games". His office is located at Selma Lagerløfs Vej 300, 9220 Aalborg Øst, Denmark. Contact him at +4599409851 or srba@cs.aau.dk. His core research focuses on formal methods and applied computer science: Model checking and verification of concurrent systems Petri nets and their applications Network protocol verification and synthesis Distributed system correctness Automated reasoning for industrial systems His publication record shows strong emphasis on network verification, model checking optimization, and applying formal methods to environmental systems. Recent work integrates computer science with sustainable engineering, particularly in water management systems and energy control.

Francis Y. Yanمشاهده پروفایل

استادیار

• Networked systems
• Cloud infrastructure & resource management
• Machine learning for systems and networks
• +۳ مورد دیگر

Francis Y. Yan is an Assistant Professor of Computer Science at the University of Illinois Urbana-Champaign (UIUC), holding an affiliate appointment in Electrical & Computer Engineering within the Grainger College of Engineering. He leads the Illinois Networked Systems and AI (NSAI) research group, focusing on building intelligent networked systems that are safe, robust, and performance-optimized through practical machine learning integration. Prior to joining UIUC in January 2025, he served as a Senior Researcher at Microsoft Research Redmond under Victor Bahl. His educational background includes: Ph.D. in Computer Science from Stanford University (2020), advised by Keith Winstein and Philip Levis B.S. in Computer Science (Yao Class) and B.A. in Economics from Tsinghua University (2015) Additional undergraduate studies at MIT Yan's research adopts a holistic approach to practical machine learning for networked systems, emphasizing judicious application rather than indiscriminate use. He builds real-world systems and research platforms to lay ML foundations, devises deployable algorithms using domain insights, and validates performance through extensive empirical evidence. His work consistently addresses operator concerns regarding ML deployment—focusing on safety, robustness, generalization, and efficiency—while strategically combining ML with classical networking and systems techniques. Analysis of his 15 most recent publications (2023-2025) reveals dominant themes in resource allocation for microservices (DeDe, Autothrottle), real-time video optimization (Mowgli, GRACE), and LLM-driven network algorithm design. His work bridges theoretical advances with industrial deployment, evidenced by platforms like Puffer (400,000+ users) and OpenNetLab that have become community standards for validating congestion control algorithms. His research has been recognized with top honors: USENIX NSDI Outstanding Paper Award (2024) for Autothrottle APNet Best Paper Award (2022) IRTF Applied Networking Research Prize (2021) USENIX NSDI Community Award (2020) USENIX ATC Best Paper Award (2018) for Pantheon Yan actively recruits master's and undergraduate researchers for his NSAI group, prioritizing self-motivated students for projects in networked systems and AI. His research is supported by industry collaborations (notably Microsoft) and manifests in deployable platforms like Puffer—which has enabled award-winning research at NSDI and SIGCOMM—and OpenNetLab for real-time communications. His work directly impacts production systems including Microsoft Teams and Bing. He founded and directs the Illinois Networked Systems and AI (NSAI) research group, which operates critical infrastructure including Puffer (a live TV service and research platform) and OpenNetLab. These platforms facilitate community-wide validation of novel algorithms, with Puffer alone supporting multiple best-paper awards at top conferences. Current workstreams span cloud resource management (Teal, Autothrottle, DeDe), low-latency video (Puffer, Tambur, Mowgli), and LLM-augmented systems (Nada, Designing Network Algorithms via LLMs).

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 .

• Software Architecture
• Microservices
• Cloud Computing
• +۷ مورد دیگر

Uwe Zdun is a Professor at the Faculty of Computer Science, University of Vienna, where he serves as Vice-Director of Studies for Computer Science and Head of the Research Group Software Architecture. His teaching portfolio includes core courses such as Software Engineering 2, Advanced Software Engineering, and Practical Software Courses for Bachelor's and Master's theses across multiple semesters (2024W-2025S). His research spans software architecture with emphasis on microservices, cloud computing, and DevOps. Key focus areas include architectural design decisions, infrastructure-as-code conformance, security in distributed systems, and the integration of machine learning operations (MLOps/RLOps). He investigates cognitive aspects of architecture practices through controlled experiments and develops model-driven approaches for quality assessment in complex systems. Recent publications (2024-2026) reveal three dominant trends: (1) Security and coupling analysis in infrastructure-as-code deployments, (2) MLOps/RLOps integration for Industry 4.0 cyber-physical systems, and (3) Performance optimization patterns for CI/CD pipelines and autoscaling. His work bridges theoretical architecture models with industrial practice, particularly in microservice ecosystems and reinforcement learning applications. Professor Zdun leads the Research Group Software Architecture at the University of Vienna's Faculty of Computer Science. The group focuses on empirical validation of architectural patterns, tool development for conformance checking, and advancing design decision methodologies in cloud-native and AI-driven systems.

Gerry Dozierمشاهده پروفایل

استاد

• Artificial Intelligence
• Cyber Security
• Computational Intelligence
• +۶ مورد دیگر

Gerry Dozier is the Charles D. McCrary Eminent Chair Professor in the Department of Computer Science and Software Engineering at Auburn University's College of Engineering. His research focuses on artificial intelligence, computational intelligence, cybersecurity, identity science, and cyber identity protection. He leads initiatives like the Center for Artificial Intelligence and Cybersecurity Engineering and contributes to Alabama's AI policy through the state commission. Dr. Dozier holds a Ph.D. from North Carolina State University and has pioneered work in adversarial machine learning, biometric security, and low-resource language NLP. Education: Ph.D. Computer Science, North Carolina State University (Raleigh) M.S. Computer Science, North Carolina State University (Raleigh) B.S. Computer Science, Northeastern Illinois University Research Themes: Combines AI with cybersecurity to address modern digital challenges. Specializes in adversarial attacks/defenses, biometric authentication systems, and ethical NLP applications in multilingual contexts. Active in developing tools for sentiment analysis in underrepresented languages and mitigating biases in automated systems. Impact: Spearheaded Auburn's AI@AU initiative with lecture series and forums. Collaborates internationally on facial recognition, malware detection, and medical AI applications like bacterial vaginosis diagnosis. His work bridges theoretical CS advancements with real-world security and ethical considerations. Labs/Teams: Directs Auburn's AI & Cybersecurity Engineering Center and contributes to interdisciplinary groups like the McCrary Institute for Cyber and Critical Infrastructure Security.

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.

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.

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.

• Information Systems
• Operations Management
• Business Strategy
• +۵ مورد دیگر

Henrique O'Neill is an Associate Professor (with Habilitation) in the Department of Marketing, Operations and General Management at ISCTE - University Institute of Lisbon, Portugal. He is an Integrated Researcher at ISTAR-Iscte - Research Center in Information Sciences, Technologies and Architecture. His research focuses on information systems adoption, organizational strategy, and process optimization in healthcare, finance, and public administration. Education: PhD in Business Organization and Management - University of Cranfield (1995) Master's in Electrical and Computer Engineering - Higher Technical Institute (1987) Bachelor's in Electrical Engineering - Higher Technical Institute (1983) Research Interests: His work spans business/IT strategy, systems modeling, process analysis, and technology implementation. Key domains include healthcare informatics, banking systems, and Industry 4.0 applications. He emphasizes practical solutions for organizational performance through technology integration. Publication Trends: Recent articles explore intelligent business systems, telemedicine, design science methodologies, and supply chain innovation. His work consistently bridges theoretical frameworks with sector-specific applications in healthcare, education, and logistics. Professional Engagement: Member: Portuguese Telemedicine Association, Order of Engineers Commissioner: INEM (National Institute of Medical Emergency) reform study Director: Center for IT Development (2010-2014) Advising & Projects: Supervises 7 graduate students (1 PhD, 6 Master's). Leads EU-funded projects including: Atlantic Crossing (2024-2025): US-Portugal academic collaboration in AI/cybersecurity AAL4ALL (2011-2015): Ambient Assisted Living ecosystem UNITE (2000-2002): Ubiquitous teamwork platforms

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.

Yonghwi Kwonمشاهده پروفایل

استادیار مهمان

• Software Systems Security
• Cyber Forensics
• Software Engineering
• +۳ مورد دیگر

Yonghwi Kwon is a Visiting Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on software systems security, cyber forensics, and software engineering. He received the CAREER Award for developing dynamic defenses against cyber threats. His work emphasizes securing software from cyber attacks, recovering forensic evidence, and improving software testing and reverse engineering techniques. Key research areas include memory safety mechanisms, automated vulnerability detection in web applications and mobile systems, and forensic analysis of phishing campaigns. He has pioneered frameworks like CMASan for memory allocator-aware sanitization and Racedb for detecting race conditions in database-backed systems. His contributions span cloud security automation, kernel exploitation analysis, and embedded system fuzzing. Notable achievements include the 2025 CAREER Award supporting his dynamic defense research, and impactful publications in areas like Android information leakage detection (DryJIN), Bluetooth protocol fuzzing (BTFuzzer), and autonomous driving bug discovery (Drivefuzz). His work bridges theoretical computer science with practical cybersecurity solutions.