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

Scott Mahlke is a Professor and Associate Chair in the Electrical Engineering and Computer Science Department at the University of Michigan. He is affiliated with the Advanced Computer Architecture Laboratory and the Software Systems Laboratory, where he leads the Compilers Creating Custom Processors (CCCP) research group. His research focuses on compilers, computer architecture, and high-level synthesis, with particular emphasis on designing next-generation computer systems that overcome challenges in performance, power consumption, and reliability. His work bridges the gap between hardware and software through innovative compiler technology that enables customized processors and accelerators. Mahlke's publications demonstrate a strong focus on compiler techniques for exploiting instruction-level parallelism, memory system optimization, and application-specific processor design. His research spans from fundamental compiler algorithms to practical implementations in both general-purpose and embedded systems. National Science Foundation CAREER Award (2003) Morris Wellman Faculty Development Assistant Professor (2004) 2006 ISCA Most Influential Paper Award Multiple best paper awards at major architecture conferences As an advisor, Mahlke has chaired numerous Ph.D. dissertations and actively mentors graduate students in the CCCP group. His research is generously funded by the National Science Foundation, Gigascale Systems Research Center, ARM Ltd., Samsung Advanced Institute of Technology, and other major organizations. The CCCP group maintains strong industry partnerships that facilitate the transfer of research innovations to practical applications.

• Compilers
• Computer Architecture
• High-level Synthesis
• +۵ مورد دیگر

John Regehr is a Professor at the School of Computing, University of Utah, specializing in compilers, software testing, and formal verification. His research develops tools to improve software correctness and efficiency, including Csmith (random C program generator) and C-Reduce (test-case reducer). His group focuses on compiler validation, fuzzing techniques, and superoptimization, primarily targeting the LLVM infrastructure. Research interests span compilers, testing methodologies, formal verification, embedded systems, and program analysis. Recent work emphasizes practical tools backed by formal methods to detect and prevent software errors. Publications demonstrate strong trends in compiler verification and testing, with consistent focus on LLVM optimization correctness, translation validation, and automated bug detection through fuzzing and synthesis techniques. Scientific awards include: PLDI 2015 Distinguished Paper Award ICST 2014 Best Paper Award ACM SIGSOFT Distinguished Paper Award Leads a research group developing tools like Souper (superoptimizer) and Alive2 (translation validator). Maintains active academic service through program committees (PLDI, CGO, OOPSLA) and contributes to open-source compiler infrastructure.

• Compilers
• Software Testing
• Formal Verification
• +۳ مورد دیگر

Sotirios Xydis is an Assistant Professor in the Division of Computer Science at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), with prior faculty appointment at Harokopion University of Athens (2020-2023). He maintains ongoing collaboration with the Institute of Communication and Computer Systems (ICCS) since 2014 and previously served as an engineer at HEDNO (2015-2018) and postdoctoral researcher at Politecnico di Milano (2011-2013). His academic credentials include: BSc in Electrical and Computer Engineering, NTUA (2005) MSc in Techno-Economic Systems, NTUA (2011) PhD in Electrical and Computer Engineering, NTUA (2011) Dr. Xydis specializes in hardware/software co-design , energy-efficient hardware acceleration , and memory management for embedded and cloud-edge systems. His research bridges low-power circuit design , heterogeneous architecture optimization , and resource management frameworks , with particular emphasis on AI workloads and serverless infrastructures. Current projects target Edge AI accelerators (CONVOLVE), disaggregated memory systems, and LLM inference optimization through hardware-aware algorithms. Analysis of his 2023-2025 publications reveals three dominant trends: (1) Energy-efficient hardware accelerators for Edge AI using approximate computing techniques, (2) Memory/resource management innovations for disaggregated serverless environments, and (3) GPU/FPGA optimization for LLM inference through dynamic frequency scaling and predictive throttling. These works consistently address the power-performance tradeoffs in heterogeneous computing systems. His scientific recognition includes: Best Paper Award, IEEE/NASA/ESA AHS (2007) Best Paper Award, ACM PARMA (2013) Best Paper Award, ACM Computing Frontiers (2020) Hipeac Award at DAC (2019, 2020) Dr. Xydis has secured over 15 European/national research grants as Principal Investigator and Technical Coordinator, focusing on hardware acceleration frameworks and energy-efficient computing. His advising encompasses graduate research in hardware design and optimization, though specific student names aren't publicly listed. Current projects include CONVOLVE for Edge AI and CollectiveHLS for collaborative hardware synthesis. He is a core member of NTUA's Microelectronics Laboratory (Microlab) and collaborates with ICCS on hardware acceleration projects. His team develops frameworks like CollectiveHLS and throttLL'eM, with active participation in DATE, DAC, and ISCA conference communities.

