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

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

استاد

• Formal Methods
• Interactive Theorem Proving
• Program Verification
• +۹ مورد دیگر

Professor Tobias Nipkow is a leading researcher in formal methods and interactive theorem proving at the Technical University of Munich (TUM), affiliated with the School of Computation, Information and Technology and the Department of Computer Science. He is a core developer of the Isabelle proof assistant and leads the Theorem Proving Group. His work has profoundly influenced program verification, semantics, and formalized mathematics. University: Technical University of Munich School: School of Computation, Information and Technology Department: Department of Computer Science Research Group: Theorem Proving Group Key Projects: Isabelle, Archive of Formal Proofs, Concrete Semantics His research focuses on formal verification, higher-order logic, semantics of programming languages, and verified algorithms. He has pioneered the formalization of textbook algorithms, data structures like B+-trees and quadtrees, and logical systems. His work bridges theoretical foundations with practical tools for software correctness. The most recent publications show a strong trend in verifying classical algorithms (e.g., Gale-Shapley, Earley parser), data structures (B+-trees, deques), and decision procedures, primarily using Isabelle/HOL. His contributions span foundational logic, program analysis, and educational approaches to formal methods. Best Paper Award at CADE 28 (2021) Tobias Nipkow has made extensive contributions to advising and collaborative research, co-authoring with numerous researchers and students. He has secured support for large-scale formalization efforts and contributed to major projects like the Flyspeck proof of the Kepler conjecture. His work is supported by ongoing development of the Isabelle framework and the Archive of Formal Proofs. He leads the Theorem Proving Group at TUM, which is central to the development and application of Isabelle. The group fosters international collaboration, contributes to the Archive of Formal Proofs, and advances research in automated reasoning, semantics, and verified systems.

• Business Informatics
• Artificial Intelligence
• Business Intelligence
• +۱۰ مورد دیگر

Prof. Dr. Harald Ritz serves as Professor of Practical Computer Science, especially Business Informatics, at the Technical University of Central Hesse (THM) within the Department of Mathematics, Natural Sciences and Computer Science since 2003. He holds leadership roles as Chair of Examination Committees for B.Sc. and M.Sc. Business Information Systems and Spokesperson for the MNI department in the Business Informatics Working Group (AKWI). His educational background includes a Diplom in Business Informatics (Dipl.-Wirtsch.-Inform.) and doctorate (Dr. rer. pol.) from the Technical University of Darmstadt, following professional experience at SAP SI AG and a professorship at Heilbronn University of Applied Sciences. Ritz's research centers on AI-driven digital transformation for data-driven enterprises, with focus on the “Data to Decision” value chain encompassing Framing, Allocation, Analytics, and Preparation phases. His work integrates business intelligence, data warehousing, machine learning, and SAP ecosystems to address challenges in SME digitalization, operational IT management, and educational technology. Current projects emphasize AI applications in higher education, including intelligent tutoring systems and automated feedback mechanisms. Analysis of his 15 most recent publications reveals a consistent trajectory toward applied AI solutions in business contexts, particularly in intelligent chatbots for educational support, financial trading algorithms, and cloud-based data infrastructure. The research demonstrates increasing integration of no-code platforms, real-time analytics, and domain-specific AI applications across logistics, banking, and procurement sectors. No scientific awards were documented in the source materials. Professor Ritz actively supervises academic development through bachelor’s and master’s theses, doctoral research, and collaborative projects. Current initiatives include the “Winfy” AI chatbot (v4.0, 2025), AI-based feedback systems for educational content (Freiraum 2025 grant), the frits intelligent tutoring project with Prof. Kammer, and doctoral research on AI adoption in SMEs. His work bridges theoretical research with practical implementation in SAP environments and cloud platforms. He operates within THM’s MNI department infrastructure, collaborating through the Business Informatics Working Group (AKWI) and contributing to the Digital Classroom communication platform for online education.

Ruben Martinsمشاهده پروفایل

استادیار

• Constraint Programming
• Program Synthesis
• Formal Verification
• +۳ مورد دیگر

Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.

Shin Yooمشاهده پروفایل

استاد

• Software Testing
• Debugging
• Search-based Software Engineering
• +۷ مورد دیگر

