فیلترهای فعال:

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

برای مسیر پژوهشی‌تان، استاد راهنما، استاد دانشگاه و پژوهشگر مناسب را پیدا کنید و با آن‌ها ارتباط بگیرید.

نمایش ۷۶-۹۰ از ۹۴ استاد راهنما

اطلاعات پروفایل‌ها از صفحات عمومی دانشگاه‌ها گرفته شده و ممکن است به‌روز نباشد.

Dimitris Vrakasمشاهده پروفایل

استادیار

Aristotle University of ThessalonikiGreece

Dimitris Vrakas is an Assistant Professor at the Department of Informatics, School of Informatics, Aristotle University of Thessaloniki (AUTh). He holds a PhD in Intelligent Planning Systems and has conducted post-doctoral research focusing on Planning for the Semantic Web. His professional experience includes roles as a Lecturer (per Greek law 407/80), Informatics Instructor in multiple educational institutions, and IT consultant for medium-sized enterprises through the Go-online Project. Education: Bachelor of Science (1995–1999): Informatics, Aristotle University of Thessaloniki PhD (2000–2004): Intelligent Planning Systems, Dept. of Informatics, AUTh Postdoctoral Research (2005–2007): Planning for the Semantic Web, AUTh Research Interests: Automated Planning, Heuristic Functions, Intelligent Autonomous Systems, Machine Learning Applications (Energy Management, NILM), Semantic Web Services, and Smart Environment Technologies. His work bridges theoretical AI advancements with practical implementations in energy systems and emergency response. Publications: Over 45 papers (including 15 journal articles) and 5 book chapters, with a focus on energy disaggregation, evacuation algorithms, and semantic web composition. His work demonstrates expertise in applying advanced techniques like GANs for data generation and reinforcement learning for adaptive planning. Awards: 2025 ACM SIGMOD Test-of-Time Award for contributions to time-series clustering Advising & Grants: Active in guiding PhD candidates (as per recent calls) and coordinating projects like the IRIS RISK PARADIGM for industrial safety. His work involves developing smart university platforms for energy monitoring and collaborating on EU-funded initiatives. Labs & Teams: Member of the Intelligent Systems Lab at AUTh, contributing to projects like the BOnSAI ontology for smart buildings and the IRISPortal for risk management. He also coordinates the Hellenic Artificial Intelligence Society and chairs conferences like SETN 2016.

پروفایل رسمی دانشگاه

Karatzas Georgiosمشاهده پروفایل

استاد

Technical University of CreteGreece

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.

پروفایل رسمی دانشگاه

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

دانشیار

Ionian UniversityGreece

Konstantinos Chorianopoulos is an Associate Professor at Ionian University's Department of Informatics, specializing in Human-Computer Interaction and Multimedia Software Technology. PhD in Administrative Science and Technology, Athens University of Economics and Business MSc in Marketing and Communication Diploma in Electronic and Computer Engineering, Technical University of Crete His research bridges computer science and communication, focusing on: Interactive systems for health informatics Video processing algorithms Educational game mechanics Ubiquitous computing interfaces Social media analytics Mobile communication platforms Recent publications demonstrate expertise in interdisciplinary applications combining data science with user experience design , particularly in epidemiological tracking , serious games , and video interaction systems . He teaches advanced courses in: Human-Computer Communication (THE-400) Information Visualization (HY-645) Mobile and Social Media (HY-665)

پروفایل رسمی دانشگاه

Pino Alexandrosمشاهده پروفایل

مدرس

National and Kapodistrian University of AthensGreece