• Hardware/Software Co-design
• High Level Synthesis
• Hardware Accelerators
• +۷ مورد دیگر

Adrian Sampson is an Associate Professor in the Department of Computer Science at Cornell University, where he is part of the Computer Systems Laboratory and the programming languages group. He joined Cornell in 2016 as an Assistant Professor and was promoted to Associate Professor in 2022. Prior to Cornell, he was a Visiting Researcher at Microsoft Research (2015-2016). He received his Ph.D. from the University of Washington in 2015 under advisors Luis Ceze and Dan Grossman, with a dissertation on Hardware and Software for Approximate Computing. His research focuses on breaking down abstraction barriers and rethinking the hardware-software interface. He is particularly known for his work on approximate computing, which explores how computers can be more efficient by allowing them to make controlled mistakes. He leads the Capra research group at Cornell, which investigates programming languages and computer architecture. Sampson's recent publications demonstrate a strong focus on hardware acceleration, FPGA programming, compiler design, and programming language theory. His work often bridges the gap between high-level programming abstractions and low-level hardware implementation, with particular attention to predictability, verification, and energy efficiency. He has made significant contributions to geometry types for graphics programming, timeline types for modular hardware design, and virtual machines for FPGA programming. Among his notable recognitions are the IEEE TCCA Young Computer Architect Award (2021), NSF CAREER award (2019), and multiple Distinguished Artifact Awards at major conferences. He has advised numerous Ph.D. students who have gone on to positions at institutions like Wellesley College, Northwestern University, and Amazon. Sampson is actively involved in academic service, serving on program committees for major conferences including PLDI, ASPLOS, and ISCA. He has also held leadership roles such as ACM SIGARCH Board of Directors (2023-2025) and SIGPLAN Information Director. His teaching at Cornell includes courses on computer systems, programming languages, and advanced compilers.

• computer architecture
• programming languages
• compilers
• +۵ مورد دیگر

Dr. Zhenman Fang is an Associate Professor in the School of Engineering Science (Computer Engineering Option) and Associate Member in the School of Computing Science at Simon Fraser University, Canada. He founded and directs the HiAccel Lab, focusing on accelerator-rich architectures. His PhD (2014) is from Fudan University, China, with 15 months spent at the University of Minnesota. Prior to SFU, he was a Staff Software Engineer at Xilinx (2017-2019) and a postdoc at UCLA (2014-2017). His research spans: Hardware acceleration for ML, big data, genomics, and HPC FPGA-based customizable computing and near-data processing Compiler/runtime systems for heterogeneous platforms Performance/reliability optimization of accelerator-rich systems His recent publications (2024-2025) focus on FPGA acceleration for machine learning (e.g., on-device training, quantization), computational chemistry, image/video compression, database systems, and reconfigurable computing, demonstrating cross-domain applications of specialized hardware. Awards & Honors: Best Paper Awards: FPL 2024, MEMSYS 2017, TCAD 2019 Best Paper Nominations: ICCAD 2025, FCCM 2025, HPCA 2017, ISPASS 2018 SFU Research Excellence Horizon Award (2025) NSERC Alliance, CFI JELF, and Xilinx University Awards He advises 20+ PhD/Master's students in HiAccel Lab, focusing on accelerator design. Major grants include NSERC Alliance (2020) and CFI JELF (2019). The lab operates a 10-node cluster with FPGA/GPU infrastructure.

