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

Fei He is an Associate Professor at Tsinghua University's School of Software, where he leads the THUFV research lab focused on formal verification and program analysis. His research spans formal methods, automated reasoning, and program verification, with applications in concurrent systems, networking (P4 programs), and probabilistic systems. Education & Employment: PhD from Tsinghua University (2008) Visiting Scholar at Carnegie Mellon University (2010-2011) and Politecnico di Milano (2006-2007) Faculty positions at Tsinghua since 2008 (Assistant Professor 2008-2011, Associate Professor 2011-present) Research: He's developed innovative techniques in SMT solving for concurrency verification, termination analysis, and regression verification. His tools like Deagle have won gold medals at SV-COMP. Current work focuses on probabilistic program verification and network program analysis. Publications: His 80+ publications demonstrate consistent contributions across formal methods (PLDI, OOPSLA, ICSE), networking (NSDI, INFOCOM), and software engineering (TSE, TOSEM), with recent emphasis on data-driven verification and automated invariant inference. Awards: Gold Medals in SV-COMP ConcurrencySafety (2022, 2023, 2025) Best Paper Awards at PPoPP 2022 and SETTA 2022 Advising: Mentors 13 PhD/Master's students in THUFV lab, with graduates joining Huawei, MPI-SP, and research institutions. Secured multiple NSF China grants for trustworthy software research. Service: Associate Editor for Theory of Computing Systems, program committees for PLDI/ICSE/OOPSLA, and former Local Chair for ISSTA 2019.

• formal methods
• program analysis
• automated reasoning
• +۲ مورد دیگر

Vikram S. Adve is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He co-founded and co-leads the Center for Digital Agriculture and directs the USDA-funded AIFARMS Institute , focusing on AI applications in sustainable agriculture. His research bridges compilers, parallel systems, and AI to address challenges in edge computing and digital farming. Research interests span compiler technologies (LLVM, HPVM), parallel programming models , software reliability , and AI-driven agriculture . Key projects include: CropWizard : Generative AI for agricultural decision-making. HPVM/ApproxHPVM : Compiler IR for edge devices. Hydride/MISAAL : Automated retargetable compiler construction. Recent publications (2018-2025) emphasize compiler optimizations, approximate computing, binary analysis, and AI for systems. Trends show convergence of compiler techniques , heterogeneous computing , and AI applications in agriculture and edge devices. Adve actively recruits students for projects funded by USDA, Intel, Amazon, and Illinois DPI. He leads the HPVM compiler team and digital agriculture initiatives , integrating cross-disciplinary research across CS, engineering, and agronomy.

• Compilers
• Programming Languages
• Parallel Computing
• +۶ مورد دیگر

Ioannis Stamelos is a Professor of Software Engineering at the School of Informatics, Aristotle University of Thessaloniki (since 2015, research/teaching staff since 1997). He serves as Director of the Postgraduate Master Course in Interactive Hardware & Software Technologies. Major Research Areas: Open Source Software, Software Effort/Quality Estimation, Agile Methods, Enterprise Information Systems Key Projects: Deep Blue/AUTH Research Hub (2018-2022), BlockAdemic (blockchain-based micro-credentials), European Commission Open Source Policy Studies Research Trends from recent publications include: Process mining in library information systems Reusability metrics for software assets Bayesian networks in software project management Impact of design patterns on gaming software defects Technical debt assessment via structural metrics Blockchain applications in supply chain management Scientific Awards: Best Paper Award at IEEE DEST’09 Best Student Paper Award at ICSR 2012 Best Paper Award at QUATIC2012 Education & Leadership: PhD in Computer Science (1988), Diploma in Electrical Engineering (1983). Led numerous EU-funded projects (IST, ERASMUS, FP7) and national initiatives (ΓΓΕΤ, ΕΠΕΑΕΚ). Supervised PhD/MSc students in software reuse, OSS quality, and agile practices.

• Software Engineering
• Open Source Software
• Software Effort and Quality Estimation
• +۷ مورد دیگر

Professor Diomidis Spinellis is a renowned academic in Software Technology at Athens University of Economics and Business (AUEB). He specializes in software engineering practices, code quality, AI ethics, and system architecture. His work bridges theoretical advancements with practical applications in industry, emphasizing reproducibility and empirical methods. Recipient of the IEEE Computer Society's prestigious 'Distinguished Contributor Recognition,' Spinellis is the sole Greek scientist to achieve this honor. His research spans software evolution, security, and open-source ecosystems, with a focus on methodologies like refactoring, static analysis, and debugging strategies. Key research interests include AI-generated content detection, modular data analytics, and incident management systems. His studies often leverage large-scale datasets (e.g., Unix evolution, Linux supercomputing analysis) to uncover patterns in software behavior and development practices. Publications frequently address emerging technologies' societal impacts, such as energy-efficient computing and ethical AI deployment. He advocates for reproducible research through tools like the Alexandria3k framework and contributes to open-source initiatives.