Pino Alexandros is a Lecturer in the Department of Informatics and Telecommunications at National and Kapodistrian University of Athens (NKUA), affiliated with the School of Sciences. He has held roles including Laboratory Teaching Staff (EDIP) since 2014 and researcher in the Voice and Accessibility Lab since 1997. His expertise spans Human-Computer Interaction, Assistive Technologies, and Web Accessibility. Educations: PhD (2012): NKUA, Topic: Open Source Software for AAC Applications. MSc (2003): NKUA, Major: Communications and Networks. BEng (1995): Democritus University of Thrace, Field: Energy Engineering. Research Interests: Development of assistive technologies for motor and sensory impairments. Accessibility of digital content (web, eTextbooks, cultural heritage). Human-Computer Interaction design for inclusive systems. Gesture-based interfaces and real-time signal processing. Grants & Projects: EU-funded projects (e.g., InSIDE, HERMOPHILOS) focusing on inclusive education and accessible technologies. National initiatives on assistive tech inventory systems and web accessibility frameworks. Labs/Teams: Active contributor to the Voice and Accessibility Lab, leading work on AAC systems and assistive tech evaluation.

پروفایل رسمی دانشگاه

Avraam Hatzopoulosمشاهده پروفایل

استادیار

University of West AtticaGreece

Avraam Hatzopoulos is an Assistant Professor at the Department of Industrial Design and Production Engineering of the University of West Attica. His academic work focuses on Embedded Automation, Mechatronics Systems, and Educational Autonomous Robotic Systems within the broader field of Industrial Production Systems. He leads the Industrial Systems and Mechatronics Applications Research Laboratory. Mechanical Automation Degree Master of Telematics Project Management (Danube University of Krems, Austria) Master of Information and Communication Technologies for Education (National and Kapodistrian University of Athens) PhD in Industrial Systems (University of West Attica) His research spans multiple domains including: Embedded systems with automation emphasis Industrial mechatronics applications Small-scale educational robotics STEM education methodologies Predictive maintenance techniques IoT applications in agriculture and smart homes His recent publications analyze trends in: Open-source drone development for engineering education Big data in pharmaceutical sector optimization Low-cost robotics platforms using Arduino Technology Acceptance Model (TAM) evaluations Predictive maintenance with neural networks IoT agricultural education tools Scientific achievements include: Patent on polymorphic robotics testing base (2005) Founder of University of Piraeus Robotics Academy (2017) Contributor to Mechatron educational platform (since 2000) Teaching portfolio includes: Undergraduate: Microcontroller Design, Mechatronics, Robotics, Automotive Design Postgraduate: UAV Applications, Embedded Systems, Production Automation

پروفایل رسمی دانشگاه

Panagiotis Papastamoulisمشاهده پروفایل

استادیار

Athens University of Economics and BusinessGreece

Panagiotis Papastamoulis serves as Assistant Professor at the Department of Statistics within the School of Information Sciences and Technology at Athens University of Economics and Business (AUEB). He joined AUEB in April 2020 after working as an Adjunct Lecturer from 2018-2019 and completing extensive postdoctoral research at prestigious institutions including the University of Manchester (2012-2018) and INRA in France (2011-2012). His educational background includes a BSc in Mathematics from the University of Patras (2003), an MSc in Applied Statistics (2006), and a PhD in Statistics (2010) from the University of Piraeus. His doctoral thesis addressed the label switching problem in Bayesian analysis of mixtures of distributions under the supervision of Professor G. Iliopoulos. Dr. Papastamoulis's research program centers on Bayesian and computational statistics, with particular expertise in finite mixture models, model-based clustering, and bioinformatics applications. His methodological contributions span theoretical developments in label switching solutions, reversible jump MCMC algorithms, and practical implementations for RNA-seq data analysis. His work demonstrates a consistent trajectory from foundational statistical theory to real-world biological applications. Analysis of his publication record reveals a strong focus on developing statistical methodology for complex data structures, with significant contributions to mixture modeling, Bayesian factor analysis, and bioinformatics. His most recent work (2023-2025) extends into cure rate modeling, directional data analysis, and multinomial mixture models for spatial data, showing continued innovation while maintaining connections to his core research themes. As an educator, he teaches undergraduate courses including Linear Models and Bayesian Inference Methods, and graduate courses such as Statistical Genetics-Bioinformatics and High Dimensional Statistics. He has also developed multiple open-source R packages that have become standard tools in the statistical community, including label.switching, BayesBinMix, and fabMix, which address fundamental challenges in mixture model analysis. Dr. Papastamoulis actively contributes to the academic community through organizing research seminars at AUEB and participating in conference committees, including the 22nd European Young Statisticians Meeting in 2021. His research integrates theoretical statistical development with practical computational implementations, creating tools that advance both methodology and application in multiple scientific domains.