• Hardware Acceleration
• Computer Architecture
• Big Data Computing
• +۷ مورد دیگر

Professor Panagiotis Marakos serves in the Department of Pharmaceutical Chemistry at the National and Kapodistrian University of Athens' Faculty of Pharmacy. His academic career spans over four decades since earning his Pharmacy degree (1982) and PhD in Pharmaceutical Chemistry (1987) from the same institution. He teaches core undergraduate courses including Pharmaceutical Chemistry II/IV and laboratory techniques, alongside graduate-level Advanced Medicinal Chemistry. His research focuses on medicinal chemistry with emphasis on anticancer drug design , antiviral compound development , and cardioprotective agents . Key areas include: Synthesis of pyrazolopyridine derivatives as cytotoxic/angiogenesis inhibitors Development of H₂S-releasing hybrids for cardiovascular protection Nucleoside analogues targeting viral replication (HCV/fungal transporters) Senescence biomarkers and senolytic platforms for aging-related pathologies Analysis of his 15 most recent publications (2022-2025) reveals dominant trends in kinase inhibition (DYRK1A/CLK1 for Alzheimer's), mitochondrial ATP synthase targeting for cardiac protection, and advanced senescence detection tools using fluorescent probes. His collaborative network includes prominent researchers like N. Pouli, N. Lougiakis, and international groups in cancer biology and gerontology. Current projects involve micelle-encapsulated senolytics and dual adenosine receptor antagonists with therapeutic applications in oncology and cardiovascular disease.

• Medicinal Chemistry
• Anticancer Drug Design
• Antiviral Compound Development
• +۴ مورد دیگر

Dimitrios Bikiaris is a prominent Professor in the Department of Chemistry at Aristotle University of Thessaloniki's School of Sciences. His extensive research portfolio demonstrates leadership in polymer science with a focus on sustainable materials development. His work bridges fundamental chemistry with practical applications in environmental protection and biomedical engineering. Dr. Bikiaris's research spans multiple critical areas including biodegradable polymers, microplastics characterization, chitosan-based materials, and sustainable packaging solutions. His work demonstrates particular expertise in synthesizing novel biobased polyesters, developing advanced nanocomposites, and investigating environmental impacts of plastic materials. The interdisciplinary nature of his research connects chemistry with environmental science, materials engineering, and biomedical applications. Analysis of his recent publications reveals a strong focus on circular economy principles, with significant work on agricultural waste valorization, biodegradable alternatives to conventional plastics, and remediation technologies for environmental contaminants. His research group employs advanced characterization techniques including thermal analysis, mechanical testing, and spectroscopic methods to understand material properties at fundamental levels. Dr. Bikiaris maintains an exceptionally active research program with numerous collaborations across Greece and internationally. His work appears consistently in high-impact journals covering polymer science, environmental chemistry, and materials engineering. The breadth of his research indicates leadership in multiple project teams focused on sustainable material development and environmental protection.

• Polymer Science
• Biodegradable Materials
• Nanocomposites
• +۵ مورد دیگر

Professor Michail Siskos is an Associate Professor in the Department of Chemistry at the University of Ioannina, Greece. His academic career spans over three decades, beginning as a Scientific Collaborator (1982-1992), advancing to Lecturer (1992-2001), and currently serving as Associate Professor since 2001. Professor Siskos specializes in several interconnected research areas: Organic Photochemistry Photopolymerizations Synthesis Polymer Chemistry Organic Synthesis ESR Spectroscopy Laser Pulse Photolysis His primary research focus involves using light as an alternative energy source for chemical reactions and material production. He designs and systematically studies photoinitiating systems for photopolymerization reactions using various spectroscopic techniques including absorption, fluorescence, phosphorescence, ESR, and laser pulse photolysis. His work demonstrates significant environmental advantages due to the mild conditions used, high speed, space efficiency, and notable environmental benefits. He maintains an international collaboration with the Interdisciplinary Group "Time-Resolved Spectroscopy" in Leipzig, Germany. His publication record spans from 1992 to 2005, showing consistent research output in photodissociation mechanisms, photoinitiators for polymerization, electron transfer processes, and photoreactive coordination polymers. The research demonstrates strong interdisciplinary connections between photochemistry, polymer science, and spectroscopy. Professor Siskos teaches undergraduate courses including Organic Chemistry II and V, Polymer Chemistry, Organic Chemistry Laboratory I and II, Advanced Organic Synthesis Laboratory, and Bibliographic or Laboratory Research. At the graduate level, he teaches Spectroscopic and Physicochemical Methods, Synthesis and Characterization of Polymers, and Laboratory of Spectroscopic and Physicochemical Methods.

