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

Cyrille Arthoمشاهده پروفایل

دانشیار

• Software Verification
• Software Engineering
• Concurrent Systems
• +۵ مورد دیگر

Cyrille Artho is an Associate Professor at the KTH Royal Institute of Technology's School of Computer Science and Communication. He obtained his Master's and Ph.D. degrees from ETH Zurich, with research focused on finding faults in multi-threaded programs. Before joining KTH in 2016, he held research positions at the National Institute of Informatics in Tokyo and the National Institute of Advanced Industrial Science and Technology (AIST) in Japan. His research interests include: Software verification and software engineering Concurrent and networked systems Model-based testing and runtime verification Fault injection techniques Formal methods for distributed systems His recent publications demonstrate strong focus on model checking, test generation, and verification techniques for concurrent/distributed systems, with applications ranging from IoT protocols to Android devices. Notable trends include the development of specialized testing tools and formal verification approaches. Awards and recognitions: ACM SIGSOFT Distinguished Paper Award (ASE 2015) QRS 2015 best paper award Best tool competition winner at SBST 2015 He leads development of several verification tools including Modbat (model-based tester) and Java PathFinder extensions. He is also involved in the KTH Center for Cyber Defense and Information Security management group.

Parosh Aziz Abdullaمشاهده پروفایل

استاد

• Concurrency
• Distributed Systems
• Program Verification
• +۵ مورد دیگر

Parosh Aziz Abdulla is a Chaired Professor at the Department of Information Technology, Uppsala University, Sweden. He is a prominent researcher in the field of theoretical computer science with a focus on formal methods, concurrency, and program verification. His work bridges theoretical foundations with practical applications in software and hardware verification. Professor Abdulla's primary research interests include Concurrency, Distributed Systems, Program Verification, Model Checking, Automata, and Logic. His work spans both theoretical aspects of computer science and practical verification techniques for concurrent and distributed systems. He has made significant contributions to the understanding of memory models, particularly in the context of modern architectures like x86 with persistent memory. His research has evolved from foundational work on infinite-state systems to practical verification techniques for concurrent programs and string constraints. Professor Abdulla has served on numerous program committees for top-tier conferences including PLDI, POPL, CAV, CONCUR, and TACAS, demonstrating his standing in the research community. He has been PC co-Chair for TACAS'11 and has contributed to many other conferences over the years. As an advisor, Professor Abdulla has supervised numerous PhD students to completion, with graduates working on topics ranging from verification of networks of communicating processes to caches, transactions, and memory models. His students have gone on to successful careers in academia and industry. Professor Abdulla maintains an active research agenda, with recent work focusing on verification of quantum circuits, efficient linearizability monitoring, and verification under Intel-x86 with persistency. His research continues to address fundamental challenges in program verification while adapting to new computing paradigms and hardware architectures.

Bor-Yuh Evan Changمشاهده پروفایل

دانشیار

• Programming Languages
• Program Analysis
• Software Verification
• +۳ مورد دیگر

Bor-Yuh Evan Chang serves as an Associate Professor in the Department of Computer Science at the University of Colorado Boulder, holding a courtesy appointment in the Department of Electrical, Computer, and Energy Engineering. He co-directs the Programming Languages and Verification Group (CUPLV) and maintains an industry affiliation as an Amazon Scholar, bridging academic research with practical software engineering challenges. His research spans Programming Languages, Program Analysis, and Software Verification with emphasis on Abstract Interpretation, Static Analysis, and Distributed Systems. Chang's work focuses on developing algorithmic techniques to enhance software quality and developer productivity, particularly through automated reasoning for specification assistance, alarm triage, and repository-based improvement. Current investigations target real-world applications including Android programming models and distributed algorithm verification. Analysis of Chang's 15 most recent publications reveals a consistent trajectory in program analysis foundations with increasing focus on distributed systems verification. His work demonstrates evolution from callback analysis in mobile applications (2017-2019) toward sophisticated cost analysis and distributed consistency models (2021-2026), maintaining strong connections between theoretical abstract interpretation and practical tool implementation. Chang actively shapes the programming languages community through leadership roles including PLDI 2026 General Chair and SAS Steering Committee membership. He has served on program committees for every major venue in the field including PLDI, POPL, and SPLASH across 12 consecutive years (2015-2026). As co-director of CUPLV, Chang leads research efforts in formal methods for modern software systems. His group develops techniques for program analysis, verification, and automated reasoning with direct applications to industrial-scale codebases through the Amazon Scholar collaboration.

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

