جستجوی استاد راهنمای دانشگاهی

• Natural Language Processing
• Speech Recognition
• Machine Learning
• +۵ مورد دیگر

Dietrich Klakow is a prominent researcher at Saarland University in Saarbrücken, Germany, with an extensive publication record spanning from 1997 to 2025. His work primarily focuses on natural language processing, speech recognition, and machine learning with significant contributions to multilingual models and African language processing. His research interests span a wide range of topics within computational linguistics and artificial intelligence. Klakow has made substantial contributions to Natural Language Processing , particularly in multilingual contexts and low-resource languages. His work on African language technologies has been particularly impactful, developing resources and models for languages that are often neglected in mainstream NLP research. He has also conducted significant research in speech recognition , transformer models , and computational linguistics , with a focus on practical applications and theoretical foundations. Klakow's recent publications demonstrate a strong focus on large language models, their capabilities, limitations, and applications across diverse linguistic contexts. His work spans both theoretical investigations of model architectures and practical applications addressing real-world challenges in language technology. His collaborative work spans numerous international partnerships, particularly with researchers working on African language technologies and multilingual NLP systems.

• Fuzzy Logic
• Temporal Logic
• Knowledge Engineering
• +۴ مورد دیگر

Krystian Jobczyk is a Professor at the Department of Applied Informatics , Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering , AGH University of Science and Technology in Kraków. His research focuses on fuzzy logic, temporal logic, and their applications in knowledge engineering, artificial intelligence, and business process modeling. He is affiliated with the Disciplinary Council for Technical Information Technology and Telecommunications at AGH. Research Interests : Fuzzy logic systems and their categorial interpretations Temporal logic frameworks (e.g., Halpern-Shoham logic) for digital circuits and planning Process mining and business process modeling Philosophical and model-theoretic aspects of logic Publications highlight his work on fuzzy-temporal integrations, multi-agent systems, and logic-based verification methods. Key trends include applications of fuzzy integral logic, convolution-based approaches, and interdisciplinary bridges between logic and computer science. Contact : jobczyk@agh.edu.pl | krystian_jobczyk@op.pl | +48 12 617 50 64 | Room 319, Building C-2, 3rd floor.

Radosław Klimekمشاهده پروفایل

استاد

• Formal Methods
• Software Verification
• Context-Aware Systems
• +۵ مورد دیگر

Radosław Klimek serves as a Professor at AGH University of Science and Technology in Kraków, affiliated with the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering within the Department of Applied Computer Science . His office is located in room C-2 404, and he maintains active contact through email and office hours (Thursdays 11:00-12:00). His research centers on formal methods and software verification , with significant contributions to context-aware systems , logical specifications , and process mining . Key areas include: Deduction-based verification of behavioral models Automatic generation of logical specifications Smart environment applications for rescue operations and tourism Temporal logic applications in software engineering His work bridges theoretical computer science with practical implementations in environmental monitoring and public safety systems. His publication record demonstrates consistent output in high-impact venues, with recent focus on LLM integration for model verification (2025) and context-aware systems for forest monitoring (2024). The research trajectory shows evolution from foundational work in temporal logic (1990s) to contemporary applications in smart environments and AI-assisted verification. No scientific awards were explicitly mentioned in the source materials. Professor Klimek maintains active teaching responsibilities with defined office hours for student consultations. His research spans multiple domains including smart city infrastructure, environmental monitoring systems, and formal verification frameworks. Current projects involve context-aware systems for mountain rescue operations and police interventions, leveraging sensor networks and real-time data processing. His laboratory work focuses on contextual data modeling and deduction-based verification systems , with practical implementations in: Forest monitoring networks Intelligent queue management Tourist assistance applications Smart contract validation These projects integrate formal methods with real-world environmental and public safety challenges.

• Formal Methods
• Embedded Systems
• Real-Time Systems
• +۳ مورد دیگر

Tomasz Szmuc serves as a Professor in the Department of Applied Informatics at the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology in Kraków. His primary office is located in building C-2, room 402, with contact available via phone (+48 12 617 28 32) or email (tsz@agh.edu.pl). Professor Szmuc's research centers on formal methods for embedded and real-time systems, specializing in model-based verification techniques using AADL, SysML, and Petri nets. His work establishes rigorous frameworks for ensuring correctness in critical system development, with significant contributions to consistency preservation and behavioral modeling. The research demonstrates consistent evolution from theoretical foundations in LOTOS and TCP-nets toward contemporary embedded systems applications. Analysis of his recent publications reveals dominant trends in embedded systems verification through model transformations, with strong emphasis on cyber-physical systems integration and rough set theory applications for data analysis. His scholarly output consistently bridges theoretical formal methods with practical engineering challenges in safety-critical domains.