Shin Yoo is a tenured Full Professor in the School of Computing at Korea Advanced Institute of Science and Technology (KAIST), where he leads the Computational Intelligence for Software Engineering (COINSE) research group. He received his PhD from King's College London in 2009 under the supervision of Prof. Mark Harman. Currently, he serves as the General Chair for ASE 2025, which will be held in Seoul, Korea. Professor Yoo earned his PhD in Computer Science from King's College London (2009), following an MSc in Software Engineering with Distinction from the same institution (2006). His academic journey includes positions as Tenured Associate Professor (2021-2025), Associate Professor (2018-2021), and Assistant Professor (2015-2018) at KAIST, as well as Lecturer and Research Associate positions at University College London and King's College London. His research focuses on the intersection of software engineering and artificial intelligence, particularly in search-based software engineering, software testing, automated debugging, SE4AI (Software Engineering for AI), and AI4SE (AI for Software Engineering). Professor Yoo's work bridges theoretical foundations with practical applications, developing innovative techniques for fault localization, test case generation, and debugging using machine learning and genetic programming approaches. His research has significant implications for improving software reliability and development efficiency in both traditional software systems and AI-powered applications. Professor Yoo's recent publications demonstrate a clear trend toward leveraging large language models and deep learning techniques for software engineering tasks. His work spans fault localization, automated debugging, GUI testing, and program analysis, with increasing focus on the challenges and opportunities presented by AI systems. His research shows a consistent evolution from traditional search-based software engineering to AI/ML-enhanced approaches, reflecting the broader trends in the field. ACM SIGEVO HUMIES Silver Medal (2017) for human competitive application of genetic programming to fault localization research IEEE TCSE Most Influential Paper Award (ICST 2024) for work on mutation-based fault localization Professor Yoo has supervised five PhD students to completion, with his former students now holding positions as assistant professors, post-doctoral researchers, and software engineers at institutions including Kyoungpook National University, Max-Planck Institute Security & Privacy, Università della Svizzera Italiana, Roku Korea, and NUS. He currently serves as an associate editor for the Journal of Empirical Software Engineering and ACM Transactions on Software Engineering and Methodology, and has held significant leadership roles in major software engineering conferences including Program Co-chair for SSBSE (2014), ICST (2018), and ICSE NIER track (2020), General Chair for SSBSE (2022), and Testing & Analysis Area Chair for ICSE (2024). As leader of the Computational Intelligence for Software Engineering (COINSE) group at KAIST, Professor Yoo directs research that combines computational intelligence techniques with software engineering challenges. The group focuses on developing novel approaches to software testing, debugging, and analysis using search-based and AI-driven methods. Their work spans both theoretical foundations and practical implementations, with strong connections to industry challenges and applications.

Marc Reichenbachمشاهده پروفایل

استاد

• Integrated Circuits
• Embedded Systems
• VLSI Design
• +۷ مورد دیگر

Prof. Dr.-Ing. Marc Reichenbach serves as the Chair of Integrated Systems at the Institute for Applied Microelectronics and Data Technology at the University of Rostock. His office is located at Albert-Einstein-Straße 26, 18059 Rostock, Room 102 (1st floor), with contact information including telephone (0381) 498 7270 and email marc.reichenbach@uni-rostock.de. Professor Reichenbach's research focuses on the intersection of hardware design and artificial intelligence, with particular expertise in memory technologies and computing architectures. His work spans several key areas: Development of specialized computer architectures for deep learning applications Advanced VLSI design and CPU architecture Emerging memory technologies, particularly RRAM (Resistive Random-Access Memory) FPGA-based acceleration systems Hardware implementations for neural networks and AI applications Analysis of Professor Reichenbach's recent publications (2023-2025) reveals a strong focus on memory computing technologies, particularly RRAM-based systems. His work demonstrates expertise across multiple dimensions of computer architecture including ASIC design, FPGA acceleration, and novel memory systems. The publications show a clear trajectory toward implementing AI and machine learning capabilities directly in hardware, with applications ranging from edge computing to satellite systems. A significant portion of his recent work addresses the challenges of implementing neural networks using emerging memory technologies, focusing on efficiency, reliability, and performance optimization. Professor Reichenbach teaches several advanced courses including: Computer architectures for deep learning applications Project seminar Embedded Systems Advanced VLSI Design (Advanced CPU Design) His research group appears to be actively engaged in several cutting-edge projects related to hardware acceleration for AI applications, memory computing, and embedded systems design. The group collaborates on projects involving digital twins for hardware systems, real-time operating systems for heterogeneous architectures, and specialized computing systems for various applications from medical devices to drone technology.