• Software Engineering
• Programming Languages
• Computer Science
• +۵ مورد دیگر

Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints

• Software Engineering
• Static Analysis
• Software Development Tools
• +۳ مورد دیگر

Georgios Keramidas is an Assistant Professor in Computer Architecture at the Department of Informatics, Aristotle University of Thessaloniki . He also holds an Adjunct Professor position at the Hellenic Open University and collaborates with institutions like the University of Peloponnese and University of Patras . Research Interests : Computer Architecture, Memory Systems, Multicore/GPU Design, Low-Power Techniques, Fault-Tolerant Systems His work focuses on cache optimization , energy-efficient computing , and security-aware memory design . Key contributions include DVFS frameworks , reuse-distance prediction , and non-deterministic cache mechanisms . Recent article trends highlight innovations in computation-in-memory , IoT platform components , and security/low-power co-design . Patents on image compression and GPU optimization reflect practical applications of his research. Academic Network : Collaborates with institutions including University of Patras , University of Manchester , and TU Dresden

• Computer Architecture
• Memory Systems
• Multicore Architectures
• +۳ مورد دیگر

Panteleimon G. Takis is an Assistant Professor at the Department of Chemistry, University of Ioannina, and an Honorary Research Associate at Imperial College London's Faculty of Medicine. His research focuses on advancing NMR spectroscopy for clinical and translational metabolomics, integrating AI/ML for biomarker discovery and disease diagnostics. He specializes in developing computational tools and methodologies for analyzing complex biofluids, with applications in gastrointestinal and cancer-related disorders. His work bridges fundamental chemistry with clinical applications, emphasizing reproducibility and interdisciplinary collaboration. Research interests include NMR-based metabolomics, AI-driven data analysis, and clinical translation of biomarkers. He has contributed to protocols for standardized metabolomics workflows and developed software like NMRpQuant for protein quantification. His recent work addresses long-term consequences of COVID-19 and gut-microbiome interactions in metabolic diseases. Notable contributions include over 20 peer-reviewed articles in high-impact journals, patents on NMR methodologies, and editorship roles in Frontiers in Molecular Biosciences and Metabolites . He actively engages in international conferences, leading sessions on computational metabolomics and NMR applications.

• Analytical Chemistry
• Metabolomics
• NMR Spectroscopy
• +۳ مورد دیگر

Georgia Heirchanteri is an Assistant Professor at the Department of Industrial Design and Production Engineering, School of Engineering, University of West Attica. She holds a PhD in Engineering from the National Technical University of Athens (2014) with a specialization in Industrial Archaeology, following postgraduate studies in Architecture-Spatial Design (2004). Her academic journey includes teaching roles at the Technical University of Athens and a retroactive appointment as University Lecturer in Graphic Design since 1992. Education: Graduate of Architecture (Aristotle University of Thessaloniki), Graphic Design (Technical University of Athens), Postgraduate in Architecture-Spatial Design (NTUA) Current Role: Assistant Professor (since 2020), Postdoctoral Researcher (2017-present), Supervising Architect (2019-present) Her research focuses on interdisciplinary intersections between Industrial Architecture, Cultural Heritage Preservation, and Environmental Graphic Design. Key areas include: Study of Greek Industrial Architecture (19th-early 20th century), particularly electricity production facilities Preservation strategies for industrial heritage as cultural assets Graphic Design applications in spatial communication and signage systems Industrial Design process from ideation to implementation Sustainable urban development and circular economy models Recent publications analyze topics spanning smart energy systems , heritage resilience , climate-responsive design , and nano-material innovations . She leads the 'Design and Development of Innovative Knitted Textile and Apparel Products - SAPKE' laboratory since 2021, contributing to textile engineering research.

• Industrial Architecture
• Cultural Heritage Preservation
• Graphic Design in Environmental Communication
• +۳ مورد دیگر