• Constraint Solving
• Computational Logic
• Algorithm Design
• +۳ مورد دیگر

Vasco Manquinho is an Associate Professor affiliated with the University of Lisbon. He is actively involved in the Software Algorithms and Tools for Constraint Solving (SAT Group) , focusing on computational logic and constraint-solving algorithms. His teaching responsibilities include Introduction to Algorithms and Data Structures , Algorithms for Computational Logic , and Automatic Reasoning and Computational Logic . Emails: vasco.manquinho@tecnico.ulisboa.pt vasco.manquinho@inesc-id.pt

Josh Sunshineمشاهده پروفایل

دانشیار

• Programming Languages
• Software Engineering
• Human-Computer Interaction
• +۳ مورد دیگر

Josh Sunshine is an Associate Professor in the Software and Societal Systems Department (S3D) at Carnegie Mellon University's School of Computer Science, with a courtesy appointment in the Human-Computer Interaction Institute. He directs the NSF-funded REUSE program (Research Experiences for Undergraduates in interdisciplinary Software Engineering), providing summer research opportunities for diverse undergraduates across computer science domains including human-computer interaction, programming languages, and software security. His educational background includes a PhD in Software Engineering from Carnegie Mellon University (2013) under Jonathan Aldrich, and a BS from Brandeis University (2004) followed by four years as a software engineer. Prior academic training informs his industry-relevant research approach. Professor Sunshine's research spans programming languages, software engineering, and human-computer interaction with concentrated focus on usability of reusable software components. He investigates how developers interact with libraries, APIs, and testing tools, seeking to bridge formal methods with practical usability through human-centered design. Recent work develops tools that make verification and testing more accessible without sacrificing rigor. Analysis of his 15 most recent publications reveals strong emphasis on human-in-the-loop systems: 60% address software testing/tooling (e.g., TerzoN, Nanofuzz), 25% focus on visualization/education (e.g., Edgeworth), and 15% explore programming language safety (e.g., Rust studies). The work consistently combines empirical user studies with technical innovation, targeting real-world developer pain points. Scientific recognition includes: NSF CAREER Award (2024) for "Scientist-in-the-loop software testing" Best Paper Nominee at ACM Conference on Learning @ Scale (2024) for Edgeworth research Through the REUSE program, Professor Sunshine mentors 15-20 undergraduates annually in collaborative research with faculty including Charlie Garrod and Claire Le Goues. His grant portfolio centers on two major NSF awards: the REUSE site ($1.2M) and CAREER grant ($500k), supporting both research and educational outreach. Current projects integrate testing automation with human judgment and develop scalable tools for visual thinking in STEM education. As a core S3D faculty member, he contributes to CMU's interdisciplinary mission through the Human-Computer Interaction Institute collaboration. His REUSE program specifically builds inclusive research pathways, with 40% participation from underrepresented groups in computing. Future work focuses on expanding the "scientist-in-the-loop" paradigm across software engineering tasks.

• Automated Reasoning
• Theorem Proving
• Artificial Intelligence
• +۳ مورد دیگر

Stephan Schulz is a Professor at the Baden-Wuerttemberg Cooperative State University Stuttgart (DHBW Stuttgart) in the Faculty of Engineering, where he serves as the Program Director for Computer Science. His office is located in room B 3.14 at Lerchenstraße 1, 70174 Stuttgart, Germany. Professor Schulz is a leading researcher in automated reasoning and theorem proving, with extensive experience teaching computer science courses including Formal Languages and Automata, Logic and Foundations of Computer Science, Compiler Construction, and Algorithms. Professor Schulz's primary research interest lies in automated reasoning, specifically developing efficient algorithms and intelligent search control for automatic theorem proving. His long-term goal is integrating high-performance inference mechanisms with machine learning techniques to create robust reasoning systems across diverse domains. He is the principal developer of the E Theorem Prover, a high-performance system for full first-order logic with equality that has performed exceptionally well in international competitions like CASC. His recent publications demonstrate a clear trend toward extending theorem proving capabilities to higher-order logic while maintaining performance. Schulz has made significant contributions to practical aspects of automated reasoning, including watchlist implementations, contradiction detection in large theories, and the integration of machine learning techniques to improve search heuristics in theorem provers. Professor Schulz has received multiple prizes for his work on the E Theorem Prover, though specific award names are not detailed in the available information. His contributions to the field have been recognized through leadership roles in major conferences. Professor Schulz actively mentors students through project work (Studienarbeiten) at DHBW Stuttgart and has taught numerous courses throughout his career at institutions including the University of Miami, Mona Institute of Applied Sciences, Universität Hildesheim, and INRIA/MPI. While specific grant information isn't provided, his sustained development of the E Theorem Prover suggests ongoing research support. Professor Schulz is significantly involved with several workshop and conference series including the International Workshop on the Implementation of Logics (IWIL), Practical Aspects of Automated Reasoning (PAAR), and Artificial Intelligence and Theorem Proving (AITP). His current roles include PC co-chair for the 15th IWIL (2024) and 9th AITP (2024), and PC member for multiple other conferences including the 25th LPAR (2024) and 12th IJCAR (2024).