دانشیار

• Compilers
• Programming Language Design
• Performance Programming
• +۸ مورد دیگر

Tobias Grosser is an Associate Professor in the Department of Computer Science and Technology at the University of Cambridge. His research focuses on compiler technology, programming language design, and performance programming, with applications spanning hardware design, climate science, and quantum computing. He leads a research group developing innovative compiler frameworks and tools that bridge theoretical foundations with practical applications. Dr. Grosser completed his undergraduate studies in Computer Science at the University of Passau in Germany and pursued his PhD at École Normale Supérieure Paris as a Google PhD Fellow. Prior to joining Cambridge, he served as a Reader at the University of Edinburgh and held an Ambizione Fellowship at ETH Zurich. His research program centers on rethinking performance programming by re-connecting developers and compilers. He aims to make compilation more modular, predictable, automatic, and trustworthy while bringing open-source compiler innovation to increasingly diverse targets from GPUs to FPGAs and custom hardware. His work spans multiple domains including polyhedral compilation, constraint solving, quantum computing, and hardware design automation. Dr. Grosser is particularly interested in breaking down barriers between compilers and programmers by enabling their interaction through the programming language environment. His recent publications demonstrate a strong focus on compiler infrastructure development, particularly around the MLIR framework. He has pioneered work on Presburger arithmetic optimization with the FPL library, developed new intermediate representations for hardware description and quantum computing, and created tools for compiler education and prototyping like xDSL. His research shows a consistent theme of creating practical, high-performance compiler technologies that address real-world challenges across multiple domains. HiPEAC Technology Transfer Award 2021 for "Fast linear programming through transprecision computing on small and sparse data" OOPSLA 2021 Distinguished Paper Award for "FPL: Fast Presburger arithmetic through transprecision" Dr. Grosser actively mentors PhD students and postdoctoral researchers, currently supervising a team of over a dozen researchers working on various aspects of compiler technology. His group collaborates with industry partners including ARM and Xilinx, and maintains strong ties with the LLVM and MLIR open-source communities. He has secured funding for multiple research projects including work on verified compilation with Lean-MLIR, quantum compiler development, and hardware design automation. His research group operates at the intersection of multiple projects including Open-Source Electronic Design Automation, Seamless design of Smart Edge Processors, Lean-MLIR for verified compilation, FPL for fast Presburger arithmetic, and compilation frameworks for quantum computers. They maintain strong community engagement through regular Compiler Social events in Cambridge and active participation in LLVM developer meetings.

Gail E. Kaiserمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Software Testing
• +۳ مورد دیگر

Gail E. Kaiser is a Professor of Computer Science at Columbia University, where she conducts research in software engineering and security from a systems perspective. Her work spans program analysis, software testing, and pioneering applications of AI to software engineering (AI4SE) and vice versa (SE4AI), with significant contributions dating back to the 1980s. Education: PhD from Carnegie Mellon University ScB from Massachusetts Institute of Technology Research Focus: Professor Kaiser's work centers on static and dynamic program analysis , software testing , and software security . She pioneered applying software engineering testing techniques (particularly metamorphic testing) to machine learning software (SE4AI) during her 2005-2006 sabbatical at Columbia's Center for Computational Learning Systems. Her historical contributions include semantics-focused language-based editors (1980s-1990s, precursors to modern IDEs) and self-adaptation techniques for cloud computing (late 1990s-2000s). Publication Trends: Recent publications (2020-2024) reveal intense focus on AI-software engineering intersections: developing code generation/refinement systems (CYCLE), cross-lingual code search models (REINFOREST), execution-aware pre-training (TRACED), and specialized testing for deep learning systems. Her work consistently bridges traditional program analysis with cutting-edge AI methodologies to solve complex software quality challenges. Academic Service: Kaiser maintains active leadership in the research community through program committee roles at top conferences including PLDI, ICSE, ESEC/FSE, ASE, and SPLASH from 2013-2025. Her GitHub profile (gailkaiser) hosts course materials like COMS W4156 Advanced Software Engineering, demonstrating ongoing educational impact.