پروفایل رسمی دانشگاه

Komninos Andreasمشاهده پروفایل

استادیار

University of PatrasGreece

Komninos Andreas is an Assistant Professor in the Computer Engineering & Informatics Department at the University of Patras, specializing in Mobile and Pervasive Computing, Internet of Things, and Human-Computer Interaction. His research spans intelligent environments, context awareness, and virtual reality applications. His research focuses on mobile text entry systems, psycho-cognitive modeling of human behavior, and accessibility for visually impaired users. Key areas include large language model applications for text entry evaluation, pseudo-haptic feedback in VR, and spatial multimodal alerts for industrial environments. He develops simulation tools like RoboType for realistic text entry evaluations and open-source cognitive models. Notable achievements include a Best Paper Award at the ACM Greek SIGCHI Chapter (2023) for VR text entry research. He serves as co-general chair for EICS'26 and holds leadership roles in MobileHCI'24 and UbiComp/ISWC'24 as Workshops & Tutorials Chair and Student Competition Chair respectively. Best Paper Award at ACM Greek SIGCHI Chapter (2023) Co-General Chair for EICS'26 Workshops & Tutorials Chair for MobileHCI'24 Student Competition Chair for UbiComp/ISWC'24 His publications demonstrate strong emphasis on empirical validation of text entry systems, with recent work integrating LLMs for affective phrase generation and psycho-cognitive modeling. He actively promotes open data practices in HCI research and has contributed to digital twin systems for environmental education and maritime industry applications.

پروفایل رسمی دانشگاه

George Papadimitriouمشاهده پروفایل

استادیار

University of PatrasGreece

George Papadimitriou is an Assistant Professor in the Computer Engineering & Informatics Department at the University of Patras , Greece, hosted within the School of Engineering . His primary affiliation lies with the Computer Hardware and Architecture division, where he leads research and teaching activities focused on dependable, energy-efficient computer architectures. Education: PhD in Computer Science, Department of Informatics & Telecommunications, National and Kapodistrian University of Athens (2019) Post-doctoral researcher, Computer Architecture Lab, National and Kapodistrian University of Athens Research Interests: Dr Papadimitriou’s research lies at the intersection of computer architecture , energy efficiency , and microprocessor reliability . His work specifically targets: Robust and energy-efficient CPU/GPU/accelerator architectures Post-silicon validation techniques for catching elusive hardware bugs Silent data corruption detection and mitigation across the compute stack Characterization of voltage margins and power consumption in modern microprocessors Modeling and simulation of domain-specific accelerators for low-power, dependable operation More recently, his team has been extending these methodologies to RISC-V and neuromorphic photonic accelerators within large European consortia. Scientific Awards & Recognition: Eight HiPEAC Paper Awards for top-tier conference publications (MICRO, HPCA, ISCA) between 2017–2024 IEEE Transactions on Computers 2022 Best Paper Award for the article “Anatomy of On-Chip Memory Hardware Fault Effects Across the Layers” TTTC/ITC Gerald W. Gordon Student Award 2023 Research Funding & Projects: Dr Papadimitriou is principal investigator or key technical contributor in multiple Horizon Europe and industry-backed projects that collectively exceed €50 M in funding. Current leadership roles include: DARE (Digital Autonomy for RISC-V in Europe) NEUROPULS (Neuromorphic Energy-Efficient Secure Accelerators) REBECCA (Reconfigurable Heterogeneous Highly Parallel Processing Platform) Vitamin-V (Virtual Environment & Tool-boxing for Trustworthy RISC-V Cloud Services) Intel, IBM, and Thales bilateral research contracts on energy-efficient and resilient microarchitectures Laboratory & Team: He leads the Energy-Efficient and Dependable Architectures (EEDA) research group at University of Patras, operating laboratory facilities for silicon measurement, FPGA emulation, and full-system simulation (gem5, MARSS, custom tools). The team currently comprises 3 PhD candidates, 2 post-docs, and several MSc thesis students collaborating with European and US partners.