Enrico Tronciمشاهده پروفایل

استاد

• Model Checking
• Cyber-Physical Systems
• Software Engineering
• +۷ مورد دیگر

Enrico Tronci is a Full Professor in the Department of Computer Science at Università degli Studi di Roma La Sapienza , Italy. His research focuses on model checking, formal verification, and synthesis of cyber-physical systems, with applications to mission-critical and safety-critical domains such as space systems, smart grids, and healthcare. He leads the Model Checking Lab (MCLab) and has coordinated numerous national and international research projects funded by organizations including the European Community (EC), European Space Agency (ESA), and Italian Ministry of University and Research (MUR). Research Highlights : Automatic control software synthesis from closed-loop specifications Model checking algorithms for hybrid and stochastic systems Technology transfer in sectors like energy, transportation, and aerospace Teaching : Undergraduate: Software Engineering (Fall 2024) Graduate: Automatic Verification of Intelligent Systems (Fall 2024), Verification and Validation of Intelligent Systems (Spring 2025) Scientific Awards : Recipient of the IBM-Italia 1987 prize for best thesis in Artificial Intelligence Publications Trends : 2024: Scaling up model checking for cyber-physical systems via HPC 2023: Hormonal impact on behavior and fault-tolerant sensor deployments 2021-2022: In silico clinical trials, smart grid management, and scenario enumeration 2020: AI-guided diabetes patient modeling and forensic psychiatry applications Software Tools : QKS (Quantized Kontrol Synthesizer) NashMV (MAD systems verification) CMurphi (Hybrid systems model checker) FHP-Murphi (Probabilistic verification) BSP (Boolean symbolic programming)

Sam Westrickمشاهده پروفایل

استادیار

• Parallel Programming
• Functional Programming
• Compiler Design
• +۴ مورد دیگر

Sam Westrick is an Assistant Professor in the Courant Institute of Mathematical Sciences at New York University . Previously, he was a postdoctoral researcher at Carnegie Mellon University , where he also earned his PhD in 2022 . Research Focus : Provably efficient implementations of high-level parallel programming languages, with key contributions in parallel garbage collection , automatic granularity control , and functional language design Teaching : Currently teaching CSCI-GA.3033-121: Programming Parallel Algorithms at NYU; was a TA for CMU courses 15-210 and 15-122 His work includes the development of MaPLe (MPL) , an open-source parallel functional language with performance comparable to C/C++. Notable awards include the SIGPLAN Reynolds Doctoral Dissertation Award (2023) and best/distinguished paper recognitions at QCE'24, POPL'24, and others. Selected Publications explore topics like quantum circuit simulation , cache coherence specialization , and separation logic for disentanglement . Active in conference service as ML Family Workshop chair and PLDI/SPAA committee member. Mentoring : Advises PhD students, master's and undergraduate researchers at NYU and CMU Collaborators : Umut Acar, Guy Blelloch, Stephanie Balzer, and 20+ others

Niranjan Balasubramanianمشاهده پروفایل

استادیار

• Natural Language Processing
• Information Retrieval
• Question Answering
• +۳ مورد دیگر

Niranjan Balasubramanian is an Assistant Professor in the Department of Computer Science at Stony Brook University with additional affiliations in the Department of Biomedical Informatics and the Center of Excellence in Wireless & Information Technology (CEWIT). His research focuses on Natural Language Processing and Information Retrieval systems that extract, understand, and reason over textual information. Education: PhD, University of Massachusetts Amherst (Center for Intelligent Information Retrieval) MS, Computer Science, University at Buffalo (2003) His research spans question answering for elementary education, event schema generation from news, machine learning for information retrieval, energy-efficient mobile search, and automatic Wikipedia content generation. Recent work explores causal reasoning in event extraction, multimodal claim verification, authorship fairness, and secure coding with large language models. Analysis of his 15 most recent publications (2024-2025) reveals intensive focus on advancing NLP through causal/temporal reasoning, multimodal verification, and LLM optimization. Key trends include psychological modeling of human language, energy-efficient architectures, and addressing misattribution in authorship analysis. Scientific Awards: No awards mentioned in provided text Advising and grants information was not provided in the source materials. His postdoctoral background at the University of Washington's Turing Center and industry experience at Syracuse University's Center for Natural Language Processing inform his applied research approach. Labs and Teams: Affiliated with Stony Brook's Center of Excellence in Wireless & Information Technology (CEWIT), contributing to interdisciplinary AI initiatives while maintaining primary focus in the Computer Science department.