Thomas Lembergerمشاهده پروفایل

پژوهشگر

• Software Verification
• Code Analysis
• Software Testing
• +۵ مورد دیگر

Dr. Thomas Lemberger is a researcher at the Software and Computational Systems Lab in the Department of Computer Science at Ludwig-Maximilians-Universität München (LMU Munich). He holds a PhD and is actively involved in software verification research, particularly with the CPAchecker framework. His work spans multiple aspects of formal methods and software testing. Dr. Lemberger's research focuses on software verification, code analysis, software testing, fault localization, and program repair. His work explores cooperative approaches across test generation and formal verification, aiming to combine the strengths of different verification techniques. He has made significant contributions to distributed verification, witness-based validation, and fault localization techniques. His research often addresses practical challenges in scaling verification to real-world software systems. His publication record shows a strong focus on decomposing verification tasks into manageable components, improving verification efficiency through parallelization, and creating practical tools that bridge the gap between theoretical verification techniques and practical software development workflows. Recent work emphasizes cooperative verification approaches that combine multiple techniques to overcome individual limitations. Dr. Lemberger has been nominated for best paper at SPIN 2024 for his work on fault localization with verification witnesses, highlighting the recognition of his contributions to the field. He actively mentors numerous BSc and MSc students on various verification-related topics, covering areas from microservice verification to automatic program repair. His research is supported by German Research Foundation (DFG) projects including DFG-CONVEY, DFG-COOP, and DFG-IDEFIX. Dr. Lemberger is a key contributor to the CPAchecker verification framework and has developed tools like CoVeriTeam GUI that enable no-code composition of verification workflows. His work bridges theoretical verification research with practical tool development for real-world software engineering challenges.

Cristian Cadarمشاهده پروفایل

استاد

• Software Engineering
• Testing and Verification
• Computer Systems
• +۴ مورد دیگر

Cristian Cadar is Professor of Software Reliability in the Department of Computing at the Faculty of Engineering, Imperial College London. He leads the Software Reliability Group, focusing on automatic techniques for increasing the reliability and security of software systems. His research has significant impact in both academia and industry, particularly through the development of widely-used tools. His educational background includes a PhD in Computer Science from Stanford University, and undergraduate and Master's degrees from the Massachusetts Institute of Technology. Cristian's research primarily focuses on software reliability, security, and verification. His work spans symbolic execution, fuzzing, compiler testing, and automated techniques for finding and fixing software bugs. He has pioneered practical, scalable solutions that address real-world software challenges, with particular emphasis on security-critical applications. His research integrates formal methods with practical engineering approaches to create tools that are both theoretically sound and practically useful. Analysis of his recent publications reveals a strong focus on improving fuzzing techniques, enhancing symbolic execution systems, and developing better methods for compiler and infrastructure testing. His work consistently bridges the gap between theoretical foundations and practical implementation, resulting in tools that have substantial real-world impact. EuroSys Jochen Liedtke Award HVC Award BCS Roger Needham Award ACM SIGOPS Hall of Fame Award ACM CCS Test of Time Award ERC Consolidator Grant EPSRC Early-Career Fellowship Cristian has advised numerous PhD and Master's students, contributing significantly to the next generation of software engineering researchers. His research has been supported by prestigious grants including an ERC Consolidator Grant and an EPSRC Early-Career Fellowship. He has held leadership positions in major conferences, serving as Program Co-Chair for ESEC/FSE 2022 and General Chair for ISSTA 2021, demonstrating his standing in the research community. He leads the Software Reliability Group at Imperial College London, which maintains an active research agenda in software testing and verification. The group's work on KLEE and related tools continues to influence both academic research and industrial practice in software reliability engineering.