پروفایل رسمی دانشگاه

Xiaoyin Wangمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Xiaoyin Wang is an Associate Professor in the Department of Computer Science at the University of Texas at San Antonio, specializing in software testing, privacy, and program analysis. Her research focuses on enhancing software quality through innovative approaches to build systems, virtual reality testing, and privacy policy enforcement. She earned her PhD from Peking University in 2012 and completed postdoctoral work at UC Berkeley. Her research interests span Software Testing and Analysis , Software Privacy , Build Systems , and Virtual Reality Testing . She develops techniques for detecting privacy leaks in mobile apps, optimizing build scripts, and testing immersive applications. Her work bridges program analysis with practical software engineering challenges, particularly in security-critical contexts. Recent publications reveal strong trends in Virtual Reality testing frameworks (e.g., VRGuide, VRTest), automated build diagnostics (PExReport, HireBuild), and privacy policy verification (GUILeak, DAISY). Her research increasingly integrates machine learning for bug prediction and test oracle generation, with significant contributions to augmented reality testing and cross-project compatibility analysis. President's Research Achievement Award (UTSA, 2019) NSF CAREER Award (2019) for build script analysis Distinguished PhD Dissertation Awards from CCF (2013) and Peking University (2012) MSRA Fellowship (2009) Wang actively advises PhD students including Rodney Rodriguez (defended 2022, now at Accenture) and Xueling Zhang (defended 2021, now Assistant Professor at RIT). She leads NSF-funded projects including CAREER: Analysis and Repair of Build Scripts for DevOps and EAGER: Tracing Privacy-Policy Statements into Code . Her service includes chairing ICSE 2019 proceedings and serving on ASE/ICSE/ISSTA program committees. Current work focuses on security analysis for AR applications and automated privacy compliance verification.

پروفایل رسمی دانشگاه

Ying Wangمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Dr. Ying Wang is an Associate Professor and Assistant Dean at the Software College of Northeastern University in China, where she also serves as a doctoral supervisor. She received her PhD in Software Engineering from Northeastern University in January 2019 and joined the faculty in February 2019. Her academic career includes a postdoctoral fellowship at the Hong Kong University of Science and Technology (2022-2023) and a visiting scholar position at Microsoft Research Asia (2021) through the StarTrack Program. Her research focuses on dependency management, software ecosystem governance, software refactoring, and software supply chain security. She has made significant contributions to understanding cross-language dependencies, vulnerability propagation across ecosystems, and developing tools for dependency conflict detection and resolution. Her work spans multiple programming language ecosystems including Java, C#, Python, Go, JavaScript, Android, and Rust. Dr. Wang's publication record shows a consistent trajectory of high-impact research in top software engineering conferences (CCF-A level) including ASE, ICSE, ESEC/FSE, and ISSTA. Her recent work increasingly integrates large language models with traditional software engineering techniques, particularly in dependency analysis and software refactoring. The publications demonstrate a strong emphasis on practical tool development with industry applications. Microsoft Research Asia Star Program Scholar (2020) CCF Outstanding Doctoral Dissertation Award nomination (2020) Liaoning Province Outstanding Doctoral Dissertation Award (2021) ACM SIGSOFT Distinguished Paper Award (ICSE 2021 and ESEC/FSE 2023) Multiple CCF ChinaSOFT Software Prototype Competition awards (2020, 2023) OpenHarmony Community Security Governance Contributions (2024, 2025) Dr. Wang actively mentors a large group of graduate students working on various aspects of software engineering, with many graduates securing positions at major technology companies including Huawei, Microsoft, Alibaba, and Tencent. She serves on the editorial board of IEEE Transactions on Software Engineering and has held numerous program committee positions at top software engineering conferences. Her research has strong industry connections, with several tools developed by her team being integrated into commercial platforms at Huawei and Microsoft.