• Organic Photochemistry
• Photopolymerizations
• Synthesis
• +۴ مورد دیگر

Aggelos Pikrakis is an Associate Professor in the Department of Informatics at the University of Piraeus, with research focus on Signal Processing with emphasis on Sound and Voice . He serves as an affiliate member of the Institute for Language and Speech Processing (ILSP). Specializes in machine learning algorithms for audio analysis Expertise in Hidden Markov Models and Bayesian architectures Supervises doctoral research in audio processing and machine learning His work spans music information retrieval, voice pathology classification, and mobility pattern analysis. With over 50 publications and 1150 citations (h-index=16), he has received best paper awards and first place in algorithm competitions . He has participated in research programs funded by GGET and European Union as part of research teams. Scientific Awards Best Paper Award First Place in Algorithm Competition Active on editorial boards (EURASIP Journal on Advances in Signal Processing since 2008) and conference committees, he contributes to advancing audio processing methodologies.

• Machine Learning
• Signal Processing
• Hidden Markov Models
• +۳ مورد دیگر

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.

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

Aarti Gupta is a Professor in the Department of Computer Science at Princeton University, where she conducts research in formal verification, program analysis, and automated decision procedures. She has made significant contributions to the field of system analysis and verification, with her work being applied in industrial settings. Before joining Princeton, she led research in systems analysis and verification at NEC Labs America. Dr. Gupta received her PhD in Computer Science from Carnegie Mellon University. Her academic journey has positioned her as a leading figure in formal methods and verification techniques. Her research focuses on two main areas: theoretical foundations and practical applications. Foundations include formal methods, model checking, program analysis, automated synthesis, and SAT/SMT solvers. Applications span verification of software, hardware, networks, and distributed systems. Gupta's work bridges the gap between theoretical advances and real-world implementation, with particular emphasis on developing techniques that scale to handle complex industrial systems. Gupta's recent publications demonstrate a clear trajectory toward more modular, scalable, and practical verification techniques. She has increasingly focused on network verification, with several papers addressing the challenges of verifying distributed network control planes. Her work also shows growing interest in hardware verification, particularly for Systems-on-Chip (SoCs), and the intersection of formal methods with neural networks. A notable trend is the development of techniques that combine symbolic reasoning with learning approaches to improve verification scalability. Dr. Gupta has received numerous prestigious awards for her contributions: ACM Fellow (2017) - for contributions to system analysis and verification techniques and their transfer to industrial practice PLDI 2023 Distinguished Paper Award for "Synthesizing MILP Constraints for Efficient and Robust Optimization" IEEE ICNP 2022 Best Paper Award DATE 2021 Best Paper Award (Track D) ACM TODAES 2020 Best Paper Award IEEE Micro Top Pick 2018 Honorable Mention Dr. Gupta has advised numerous graduate students and postdoctoral researchers, including current PhD candidates Divya Raghunathan, Akash Gaonkar, Deyuan He, and Dexin Zhang. Among her former students are Timothy Alberdingk Thijm and Lauren Pick. She has also mentored postdoctoral fellow Grigory Fedyukovich and visiting student Yueling Zhang. Her research has been supported by significant grants that have enabled her to lead projects such as SyLVer (Synthesis, Learning, and Verification) and network verification initiatives in collaboration with researchers like Dave Walker and Ryan Beckett. Dr. Gupta leads the SyLVer research group at Princeton, which focuses on developing techniques that improve the scalability of algorithmic verification by combining deductive learning with learning on data and examples. Her group collaborates extensively on network verification projects, particularly through the Minesweeper initiative with Dave Walker and Ryan Beckett, and on Instruction Level Abstraction (ILA) for System-on-Chip verification in collaboration with Sharad Malik's group.