Vasileios Chasanisمشاهده پروفایل

پژوهشگر

• Machine Learning
• Video Analysis
• Video Summarization
• +۶ مورد دیگر

Vasileios Chasanis is a researcher at the Department of Computer Science & Engineering, University of Ioannina, specializing in machine learning applications for video analysis, summarization, and surveillance systems. His work bridges theoretical algorithms with practical implementations in multimedia processing. Educational background: Diploma in Electrical and Computer Engineering, Aristotle University of Thessaloniki (2004) PhD in Computer Science, University of Ioannina (2009) His research focuses on Machine Learning and Computer Vision with emphasis on video structure analysis and real-time processing . Core methodologies include support vector machines , spectral clustering , and multi-view feature extraction for tasks like shot boundary detection, key-frame extraction, and scene segmentation. Recent work extends to clinical data mining and tourism technology applications. Publication trends show consistent innovation in video summarization algorithms and efficient feature extraction , with increasing interdisciplinary applications in healthcare and tourism. His 2023 work demonstrates expansion into web-based augmented reality systems for tourism destinations. Scientific recognition: Best Scientific Paper Award at ICPR 2014 for key-frame extraction research Research funding includes EU-cofunded projects: PENED 2003 (machine learning for video analysis), ARTreat FP7 (clinical decision support), and ongoing VIDEOSUM (video storage/summarization platform). Collaborates extensively with the IP AN Group at University of Ioannina. He co-developed the VideoSum platform—a comprehensive system for video storage, processing, and summarization—integrating spectral clustering and temporal analysis techniques for industrial applications in media management.

• Digital Circuit Design
• Integrated Circuit Testing
• Hardware Design
• +۳ مورد دیگر

Xrysovalantis Kavousianos is a Professor at the Department of Computer Science & Engineering, University of Ioannina, Greece, affiliated with the School of Engineering. He holds a BSc (1996) and PhD (2000) in Computer Engineering from the University of Patras. His research focuses on digital circuit design, integrated circuit testing techniques, and fault-tolerant systems, with expertise in 3D-SoC testing, test access mechanisms, and low-power testing methodologies. Teaching responsibilities include courses such as Digital Design I (MYY305), Digital Design II (MYY406), and H3 - 3D Systems on Chip. His work emphasizes optimizing testing infrastructure for multi-Vdd, DVFS-based, and multi-core systems, addressing challenges in thermal-aware testing, defect coverage, and energy efficiency. Recent research highlights include time-division multiplexing for 3D-SoCs, X-filling techniques for unmodeled defects, and BIST frameworks for power switches. Publications (2013–2019) concentrate on testing optimization, statistical compression, and hardware reliability in complex systems. Collaborations involve advanced SoC architectures and reconfigurable power management solutions.

• Theoretical Computer Science
• Programming Languages
• Formal Methods
• +۵ مورد دیگر

Nikos Tzevelekos is a Senior Lecturer at Queen Mary University of London's School of Electronic Engineering and Computer Science, affiliated with the Theory Group and the Centre for Fundamental Computer Science. He holds a PhD from the University of Oxford's Department of Computer Science and previously worked as a postdoctoral researcher there. His primary research interests include theoretical computer science, mathematical models of computation, programming languages, and formal methods. He explores game semantics and category theory to develop tools for program analysis and verification. Education: PhD in Computer Science, University of Oxford Research Interests: Dr. Tzevelekos focuses on foundational aspects of computation, including program semantics, automata over infinite alphabets, and the application of formal methods to software verification. His work bridges abstract theoretical models (e.g., game semantics) with practical tools for analyzing and verifying software systems. Awards: 2023: Distinguished Paper Award at LICS Grants & Advising: Lead researcher on the Innovate UK-funded grant Mokapot/Millr: Next Generation Cloud Computing Infrastructure (2019–2020). Labs/Teams: Member of the Theory Group at Queen Mary, contributing to the Centre for Fundamental Computer Science. Collaborates on projects involving automata theory, program equivalence, and formal verification techniques.