پروفایل رسمی دانشگاه

Arjun Guhaمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Arjun Guha is an Associate Professor at Northeastern University's Khoury College of Computer Sciences, where he also serves as the Area Chair for Software. He conducts research in programming languages with a focus on program synthesis for low-resource programming languages and understanding how computer science education is impacted by large language models. His work spans multiple domains including WebAssembly, software-defined networking, and serverless computing. Guha's research interests center around programming language design, implementation, and application. He has made significant contributions to understanding JavaScript through formal semantics (LambdaJS), developing functional reactive programming for web applications (Flapjax), and creating tools for software-defined networks (NetKAT, Frenetic). His recent work focuses on leveraging large language models for code generation in specialized programming languages and understanding their impact on programming education. His publications reveal a strong trend toward applying AI and machine learning techniques to programming language problems, particularly in code generation and understanding. The research spans from foundational programming language theory to practical applications in education and software development tools, with increasing focus on the intersection of programming languages and large language models. Guha has received several prestigious awards including the OOPSLA Most Influential Paper Award in 2019 for his work on Flapjax, an ACM SIGPLAN Research Highlight for his work on NetKAT, and a Best Student Paper Award. His research has been recognized for its foundational contributions to programming language theory and practical impact on software development. OOPSLA Most Influential Paper Award (2019) for Flapjax ACM SIGPLAN Research Highlight for A Fast Compiler for NetKAT Best Student Paper Award for Flapjax paper Guha advises numerous PhD, MS, and undergraduate students, with several alumni now at leading tech companies and academic institutions. His research has been supported by the National Science Foundation, the Department of Energy, the Office of Naval Research, and industry partners including Google, JPMorgan Chase, MathWorks, Meta, Oracle, and Roblox. He leads the Programming Research Laboratory at Northeastern and is actively involved in major research collaborations like the BigCode Project. Guha is a member of the Programming Research Laboratory at Northeastern and leads several major research initiatives including the BigCode Project's evaluation working group. His lab develops practical software systems like MultiPL-E (a polyglot benchmark for Code LLMs) and WasmFX (bringing effect handlers to WebAssembly), with applications in education, software development, and high-performance computing.

پروفایل رسمی دانشگاه