• Distributed Signal Processing
• Wireless Communications
• Machine Learning
• +۳ مورد دیگر

Dr. Erma Perenda serves as Professor and Chair of Distributed Signal Processing at RWTH Aachen University, Germany, leading research within the Department of Distributed Signal Processing. Her contact details include email perenda@dsp.rwth-aachen.de and phone +49 241 80-27879, with office location at Kopernikusstraße 16, 52074 Aachen in the ICT Cubes facility. Her research spans: Distributed Signal Processing Wireless Communications Machine Learning (Deep Reinforcement Learning, Federated Learning) Modulation Classification AI-driven Network Optimization She focuses on solving real-world challenges in wireless systems including hardware impairments, channel variations, and energy efficiency through advanced AI techniques. Analysis of her 2018-2024 publications reveals consistent innovation in applying multi-agent deep reinforcement learning to wireless power allocation, developing robust modulation classification methods resilient to channel impairments, and implementing federated learning for industrial edge computing. Her work bridges theoretical machine learning with practical wireless communication constraints. Scientific Awards: No awards documented in available sources Advising and Grants: No student advisees or grant information provided Labs and Teams: Leads Distributed Signal Processing research group at RWTH Aachen University Based in ICT Cubes building focusing on wireless AI systems

Oleg Lashininمشاهده پروفایل

پژوهشگر

• Recommender Systems
• Machine Learning
• Artificial Intelligence
• +۳ مورد دیگر

Oleg Lashinin is an active researcher in the field of Recommender Systems , with a focus on Machine Learning , Temporal Modeling , and User Behavior Analysis . He has contributed to 15 recent publications spanning 2021–2025, including conference papers at ECIR, SIGIR, RecSys, and workshops like KaRS@RecSys and ORSUM@RecSys. His work explores advanced techniques such as Self-Attention Models , Time-Aware Item Weighting , and Cost-Constrained Recommendations . Key research trends in his publications include Deep Learning for sequential recommendation tasks, Crowdsourcing for explanation evaluation, and Temporal Dynamics in user behavior. Notable projects include the GPT3RecBot Telegram chatbot and the RecBaselines2023 dataset for benchmarking recommender systems.

Tassilo Pellegriniمشاهده پروفایل

استاد

• Semantic Web
• Linked Data
• Digital Business
• +۴ مورد دیگر

FH-Prof. Mag. Dr. Tassilo Pellegrini is a Professor at the University of Applied Sciences St. Pölten , leading the Institute for Innovation Systems within the Department of Digital Business and Innovation . His work bridges semantic technologies with digital business strategies. Education : Business Economics, Communication Studies, Political Science Research Focus : Semantic Web, Linked Data, Digital Media Economics, Network Neutrality, Data Licensing His publications highlight trends in Semantic Metadata for news production, Linked Data Integration , and Cloud-based Business Models under network neutrality constraints. Recent work explores thesaurus-driven knowledge organization and the economic implications of Big Data. Scientific Awards : Best Paper Award at I-Semantics 2012 Key Projects : ECO-TCO (Digital Data for Sustainability), Corporate Semantic Web initiatives Contact: tassilo.pellegrini@fhstp.ac.at

Koushik Senمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Formal Methods

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research focuses on developing software tools and methodologies to enhance programmer productivity and software quality, with expertise in Software Engineering, Programming Languages, and Formal Methods. Education: B.Tech from Indian Institute of Technology, Kanpur M.S. and Ph.D. in Computer Science from University of Illinois at Urbana-Champaign Research Focus: Professor Sen pioneers automated testing techniques including concolic testing and DART (Directed Automated Random Testing). His work bridges formal methods with practical software development, emphasizing bug detection, program synthesis, and AI-driven software analysis tools. Recent innovations include machine learning approaches for code recommendation and fuzzing. Publication Trends: His recent publications (2019-2023) demonstrate strong emphasis on fuzzing techniques, program synthesis, and AI/ML applications in software engineering. Notable domains include smart contract security, automated testing, and developer tooling, with frequent collaborations in top-tier conferences. Awards and Honors: NSF CAREER Award (2008) Sloan Foundation Fellowship (2011) IFIP TC2 Manfred Paul Award (2010) Okawa Foundation Research Grant (2015) Multiple ACM SIGSOFT Distinguished Paper Awards UIUC Distinguished Alumni Educator Award (2014) Leadership: Active program committee member for premier conferences (PLDI, ICSE, ISSTA) and keynote speaker. His research is supported by NSF, Okawa Foundation, and Sloan Foundation.