Diego Garbervetsky is an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires, and a Researcher at ICC/CONICET. He also serves as Director of the Institute of Research in Computer Sciences (ICC). His academic career spans software engineering, programming languages, and formal methods with a focus on program analysis and verification. His research interests include: Static and dynamic program analysis Reverse engineering and compiler optimizations Program understanding and validation Testing and verification of programs featuring rich protocols Automatic symbolic resource analysis (gas consumption, dynamic memory, energy, etc.) Garbervetsky's recent work focuses on smart contract analysis and verification, particularly for Solidity on Ethereum blockchain. His research bridges theoretical program analysis with practical applications in security-critical domains. He has developed several tools including Contractor for behavior validation, JConsume2 for heap memory analysis, and BudaPest for automated software verification. His scientific contributions have been presented at top-tier conferences including ICSE, FSE, ISSTA, and PLDI. Garbervetsky has served on numerous program committees for major software engineering conferences and has advised multiple PhD and undergraduate students through their research.

• Static Analysis
• Dynamic Analysis
• Reverse Engineering
• +۷ مورد دیگر

Diomidis Spinellis is a Professor at the Department of Management Science and Technology, Athens University of Economics and Business. He is a leading researcher in software engineering, IT security, and cloud systems engineering, with over 300 publications and 10,000 citations. He has authored award-winning books including Code Reading , Code Quality: The Open Source Perspective , and Effective Debugging: 66 Specific Ways to Debug Software and Systems (2016). As a Senior Member of ACM and IEEE, he served as Editor-in-Chief of IEEE Software (2015–2018) and contributed to open-source tools like CScout, UMLGraph, and dgsh. Award-winning author in software engineering Developer of critical open-source tools Editorial leadership in IEEE Software Contributor to macOS and BSD Unix His research spans code quality, software evolution, security, and developer productivity. Articles highlight Unix modernization, AI-assisted coding, dependency analysis, and incident management. He has served on the IEEE Computer Society Board of Governors and holds degrees from Imperial College London (MEng, PhD). Scientific contributions include open-source datasets (e.g., VulinOSS, Alexandria3k) and innovative tools for software analysis. His work bridges academic research and industrial practice, with case studies on Eclipse, Android APIs, and ING’s incident management.

• Software Engineering
• IT Security
• Cloud Systems Engineering
• +۳ مورد دیگر

Pierre-Evariste Dagand is a CNRS Researcher at IRIF, Université de Paris, where he is a member of the Proofs, Programs, and Systems group. His research focuses on enhancing the safety of systems software through the application of domain-specific languages and formal verification techniques, particularly leveraging interactive theorem provers. His research interests span several areas of computer science, including: Formal Methods : Using rigorous mathematical techniques to verify software and hardware systems Programming Languages : Designing and implementing languages with a focus on safety and correctness Compilers : Developing verified compilers for domain-specific languages and synchronous languages Type Theory : Exploring dependent types and their applications in verification Operating Systems : Contributing to the design of systems for multicore architectures Cryptography : Creating high-throughput cryptographic implementations via formal methods Dagand's publications demonstrate a consistent focus on formal verification and theorem proving applied to practical systems. His work frequently involves the Coq proof assistant and addresses challenges in compilers, cryptography, and systems programming. Recent trends include the development of tools for secure cryptographic implementations (e.g., Usuba and Tornado) and formal models for intermittent computing. He has advised numerous students in internships, working on projects related to formal methods, compilers, and cryptography. These internships have contributed to various research outputs and tools. Dagand is part of the Proofs, Programs, and Systems group at IRIF, which focuses on foundational aspects of computer science and their application to software verification and language design.

• Formal Verification
• Programming Languages
• Theorem Proving
• +۵ مورد دیگر

Mahmut Taylan Kandemir is a Professor in the Department of Computer Science at Pennsylvania State University. His research spans optimizing compilers, runtime systems, embedded systems, I/O, high-performance storage, and power-aware computing. He leads the Microsystems Design Lab and collaborates with institutions like Argonne National Lab, Microsoft, and Intel. Education: B.S. Computer Engineering, Istanbul Technical University (1988) M.S. Computer Engineering, Istanbul Technical University (1992) Ph.D. Computer Science, Syracuse University (1999) Research Focus: Dr. Kandemir's work integrates hardware-software co-design to address challenges in multi-core architectures, non-volatile memory systems, and energy efficiency. His recent projects explore 3D NAND flash optimization, near-data computing, and reliability in heterogeneous systems. Key themes include reducing data movement overhead, enhancing storage longevity, and developing compiler-directed solutions for emerging hardware. Publications: His articles frequently appear in premier venues (PLDI, ASPLOS, HPCA) and emphasize memory hierarchy optimization, security, and parallelism. Trends include hardware-assisted resilience, approximate concurrency, and energy-efficient VR streaming. Awards: Premier Research Award, Penn State Engineering Society (2017) IEEE Fellow NSF CAREER Award (2000) Best Paper Awards (IPDPS 2008, ICPADS 2006) Top ACM Digital Library Download (2006) Advising & Grants: He has graduated 32 Ph.D. and 20 master's students, with 15 Ph.D. and 5 master's students currently advised. His research is funded by NSF, DARPA, DOE, and industry partners. Active projects include: NSF/OAC: Re-Engineering Galaxy for Performance (2019-2023) NSF/SHF: 3D NAND Flash Optimization (2019-2022) NSF/SPX: Heterogeneous Intermittent Accelerators (2018-2022) Labs & Teams: Leads the Microsystems Design Lab, focusing on architecture-compiler co-design. Collaborates with the Storage Systems Research Center and heterogeneous computing groups at Penn State.