Shachar Itzhakyمشاهده پروفایل

دانشیار

• Program Synthesis
• Automated Reasoning
• Functional Programming
• +۵ مورد دیگر

Shachar Itzhaky is an Associate Professor in the Department of Computer Science at Technion - Israel Institute of Technology, Haifa. His research spans multiple areas of programming languages, formal methods, and software engineering, with a focus on making program development and verification more accessible and efficient. He has served on program committees for numerous prestigious conferences including PLDI, POPL, SPLASH, and ICFP. Dr. Itzhaky's research interests center around program synthesis, automated reasoning, and formal verification. His work in program synthesis explores techniques for automatically generating programs from high-level specifications, with applications in end-user programming and software development. In automated reasoning, he has made significant contributions to e-graph based reasoning, invariant inference, and property-directed verification. His research in formal methods focuses on practical applications for program verification, particularly for data structures and security properties. An analysis of his recent publications reveals a strong focus on leveraging advanced formal techniques for practical program understanding and generation. His work consistently bridges theoretical foundations with practical applications, particularly in program synthesis, verification, and end-user programming tools. The trend shows increasing integration of machine learning techniques with traditional formal methods, as well as expanding applications to security and privacy domains. ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award Dr. Itzhaky has been actively involved in the programming languages research community, serving on numerous program committees and contributing to the advancement of formal methods and program synthesis. His work has practical implications for software development tools, security analysis, and end-user programming environments. While specific grant information isn't detailed in the provided text, his extensive publication record in top-tier venues suggests successful funding for his research endeavors. His work on projects like Object Spreadsheets and Lifty demonstrates a commitment to creating practical tools that address real-world programming challenges. Dr. Itzhaky's research is conducted within the vibrant programming languages and formal methods group at Technion's Computer Science department. His work intersects with multiple research threads including program synthesis, verification, and security, suggesting collaboration across these areas within the department. His tools like EPR-based Verification, PDR∀, and VeriCon represent significant technical contributions that likely form the basis of ongoing research projects with students and collaborators.

Gilbert Bernsteinمشاهده پروفایل

استادیار

• Computer Graphics
• Programming Languages
• High-Performance DSLs
• +۷ مورد دیگر

Gilbert Bernstein is an Assistant Professor in the Computer Science & Engineering department within the College of Engineering at the University of Washington. His research bridges computer graphics and programming languages, with a focus on high-performance domain-specific languages. Previously, he was a post-doctoral scholar at UC Berkeley and MIT working with Jonathan Ragan-Kelley, and received his PhD from Stanford University under Pat Hanrahan. His research interests span Computer Graphics, Programming Languages, High-Performance DSLs, Physical Simulation, Geometry & Topology, Differentiable Programming, Hardware DSLs, Tools for Artists, Fabrication, and Human-Computer Interaction. Bernstein develops languages and compilers that enable efficient computation for creative applications, physical simulations, and graphics rendering systems. His recent publications reveal strong trends in differentiable programming for graphics applications, domain-specific languages for hardware acceleration, and computational approaches to traditional crafts like quilting and knitting. His work consistently combines formal language theory with practical applications in graphics and fabrication. Bernstein actively mentors students across multiple institutions including current advisees Felix Hahnlein (UW Postdoc), Ryan Zambrotta (UW PhD), Haoran Peng (UW PhD), and previous students including Alex Reinking (UC Berkeley PhD 2022, now at Qualcomm) and MacKenzie Leake (Stanford PhD 2021, now at Adobe Research). His lab works on diverse projects including debugging CAD programs, compilers for finite element methods, semantics for knitting machines, algebraic scheduling of tensor programs, and exocompilers for hardware accelerators. Bernstein also collaborates on DSLs for networking, Counterstrike bots, gradient-based optimization, memory management, hardware design, and garment design tools.

Konstantinos Kallasمشاهده پروفایل

استادیار

• Computer Systems
• Compilers
• Programming Languages
• +۱ مورد دیگر