• Sports Antidoping Analysis
• Mass Spectrometry
• Laboratory Quality Assurance
• +۳ مورد دیگر

Konstantinos Georgakopoulos is an Associate Professor in the Division of Pharmaceutical Chemistry at the National and Kapodistrian University of Athens, Faculty of Pharmacy. His role includes research supervision, teaching, and laboratory management within the Laboratory of Pharmaceutical Analysis. He holds a PhD in Chemical Engineering from NTUA (1992) and has over 20 years of expertise in sports antidoping analysis. Research focuses on mass spectrometry-based detection of prohibited substances in biological fluids, laboratory quality assurance, and data processing innovations. He has pioneered methods for designer steroids analysis using LC-TOF-MS and GC-HRMS. Key contributions include developing stabilization protocols for urine samples and optimizing detection of erythropoietin (EPO) and corticosteroids. During the 2004 Athens Olympics, he co-ordinated the Doping Control Laboratory, implementing advanced analytical systems still referenced in modern anti-doping practices. His work extends to blood doping detection via extracellular vesicle analysis and metabolomics approaches. Recent studies explore genetic links between athletic performance and steroid metabolism through GWAS. He has authored over 100 peer-reviewed articles, with current research emphasizing untargeted metabolomics, RNA biomarkers, and transcriptomic profiling for anti-doping. His lab collaborates internationally on World Anti-Doping Agency (WADA) initiatives, contributing to Olympic Games testing protocols since 2004.

• Software Engineering
• Programming Languages
• Systems
• +۷ مورد دیگر

Yannis Smaragdakis serves as a Professor in the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens, where he maintains office A55 and can be contacted via phone (+30 210 7275311) or email. His academic foundation includes: Ph.D. in Computer Sciences (December 1999, University of Texas at Austin; Advisor: Don S. Batory) M.Sc. in Computer Sciences (May 1995, University of Texas at Austin) B.Sc. in Computer Science (July 1993, University of Crete, Heraklion) His research bridges theoretical and applied computer science with emphasis on: Abstraction mechanisms including domain-specific languages and metaprogramming Systems programming models for concurrency and distributed computing Memory management optimization and program locality Automated program analysis techniques like symbolic execution and pointer analysis His work consistently targets practical implementations of language-based solutions for complex software engineering challenges, particularly in test generation and invariant inference. No scientific awards were documented in the source material. Details regarding student supervision and research grants remain unspecified in the provided text.

• Pharmaceutics
• Biopharmaceutics
• Drug Delivery Systems
• +۳ مورد دیگر

Reppas Christos is a Professor of Pharmaceutics at the National and Kapodistrian University of Athens (NKUA), Department of Pharmacy. He holds academic roles spanning 30+ years, including teaching Biopharmaceutics, Pharmacokinetics, and Pharmaceutical Technology at both undergraduate and graduate levels. His research focuses on gastrointestinal physiology, luminal drug performance, and in vitro testing methodologies. He has served on doctoral evaluation committees in multiple countries and contributed to editorial boards of high-impact journals. Notably, he was a Visiting Professor at Goethe University (2010–2018) and led initiatives like the UNGAP and OrBiTo collaborations for advancing drug absorption science. His work bridges academia and industry, emphasizing translational research in pediatric drug development and food-drug interactions. Education: Pharmacy Degree, NKUA (1982) PhD in Pharmaceutical Sciences (1986), NKUA Post-Doctoral Training, University of Michigan (1990) Research Interests: Dr. Reppas investigates the human gastrointestinal luminal environment, formulation effects on drug performance, and predictive in vitro models. His work addresses challenges in biopharmaceutics, including pediatric drug delivery, food effects, and luminal precipitation. He has pioneered methodologies like the BioGIT system for simulating drug exposure and contributed to UNGAP’s guidelines on gastrointestinal variability. Publications & Awards: With over 100 peer-reviewed articles, he is recognized for reviews on drug absorption, formulation optimization, and regulatory frameworks. His honors include co-editing special journal issues and serving as an external evaluator for academic promotions in Ireland. Labs & Teams: He leads the Pharmaceutical Technology Section at NKUA, collaborating with global networks like IMI OrBiTo to advance oral drug delivery science.