• Compilers
• Computer Architecture
• High-Performance Storage
• +۵ مورد دیگر

Santosh Pande is a Professor and Associate Chair for Graduate Studies in the School of Computer Science at Georgia Institute of Technology. His research focuses on compiler analysis and optimizations, providing deep insights into software behavior to improve various system properties through automated methods. His research interests include: Program Analysis for Security Compiler Optimizations and security implications Compiler-OS interactions for resource management Real-time software analysis Machine learning systems performance optimization Dr. Pande's recent publications demonstrate a strong focus on security-oriented compiler techniques, particularly in program debloating to reduce attack surfaces. His work addresses the critical intersection between compiler optimizations and security vulnerabilities, as well as innovative approaches to scheduling and resource allocation through compiler-OS collaboration. Research results show significant performance improvements (2x to 4x) for batch-oriented execution of modern workloads in data-center environments. His research has been consistently funded by: National Science Foundation (NSF) Office of Naval Research (ONR) Defense Advanced Research Projects Agency (DARPA) Air Force Industry partners including Sony, Toshiba, IBM, Motorola, and Infineon Dr. Pande holds a patent on smartcards developed in collaboration with Infineon. He actively mentors PhD students and seeks "smart and motivated PhD students" to join his research group. His work has resulted in over 100 publications and open-source software contributions. He is affiliated with multiple research centers at Georgia Tech including the Center for Experimental Research in Computer Systems (CERCS) and contributes to the Online Master of Science in Computer Science (OMSCS) program.

• Program Analysis
• Software Security
• Compiler Optimizations
• +۳ مورد دیگر

Karatzas Georgios is a Professor at the School of Chemical and Environmental Engineering, Technical University of Crete. His research focuses on environmental engineering , with specific emphasis on air quality management , water resources , and environmental informatics . He utilizes computational fluid dynamics for atmospheric pollution studies and GIS-based tools for spatial analysis. Email: gkaratzas@tuc.gr Office: K1.111, CHIMIPER Building Research Trends: His recent publications highlight applications of machine learning for pollution prediction, hybrid modeling for solar radiation forecasting, and Lagrangian particle models for industrial emission tracking. Key sub-fields include urban air quality , wastewater reuse , and noise pollution mapping . Technical Expertise: He develops web-based platforms for real-time environmental data visualization and maintains open-source tools for atmospheric dispersion modeling . His work integrates remote sensing , CFD simulations , and environmental GIS for comprehensive impact assessments.

• Environmental Engineering
• Computational Fluid Dynamics
• Atmospheric Pollution
• +۲ مورد دیگر

Hamid Bagheri is an Associate Professor in the School of Computing at the University of Nebraska-Lincoln and a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine. He co-directs the ESQuaReD Lab and serves on the review boards of IEEE Transactions on Software Engineering and ACM Transactions on Software Engineering and Methodology. His research focuses at the intersection of software engineering, security, and formal methods, with particular expertise in Security of Mobile Devices and IoT Systems Scaling Formal Verification with Machine Learning Software Analysis and Testing Dependable Cyber-Physical Systems Automated Program Repair and Fault Localization His publication record spans top-tier venues including ICSE, ASE, ISSTA, ESEC/FSE, and IEEE/ACM Transactions, with recent work focusing on efficient analysis of Alloy specifications, IoT security, and ML-enhanced formal verification. His research has been recognized with multiple Distinguished Paper Awards. Among his notable awards are: EPSCoR FIRST Award NSF CISE Career Research Initiation Initiative Award SoC Student Choice Outstanding Teaching Award (2023-2024) CSE Outstanding Teaching Award (2020-2021) NSF EPSCoR First Award (2017) Prof. Bagheri has successfully advised multiple PhD students including Mohannad Alhanahnah (now tenure-track faculty at Chalmers University) and Clay Stevens (now tenure-track faculty at Iowa State University). He has received substantial research funding including NSF SHF Research Grants and has been actively involved in conference organization as PC member and track chair across numerous major software engineering venues.

• Software Engineering
• Security
• Formal Methods
• +۷ مورد دیگر