Laura Dietzمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Laura Dietz is a tenured Associate Professor in the Department of Computer Science at the University of New Hampshire, where she leads the TREMA lab. Her academic journey began with a PhD from the Max Planck Institute for Informatics in Saarbruecken, Germany (2011), followed by postdoctoral positions at the University of Massachusetts Amherst (2010-2015) and University of Mannheim (2015-2016). Her educational background includes PhD studies at both the Max Planck Institute for Informatics (2007-2011) under Prof. Gerhard Weikum and Prof. Tobias Scheffer, and earlier research at Humboldt University in Berlin. She has built a distinguished career bridging theoretical computer science with practical applications in information retrieval and machine learning. Dietz's research primarily focuses on the intersection of information retrieval, natural language processing, and knowledge graphs, with a parallel research initiative in watershed data science. She is particularly known for her work on entity-aspect linking, complex answer retrieval, and the vision of automatic Wikipedia construction. Her approach integrates fine-grained knowledge annotations with text understanding to create comprehensive information systems that go beyond traditional 10-blue-links search paradigms. In watershed data science, she applies similar machine learning techniques to environmental data streams, focusing on solute transport analysis during storm events. Her recent publications reveal a strong trend toward fine-grained semantic understanding, particularly in entity-oriented search tasks. She has pioneered methods for entity-aspect linking that significantly improve retrieval accuracy by capturing different contexts in which entities appear. Her work increasingly integrates knowledge graphs with neural architectures, showing sophisticated understanding of how to leverage both structured and unstructured information for better search experiences. Best paper award at JCDL 2018 for work on entity-aspect linking NSF CAREER Award (2019-2023) for "Utilizing Fine-grained Knowledge Annotations in Text Understanding and Retrieval" OSSI Award 2013 from UMass ICB3 for open-source hardware/software Dietz actively mentors PhD and Masters students through the TREMA lab, with current research focusing on entity ranking, topic extraction, conversational search, and watershed forecasting. Her grant portfolio includes the NSF CAREER award and funding from the Northeast Big Data Innovation Hub for forecasting salinity in rivers during storm events. She has also coordinated the TREC Complex Answer Retrieval track (2017-2019), creating important benchmarks for the IR community. The TREMA lab (Text Retrieval, Entity Modeling, and Applications) serves as the hub for Dietz's research activities, bringing together students and collaborators to work on cutting-edge problems in information access. The lab's work spans both theoretical contributions to information retrieval and practical applications in domains ranging from environmental science to scientific publication analysis.

پروفایل رسمی دانشگاه

Anil Madhavapeddyمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Anil Madhavapeddy is the Professor of Planetary Computing at the University of Cambridge Computer Laboratory, where he co-leads the Energy & Environment Group and is a member of the Systems Research Group. He is also a Fellow at Pembroke College where he serves as Director of Studies in Computer Science. Madhavapeddy completed his PhD from the University of Cambridge in 2003 and his BEng in Information Systems Engineering from Imperial College in 1999. He holds a JM Keynes Fellowship since 2022 for his work combining computer science with economics, and serves on the management committee of the Cambridge Conservation Initiative where he co-directs 4C (Cambridge Centre for Carbon Credits) and the Centre for Earth Observation. His research spans computer systems and programming languages with a strong focus on applying these technologies to global conservation, biodiversity, and climate change challenges. He leads the OCaml Labs group and has made significant contributions to open-source projects including OCaml, Docker, Xen, and OpenBSD. His work often bridges computer science with environmental science, developing computational approaches to address planetary-scale challenges. Madhavapeddy's recent publications demonstrate a clear trajectory toward integrating programming language research with environmental monitoring and conservation. His work spans from foundational programming language techniques to applied geospatial computing systems, with increasing emphasis on biodiversity measurement, carbon credit systems, and planetary-scale environmental monitoring. JM Keynes Fellowship (2022-present) As an educator, Madhavapeddy teaches undergraduate courses including Foundations of Computer Science, Software & Security Engineering, and Cloud Computing. He mentors MPhil and PhD students and co-founded the award-winning book 'Real World OCaml' (2nd Edition, 2022). He has co-founded several companies including Unikernel Systems, High Energy Magic, Segfault, and Tarides to translate research into real-world impact. Madhavapeddy leads the OCaml Labs group at Cambridge and works closely with the Energy & Environment Group, collaborating with colleagues from Plant Sciences, Zoology, Economics, and NGOs including UNEP-WCMC and the IUCN. His current efforts are primarily focused on conservation technology through partnerships with organizations like Canopy PACT.

پروفایل رسمی دانشگاه