Rolf Wankaمشاهده پروفایل

استاد

• Algorithms
• Combinatorial Optimization
• Swarm Intelligence
• +۳ مورد دیگر

Prof. Dr. Rolf Wanka is a Professor at the Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), specializing in efficient algorithms and combinatorial optimization. His research focuses on swarm intelligence, discrete optimization algorithms, and scheduling problems, particularly in timetabling and robotics applications. Education : Sc.D. (Dr. rer. nat.) in Computer Science His work includes theoretical and experimental analyses of particle swarm optimization (PSO) algorithms, addressing runtime complexity, stagnation behavior, and convergence properties. He has developed novel heuristics for timetabling and sorting problems, with applications in multi-robot systems and medical imaging. Notable collaborations include studies on Markov chain-based PSO and fairness in academic scheduling. Key trends in his recent publications span swarm intelligence , discrete optimization , and scheduling heuristics , with a focus on robust timetabling , runtime analysis , and stochastic algorithm behavior . While no explicit scientific awards are listed, his mentorship in the Max Weber-Programm highlights his advisory role in academia. His publications demonstrate interdisciplinary applications of algorithms in robotics , medical imaging , and parallel computing , leveraging both theoretical rigor and practical experimentation. The full description below provides exhaustive details on his academic contributions and affiliations.

• Artificial Intelligence
• Automated Planning
• Temporal Reasoning
• +۴ مورد دیگر

Alfonso Emilio Gerevini is a prominent researcher in artificial intelligence with over 30 years of continuous academic contributions. His work spans theoretical foundations of automated planning to practical healthcare applications, with recent publications demonstrating significant impact in both traditional AI domains and emerging interdisciplinary areas. His research interests focus on automated planning systems , temporal reasoning , and multi-agent coordination , with recent expansion into healthcare applications using machine learning techniques. Gerevini has made fundamental contributions to planning algorithms, particularly in width-based search, case-based planning, and privacy-preserving multi-agent planning. His work on PDDL (Planning Domain Definition Language) has been influential in standardizing planning representations. Analysis of his 15 most recent publications reveals a strategic evolution from core planning research toward impactful healthcare applications, particularly during the COVID-19 pandemic. While maintaining his expertise in planning algorithms, he has successfully integrated machine learning techniques to address real-world medical challenges including radiology report analysis, prognosis prediction, and lab test interpretation. His work demonstrates exceptional versatility across both theoretical and applied domains of artificial intelligence. Gerevini maintains a robust collaborative network, primarily with Italian researchers including Ivan Serina, Alessandro Saetti, and Luca Putelli. His publications appear consistently in top-tier AI venues including Artificial Intelligence journal, Journal of Artificial Intelligence Research, and AAAI/ICAPS conferences. The collaborative patterns suggest he leads a significant research group focused on advancing planning systems while applying them to critical real-world problems.

• Eye Tracking Methodology
• Human-Computer Interaction
• Computer Graphics
• +۵ مورد دیگر

Andrew T. Duchowski is a Professor at Clemson University, specializing in Eye Tracking Methodology, Human-Computer Interaction, and Computer Graphics. His work spans over two decades with significant contributions to gaze-based interaction systems, foveated rendering, and cognitive load measurement. He authored three editions of the influential textbook Eye Tracking Methodology (Springer, 2003/2007/2017). Duchowski's research integrates eye movement analysis with applications in virtual reality, medical imaging (e.g., colonography viewers), and aviation safety. He actively collaborates with institutions globally and serves on editorial boards for journals like Proceedings of the ACM on Human-Computer Interaction . His recent projects include developing real-time gaze analytics pipelines and exploring entropy-based metrics for visual attention analysis. Publications (selected 15 recent): Focus on advancing gaze interaction in immersive environments, optimizing 3D visualization, and measuring cognitive load through pupillary activity and microsaccades. Key co-authors include Krzysztof Krejtz, Matias Volonte, and Donald House.

Giles Regerمشاهده پروفایل

مدرس ارشد