Konstantinos Kallas serves as Assistant Professor of Computer Science at the University of California, Los Angeles (UCLA), commencing his appointment in January 2025. Previously affiliated with the University of Pennsylvania as evidenced by his 2020 PLDI contribution, his research bridges theoretical formal methods with practical systems engineering across multiple high-impact conferences including PLDI, POPL, and SPLASH. His research program centers on enhancing computational efficiency and correctness in systems software, with three flagship projects defining his trajectory: PaSh for automatic shell script parallelization, Durable Functions for stateful serverless computing semantics, and DiffStream for differential testing of stream processing. These efforts consistently target the intersection of programming language theory and real-world systems constraints, particularly in parallelism, concurrency, and cloud-native environments where correctness guarantees are challenging to implement. Analysis of his publication history since 2020 reveals a methodological pattern: developing formal semantic models to enable practical optimizations in distributed systems. His work increasingly focuses on serverless architectures and data-intensive pipelines, with recent contributions emphasizing automated verification techniques. The evolution from shell script optimization (2020-2021) to serverless state management (2021-2022) demonstrates strategic expansion into cloud computing's hardest problems. Dr. Kallas actively contributes to the academic community through program committee service for PLDI (2022, 2025), POPL (2021, 2022, 2023), and SPLASH (2020-2023), including leadership roles as Publicity Co-Chair for PLDI 2025 and 2026. His June 2024 announcement confirms recruitment for Fall 2025 students at UCLA, targeting researchers interested in systems, compilers, and programming languages who can advance his work on correctness-preserving parallelization and serverless computing.

Dalal Alrajehمشاهده پروفایل

دانشیار

• Requirements Engineering
• Specification Synthesis
• Formal Methods
• +۳ مورد دیگر

Dalal Alrajeh serves as a Reader (equivalent to Associate Professor) in the Department of Computing within the Faculty of Engineering at Imperial College London. She maintains an active research profile and contributes significantly to the software engineering academic community through conference service. Her research specializes in formal requirements engineering, with particular expertise in specification synthesis and logic-based learning techniques. Her work bridges theoretical foundations with practical applications in software verification, focusing on methods to automatically generate and adapt formal specifications for assured adaptive systems. Dr. Alrajeh demonstrates strong community engagement through extensive service on program committees for premier software engineering conferences including ASE, ICSE, and ESEC/FSE across multiple years (2021-2026). Her technical contributions include work on adaptation frameworks for specification learners in assured adaptive systems, as evidenced by her NIER track publication at ICSE 2021.

Yun Linمشاهده پروفایل

دانشیار

• Automatic programming
• Software debugging
• Software testing
• +۸ مورد دیگر

Yun Lin is an Associate Professor and Deputy Head of the Department of Computer Science and Technology at Shanghai Jiao Tong University's School of Computer Science. Prior to joining SJTU, Lin served as a Research Assistant Professor at the National University of Singapore working with Prof. Dong Jin Song. Lin leads the CoPhi ("Code Philia") research group, which focuses on the intersection of Software Engineering, AI, and Security. Lin's research spans three major areas: Automatic Programming (including code editing, software testing, and debugging), Explainable AI (focusing on representation interpretation and training data attribution), and Web Misinformation (particularly phishing and scam detection). The research has resulted in numerous tools including CoEdPilot for code editing recommendation, DeepDebugger for interactive debugging of deep classifiers, and Phishpedia for phishing webpage detection. Lin's recent publications demonstrate a strong trend toward integrating AI techniques, particularly large language models and vision language models, with traditional software engineering and security tasks. The work shows increasing sophistication in understanding project context, handling interactive nature of programming tasks, and addressing security challenges in the age of generative AI. Key themes include consistency-based approaches for anomaly detection, agent-based frameworks for complex tasks, and hybrid models that combine symbolic reasoning with neural approaches. ACM Distinguished Paper Award in ICSE'18 for "Towards Optimal Concolic Testing" Distinguished Reviewer Award in FSE'25 2nd prize Research Prototype Award in ChinaSoft'24 Lin advises a large team of PhD, Master's, and undergraduate students, with several publications co-authored with students appearing in top venues. Current research is supported by collaborations with National University of Singapore, particularly with Prof. Dong Jin Song, and includes projects on code editing, GUI testing, and phishing detection. The CoPhi group maintains active development of multiple research tools and datasets. The CoPhi research group under Lin's leadership focuses on building practical tools that bridge the gap between theoretical advances and real-world programming and security challenges. The group's work spans from fundamental program analysis techniques to applied security solutions, with an increasing emphasis on leveraging AI capabilities while maintaining explainability and reliability.