Mayur Naikمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Mayur Naik is the Misra Family Professor in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He holds office in Room 642B, Amy Gutmann Hall and maintains an active research program focused on the intersection of programming languages and artificial intelligence. Before joining UPenn, he was faculty at Georgia Institute of Technology and a researcher at Intel Labs, Berkeley. Naik received his PhD in Computer Science from Stanford University in 2008 under Alex Aiken, a Masters from Purdue University in 2003 under Jens Palsberg, and a Bachelors from BITS Pilani in 1999. He grew up in Goa, India. His primary research interests center around neurosymbolic programming, which combines symbolic reasoning with machine learning to create more accurate, interpretable, and domain-aware AI systems. His group develops language design, learning algorithms, and compiler optimizations in this space, with their most mature effort being the Scallop neurosymbolic programming language and compiler toolchain. He also conducts research in trustworthy AI for healthcare applications and AI-enabled programming tools that improve programmer productivity. Analysis of his recent publications shows a strong trend toward neurosymbolic programming frameworks (Scallop, TorchQL), LLM-assisted program analysis (IRIS), and applications of these techniques to security, healthcare, and computer vision. His work consistently bridges theoretical foundations with practical implementations, often releasing open-source systems. Misra Family Professor (endowed chair, effective July 2024) Multiple distinguished paper awards (PLDI 2019, FSE 2015, PLDI 2014) Test-of-Time Paper Awards (FSE 2013, FSE 2012, EuroSys 2011) His student Elizabeth Dinella won the 2025 ACM SIGSOFT Outstanding Dissertation award Naik has advised numerous PhD students who have gone on to faculty positions at top institutions including Peking University, University of Toronto, Ashoka University, Bryn Mawr College, and Johns Hopkins University. His research is supported by grants from NSF, Google, Amazon, and other industry partners. His lab maintains active collaborations with clinicians and bioinformatics researchers to apply neurosymbolic programming to healthcare problems. His research group, which includes current PhD students and postdocs, develops practical open-source systems and applies them to diverse domains including computer vision, cybersecurity, medicine, and bioinformatics. The group maintains strong industry connections with Google, Microsoft, Amazon, and other tech companies.

پروفایل رسمی دانشگاه

Bryan Parnoمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Bryan Parno is the Kavčić-Moura Professor of Electrical & Computer Engineering and Computer Science at Carnegie Mellon University, where he leads the Secure Foundations Lab within CyLab, CMU's Security & Privacy Institute. His research combines theory and practice to provide formal, rigorous security guarantees about concrete systems, with emphasis on creating solid foundations for practical solutions. His research spans secure systems , formal software verification , applied cryptography , data privacy , and usable security . Current work focuses on protocols for verifiable computation and zero-knowledge proofs, building practical formally verified secure systems, and developing next-generation application models. His lab maintains a strong commitment to reproducibility, open-sourcing code under permissive licenses, and avoiding patenting results to maximize public benefit. His recent publications demonstrate a clear trend toward practical verification of real-world systems, particularly through the Verus project for verifying Rust code, Everest for building verified HTTPS stacks, and Ironclad for provably secure systems. These works bridge the gap between theoretical security guarantees and practical implementation, with applications ranging from blockchain protocols to verified cryptographic libraries deployed in the Linux kernel. His scientific achievements include multiple Distinguished Paper/Artifact Awards (USENIX Security, SOSP, PLDI), the IEEE Cybersecurity Award for Practice , the Sloan Fellowship , and the ACM Doctoral Dissertation Award . His work on verifiable computation protocols has influenced blockchain systems, while his research on secure code execution environments contributed to Intel's SGX and TDX technologies. As an advisor, Parno has mentored numerous PhD students including Aymeric Fromherz (recipient of the ACM SIGSAC Doctoral Dissertation Award) and Jay Bosamiya. His lab receives funding from diverse sources including NSF, industry partners, and security foundations. Notably, his work has been incorporated into Windows 8+, iOS 13+, and the Linux kernel. He also serves in leadership roles including Chair of IEEE Computer Society's Technical Committee on Security & Privacy. The Secure Foundations Lab maintains strong industry connections, with alumni joining Microsoft Research, Inria, Northeastern University, and other leading institutions. Recent projects like Verus, Everest, and Ironclad represent the lab's commitment to building end-to-end verified systems that provide rigorous security guarantees while maintaining practical performance.

پروفایل رسمی دانشگاه