• Automated Theorem Proving
• Runtime Verification
• Program Verification
• +۷ مورد دیگر

Giles Reger is a Senior Lecturer in the Formal Methods Group of the School of Computer Science at the University of Manchester. He completed his BA in Computer Science at the University of Cambridge in 2009, followed by an MSc in Advanced Computer Science at the University of Manchester in 2010 (awarded Highest Achiever of the Year), and earned his PhD from the University of Manchester in 2014 with a thesis titled "Automata based monitoring and mining of execution traces". His research spans several key areas within computer science: Automated Theorem Proving (first-order) Saturation-based techniques Reasoning with theories and quantifiers Finite Model finding Collaborative and Concurrent proof attempts Runtime Monitoring/Verification Temporal specification languages Specification Mining/Inference Dr. Reger leads multiple EPSRC-funded research projects including SCorCH (Secure Code for Capability Hardware), CAPS (Collaborative Architectures for Proof Search), and QuTie (reasoning with Quantifiers and Theories). His work on the Vampire theorem prover and MarQ monitoring tool demonstrates his bridge between theoretical computer science and practical applications. Recent publications show strong focus on runtime verification, theorem proving, and program analysis with applications to security and performance monitoring. Notable awards: Highest Achiever of the Year Award for MSc studies Dr. Reger collaborates extensively with institutions including the University of Oxford, Arm, Amazon Web Services, and CERN (CMS Experiment). As Manchester lead on the SCorCH project, he develops formal analysis tools for security-aware hardware chips. His work on the VyPR framework enables developers to analyze Python program performance through temporal specification languages and monitoring algorithms.

Zhongxin Liuمشاهده پروفایل

استادیار

• Intelligent Software Engineering (AI4SE)
• Code Intelligence
• Vulnerability Detection
• +۵ مورد دیگر

Zhongxin Liu is an Assistant Professor at the College of Computer Science and Technology , Zhejiang University , China. He earned his Ph.D. from the same institution in 2021. His research focuses on Intelligent Software Engineering (AI4SE) , leveraging software "big data" to improve code understanding, generation, and security through machine learning techniques. Published in top-tier venues: TSE, TOSEM, ICSE, FSE, ASE, ISSTA Active in academic service: Reviewer for TSE, TOSEM, ASEJ, etc. Visiting Professor at University of Stuttgart (2024-2025) His recent work explores Large Language Models (LLMs) for code intelligence, security hardening, and vulnerability detection. Papers emphasize cross-domain applications, zero-shot learning, and API/code dependency analysis. Scientific awards include: ACM SIGSOFT Distinguished Paper Awards (ASE 2018, 2019, 2020; ISSTA 2025) Zhejiang University Qizhen Scholar (2021) CCF TCSE Doctoral Dissertation Award (2023) Recruiting undergraduate interns, graduate students (MS/Ph.D.), and postdocs for code intelligence research. Contact: liu_zx@zju.edu.cn .

Claire Le Gouesمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Defect Repair
• +۵ مورد دیگر

Claire Le Goues is a Professor of Computer Science at Carnegie Mellon University, primarily affiliated with the Software and Societal Systems Department (S3D) within the School of Computer Science (SCS). She serves as the Associate Department Head for Faculty within S3D and leads the squaresLab research group. Le Goues also co-directs the REUSE@CMU summer program and teaches software engineering and program analysis at undergraduate, master's, and PhD levels. Her research spans software engineering and programming languages, with a particular focus on how to construct, maintain, evolve, improve/debug, and assure high-quality software systems. Le Goues has made significant contributions to automated program repair, program analysis, and defect detection. Her work often bridges theoretical foundations with practical applications, addressing real-world challenges in software development and maintenance. Le Goues' recent publications demonstrate a clear trend toward integrating large language models and generative AI with traditional software engineering techniques. Her research examines how these technologies can enhance program repair (BatFix, AdverIntent-Agent), vulnerability detection (Interpretable Vulnerability Detection Reports), and testing (LWDIFF for WebAssembly). This represents an evolution from her earlier foundational work in program repair (GenProg) toward leveraging contemporary AI advancements. She has mentored numerous students through her squaresLab research group and has been instrumental in developing educational programs that prepare the next generation of software engineers. Le Goues is also known for her advocacy for double-blind review processes in academic conferences, having implemented this approach when co-chairing the Symposium for Search-Based Software Engineering in 2014.