Apostolos Zarrasمشاهده پروفایل

استاد

• Software Architecture
• Software Design
• Software Evolution
• +۷ مورد دیگر

Apostolos Zarras is a Professor in the Department of Computer Science & Engineering at the University of Ioannina, Greece. He has been with the institution since 2002, progressing from Visiting Professor to full Professor in 2022. His academic journey includes a Ph.D. from the University of Rennes 1, France (2000), an M.Sc. from the University of Crete (1996), and a B.Sc. from the same institution (1994). Education: Ph.D. in Computer Science, University of Rennes 1, France (1996–1999) M.Sc. in Computer Science, University of Crete, Greece (1994–1996) B.Sc. in Computer Science, University of Crete, Greece (1990–1994) His research centers on software engineering, with a focus on software architecture, design patterns, software evolution, middleware, and service-oriented computing. He explores quality aspects of software systems, including refactoring, schema evolution, and dependable systems. His work often bridges theoretical models with practical applications in distributed and pervasive environments. The recent publications reflect a strong trend in software evolution, particularly schema evolution in databases, refactoring patterns, and the empirical study of design patterns (e.g., GoF patterns) in real-world systems. Themes such as anti-patterns, tool support for refactoring, and naming conventions in SQL are recurrent, indicating a deep interest in improving software quality through structured design and evolution practices. Scientific Awards: No specific awards are mentioned in the provided text. Advising and Grants: Apostolos Zarras has supervised over 17 B.Sc. theses, more than 12 M.Sc. theses, and one Ph.D. thesis. He has served as a principal investigator in several EU and national R&D projects, including the ForeverSOA INRIA project and the CHOReOS FP7 ICT IP project. His professional service includes extensive reviewing for top journals (IEEE TSE, CACM, etc.) and participation in program committees of major conferences (ICSE, FSE, Middleware, ER). Labs and Teams: He has collaborated with the ARLES Group at INRIA Rocquencourt, France, during multiple visiting researcher stays (2005–2008). His research is conducted within the Department of Computer Science & Engineering at the University of Ioannina, where he contributes to graduate studies and academic dissemination.

Manos Kamarianakisمشاهده پروفایل

استاد مدعو

• Computational Geometry
• Computer Graphics
• Geometric Algebra
• +۱ مورد دیگر

Manos Kamarianakis is an Adjunct Professor at the University of Crete (Computer Science Department) and the Technical University of Crete (School of Electrical & Computer Engineering). He is also a Research Director at ORamaVR, a FORTH spinoff, and a visiting collaborator at FORTH’s Human-Computer Interaction Lab. His research focuses on Computational Geometry, Geometric Algebra, and their applications in Computer Graphics and Machine Learning, particularly leveraging geometric algebra for networked VR environments. He holds multiple degrees from the University of Crete, including a PhD in Computational Geometry (2019). His work has been recognized with awards such as the Best Paper Award at CGI 2024 and the SIGGRAPH Asia 2024 Best Education Paper Award. Teaching includes Computer Graphics and Mathematics courses at both universities. His service roles include leadership in projects like the 5G-EPICENTRE and CHARITY initiatives, and he actively reviews for academic venues. Beyond academia, he is an enthusiast of mathematics, puzzles, and bridge card games. Notable contributions include the GA-Unity framework, which integrates geometric algebra into Unity, and the VR Isle Academy for surgical training. His research bridges theoretical foundations with practical applications in healthcare, education, and critical communications.