• Formal verification
• Model checking
• Program analysis
• +۶ مورد دیگر

Prof. Minas M. Stylianakis is an Assistant Professor at the Department of Nursing, Hellenic Mediterranean University, and a Research Scientist at the Hybrid Nanostructures group at IESL-FORTH. His expertise spans nanomaterials synthesis, 2D materials, and their biomedical/environmental applications. He holds a PhD in Chemistry (University of Crete, 2015) and has authored 56+ peer-reviewed articles, achieving an h-index of 28 (Scopus) with 2235 citations. Research focuses include regenerative nanomedicine, self-healing coatings, energy storage systems, and organic solar cells. Key contributions involve graphene-based materials for drug delivery, antimicrobial coatings, and optoelectronics. He serves as a referee for high-impact journals and is a certified evaluator for Greece's General Secretariat for Research and Technology. His work bridges material science and biomedical engineering, with notable advancements in graphene derivatives for stem cell culture and water treatment technologies. Current projects explore 3D printing applications and nanomaterials for sustainable energy solutions.

• Nanomedicine
• Biomedical Engineering
• Environmental Applications
• +۶ مورد دیگر

Αθανάσιος Τσίπης is a Professor of Inorganic and Computational Chemistry at the Department of Chemistry, University of Ioannina since 2018. He previously held positions as Associate Professor (2008–2014), Assistant Professor (2003–2008), and Lecturer (2003–2008). He earned his BSc (1990) and PhD (1996, 'Άριστα') from Aristotle University of Thessaloniki. His postdoctoral research included stays at the University of Mons (Belgium), University of Bristol (UK), and University of Zaragoza (Spain). Research interests focus on computational inorganic chemistry, including DFT studies of reaction mechanisms, catalyst design, hydrogen storage materials, π-acceptor interactions, high-energy density materials, and sensors. He has collaborated with institutions worldwide, including Northwestern University (USA), University of Sussex (UK), and Nikolaev Institute (Russia). His teaching includes undergraduate courses on Inorganic Chemistry and graduate courses on functional materials and structure-property relationships. He serves as a reviewer for journals like Nature Communications , ACS , and Royal Society of Chemistry series. His work spans over 200 publications, with recent contributions in Angew. Chem. Int. Ed. and RSC Advances . Research highlights include luminescent sensors, anti-cancer complexes, and computationally guided material design. Active in EU-funded programs and national grants (PENED), he also authored textbooks for high school and university-level chemistry education.

• Inorganic Chemistry
• Computational Chemistry
• Catalysis
• +۳ مورد دیگر

Liverios Lymperakis is an Associate Professor in the Physics Department at the University of Crete. He earned his BSc (1997) and MSc (2000) in Physics from Aristotle University of Thessaloniki, and PhD from Universität Paderborn (2005) for work at Max Planck Institute. His career includes leadership roles at Max Planck Institutes in Berlin and Düsseldorf (2000-2022) before joining University of Crete in 2022. Research develops first-principles methodologies for nanoscale materials design with emphases on: Surfaces and epitaxial growth of compound semiconductors Quantum wells and nanostructures Extended defects and grain boundaries Computational materials discovery Publications showcase advancements in computational materials science, particularly ab initio modeling of III-Nitride surfaces, defect energetics, and growth mechanisms. Recent work focuses on dislocation physics, surface passivation schemes, and machine learning interatomic potentials for predicting mechanical properties.

• First-Principles Calculations
• Semiconductor Surfaces
• Epitaxial Growth
• +۴ مورد دیگر

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.

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