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

Mohsen Lesaniمشاهده پروفایل

دانشیار

• Reliability of software systems
• Security of software systems
• Concurrent systems
• +۱۲ مورد دیگر

Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.

Theodora Varvarigouمشاهده پروفایل

استاد

• Cloud Computing
• Multimedia Content Processing
• Social Networking Technologies
• +۳ مورد دیگر

Theodora Varvarigou is a Professor in the Department of Electrical and Computer Engineering at the National Technical University of Athens (NTUA). She holds a B.Eng. from NTUA and M.Eng. and Ph.D. degrees from Stanford University. Her career includes research at AT&T Bell Labs and roles at the Technical University of Crete. From 2008-2012, she served as director of NTUA's 'Technoeconomic Systems' postgraduate program. Her research focuses on Cloud Computing, Multimedia Content Processing, Social Networking Technologies, and emerging areas like blockchain, edge computing, and cybersecurity. She has published over 200 papers and led numerous European research projects, emphasizing scalable systems, data management, and smart infrastructure applications. Her work spans technical innovations such as intrusion detection systems, edge resource optimization, and blockchain-based solutions for IoT, healthcare, and smart cities. Recent publications highlight advancements in AI-driven resource allocation, privacy-preserving blockchain designs, and predictive analytics for edge computing environments. Professor Varvarigou has contributed to interdisciplinary initiatives, including cohort data harmonization in biomedical research and social media analytics for urban planning. Her teaching includes courses on digital systems, network programming, and fault-tolerant systems.

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

دانشیار

• Distributed Systems
• Formal Verification
• Fault Tolerance
• +۳ مورد دیگر

Manos Kapritsos is an Associate Professor in the Department of Computer Science and Engineering at the University of Michigan's College of Engineering. He leads the GLaDOS research group focusing on reliability of distributed systems through formal verification and fault-tolerant replication techniques. His research spans: Formal verification of concurrent and distributed systems Fault-tolerant replication protocols beyond client-server models Automation of verification processes for complex systems Performance verification including latency properties Reliable cryptographic code implementation Analysis of his publications reveals strong emphasis on: developing automated verification tools (Armada, Vale, IronFleet), creating novel replication protocols (Aegean), verifying performance characteristics (Performal), and improving specification reliability (IronSpec). His work consistently bridges theoretical formal methods with practical systems implementation. Awards and honors include: Jay Lepreau Best Paper Award at OSDI 2025 Jon R. and Beverly S. Holt Award for Excellence in Teaching (2022) NSF CAREER Award (2021) Distinguished Paper Award at PLDI 2020 Google Faculty Award (2017) Distinguished Paper Award at USENIX Security 2017 Grant support includes NSF FMitF grants (2020, 2023), NSF Large grant (2021), DARPA grant (2020), and Google Faculty Award (2017). He advises PhD students through the GLaDOS group, focusing on distributed systems verification. He directs the GLaDOS lab at University of Michigan, developing verification frameworks and reliable distributed systems. Current projects include automated proof generation (Basilisk) and efficient communication protocols (Scrooge).

Pinon Hermida Victorمشاهده پروفایل

پژوهشگر

• Laser-Induced Breakdown Spectroscopy (LIBS)
• Optical Engineering
• Materials Analysis
• +۳ مورد دیگر

Dr. Pinon Hermida Victor is a Researcher at the Institute of Electronic Structure and Laser (IESL) under the Foundation for Research and Technology – Hellas (FORTH). He holds a PhD in Physics from the University of A Coruña (2011) and has conducted extensive research on Laser-Induced Breakdown Spectroscopy (LIBS), focusing on femtosecond lasers, double-pulse configurations, and applications in material analysis, archaeology, and environmental science. His career includes roles at Applied Photonics Ltd (UK) as Senior Applications Scientist (2014-2020) and postdoctoral fellowships at FORTH-IESL through the Marie Curie ATLAS program (2006-2008). Research interests span LIBS methodology development, optical fiber systems for high-power lasers, and software for spectral analysis. Notable contributions include portable LIBS instrument design and radiation-resistant optical components for nuclear facilities. Awards include the 2008 LIBS Contest and the 2011 Premio Extraordinario de Doctorado. Recent work focuses on applying LIBS to archaeological mollusc shell analysis for climate and environmental studies. He collaborates internationally on LIBS quantification challenges and instrument durability in harsh environments. Education: PhD in Physics (2011), University of A Coruña; Diploma in Physics (2001), University of Santiago de Compostela Key Roles: Senior Applications Scientist (Applied Photonics), Marie Curie Fellow (FORTH-IESL), Researcher (Laboratory of Industrial Applications of Lasers) Lab Affiliations: IESL-FORTH and University of A Coruña laser labs

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

استاد

• Health Informatics
• Cloud Computing
• Emergency Healthcare Systems
• +۴ مورد دیگر

George Vasilakopoulos is a Professor in the Department of Digital Systems at the University of Piraeus , where he also serves as Vice-Chancellor for Academic Affairs and Personnel. By law, he is President of the Quality Assurance Unit (MODIP) and the Employment and Career Structure (DASTA) of the university, overseeing the development of modern information systems. He earned his PhD from the University of London and has held leadership roles including Department President, Director of Postgraduate Programs, and Scientific Director of the Digital Health Services Laboratory. PhD: University of London Current Roles: Vice-Chancellor, Department of Digital Systems Professor Labs: Digital Health Services Laboratory His research focuses on Health Informatics , Cloud Computing , and Medical Data Security , with key contributions to: Emergency healthcare process automation Privacy-preserving personal health record systems Context-aware authorization models Cloud-based medical service frameworks Machine learning in clinical data analysis Interoperable health information systems The trends in his 15 most recent articles (2010-2015) reveal a consistent emphasis on integrating cloud infrastructure , semantic technologies , and mobile platforms to enhance emergency care, chronic disease management, and patient data security. His work bridges biomedical engineering , software architecture , and public health policy . He has held advisory roles for the Minister of Health on IT issues, served on hospital boards, and contributed to national committees for healthcare technology standards. His professional activities include project evaluation for Greek and European research programs and authoring three books on health informatics.

Demetriadis Stavrosمشاهده پروفایل

استاد

• Learning Technologies
• Educational Technology
• Conversational Agents in Education
• +۷ مورد دیگر

Full Professor at the School of Informatics, Aristotle University of Thessaloniki (AUTh), Greece. Previously served as Associate Professor (2015-2020), Assistant Professor (2008-2015), and Lecturer (2002-2008) at the same institution. Also worked as an Informatics Teacher in Greek Secondary Education from 1989-2002. His research focuses on Learning Technologies with emphasis on Conversational Agents in Education, Learning Analytics, Computer-Supported Collaborative Learning, Computational Thinking, Teaching Machine Learning at School, and Massive Open Online Courses (MOOCs). His recent work heavily investigates the application of AI, particularly conversational agents and large language models, in educational contexts. His publications show a strong trend toward AI applications in education, particularly focusing on conversational agents, learning analytics, and automated grading systems. The research spans multiple educational contexts from K-12 to higher education, with particular attention to student self-regulation, collaborative learning, and ethical considerations in AI implementation. 3 Best paper awards at international conferences Interview by Educational Technology Magazine (2013) Cubes Coding project - Winners of Open Education Challenge 2014 Cubes Coding project - Winners of NUMA Competition 2014 Has supervised 5 completed PhD theses, 4 ongoing PhD theses, over 60 Master's theses, and over 120 undergraduate theses. Led the colMOOC project (2018-2020), a €999,000 EU-funded project on integrating conversational agents and Learning Analytics in MOOCs. Also coordinated the T4E project (2020-2022) on Teachers' Fast-paced Distance Training on Tele-education and a MOOC in Greek on Introduction to Programming with Python. Previously served as Director of the Software and Interactive Technologies Laboratory (SWITCH Lab) until 2020, Member of AUTH Educational Policy Committee until 2020, and Chair of the Scientific Supervisory Board of the 2nd Experimental Junior High School in Thessaloniki until 2020.

Eleni Staiمشاهده پروفایل

استادیار

• Optimization
• Communications Networks
• Data Analytics
• +۴ مورد دیگر

Eleni Stai is an Assistant Professor at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), affiliated with the Division of Communication, Electronic and Information Engineering. She holds advanced degrees in Electrical Engineering, Mathematics, and Applied Mathematical Sciences from NTUA and the National and Kapodistrian University of Athens. Her academic credentials include: Diploma in Electrical and Computer Engineering, NTUA (2009) B.Sc. in Mathematics, National and Kapodistrian University of Athens (2013) M.Sc. in Applied Mathematical Sciences, NTUA (2014) Ph.D. in Electrical Engineering, NTUA (2015) Dr. Stai's research integrates advanced optimization techniques with communications networks and energy systems. She develops stochastic and deterministic optimization frameworks for network resource allocation, data analytics on complex topologies, and smart-grid control applications. Her work bridges theoretical foundations with practical implementations in energy-harvesting networks, network slicing, and reinforcement learning for distributed systems. Analysis of her recent publications reveals dominant research thrusts in AI-driven network management (particularly O-RAN and network slicing), energy-integrated communications, and optimization of energy communities. A significant portion of her work addresses the convergence of 5G/6G networking with power systems, emphasizing real-time control and sustainability. Her scientific contributions have been recognized through prestigious awards: Chorafas Foundation Best Ph.D. Thesis award Thomaidis Foundation Best M.Sc. Thesis award Best Paper Award at ICT 2016 Best Presenter Award at IEEE ENERGYCON 2022 Dr. Stai serves on technical program committees for major international conferences and has co-authored the book "Evolutionary Dynamics of Complex Communications Networks". She teaches undergraduate courses in Queuing Systems, Computer Networks, and Social Network Analysis, reflecting her expertise in network theory and applications. Her research trajectory demonstrates continuous evolution from fundamental network optimization to AI-enhanced solutions for next-generation communication-energy systems. Her work builds upon her postdoctoral experience at EPFL (2016-2020) and ETH Zurich (2020-2023), where she developed advanced frameworks for communications networks and energy systems.

Todd Millsteinمشاهده پروفایل

استاد

• Network Verification
• Programming Languages
• Probabilistic Programming
• +۳ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.

Fei Heمشاهده پروفایل

دانشیار

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

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.

Stavros Demetriadisمشاهده پروفایل

استاد

• Learning Technologies
• Educational Technology
• ICT in Education
• +۷ مورد دیگر

Stavros Demetriadis is a Full Professor at the School of Informatics, Aristotle University of Thessaloniki, Greece. His research focuses on Learning Technologies, including Conversational Agents in Education, Learning Analytics, Computer-Supported Collaborative Learning (CSCL), Computational Thinking, and Massive Open Online Courses (MOOCs). He has led EU-funded projects like colMOOC and developed educational tools such as 'pytolearn' for Python instruction and 'Cubes Coding' (winner of Open Education Challenge 2014 and NUMA Competition 2014). He has supervised 5 completed PhD theses, 4 ongoing PhDs, and over 60 Master’s theses. Academic Appointments: Full Professor (2020–present), Associate Professor (2015–2020), Assistant Professor (2012–2015), Lecturer (2002–2008), Informatics Teacher (1989–2002) Education: PhD in Multimedia Technology in Education (2000), MSc in Electronic Physics (1986), BSc in Physics (1983) His work bridges AI and education, with over 161 publications and an h-index of 27. Recent research explores ChatGPT integration, ethics in Learning Analytics, and AI-driven assessment tools. He has delivered invited talks at institutions like the University of Valladolid (2024) and coordinates the 'Teachers' Fast-paced Distance Training on Tele-education' project. Awards include three international best paper awards and recognition for his 'Cubes Coding' project. Key Research Contributions: Developed frameworks for Conversational Agents in CSCL Innovated Computational Thinking pedagogy through robotics Explored ethics and culture in Learning Analytics adoption Created Python-based MOOCs for non-programmers He has taught courses like Human-Computer Interaction and Learning Analytics, and led short programs on Conversational AI. His collaborations span institutions in Spain, Denmark, and Greece. ORCID: 0000-0002-1561-6372; Google Scholar, Semantic Scholar, and Scopus profiles list his extensive output.

John Regehrمشاهده پروفایل

استاد

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

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.

Manolis Koubarakisمشاهده پروفایل

استاد

• Artificial Intelligence
• Data Science
• Linked Data
• +۳ مورد دیگر

Manolis Koubarakis is a Professor and Director of Graduate Studies at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. He is affiliated with the Archimedes Unit at Athena Research Center and is a member of ELLIS. His research focuses on Artificial Intelligence and Data Science, particularly in Linked Geospatial Data, Earth Observation, and Knowledge Graphs. Education: PhD in Computer Science (National Technical University of Athens), M.Sc. in Computer Science (University of Toronto), and B.Sc. in Mathematics (University of Crete). Research Interests: His work spans AI applications in geospatial data, entity resolution, ontology-based data access (OBDA), and semantic web technologies. He leads projects like ExtremeEarth (AI for Copernicus data) and LEO (linked Earth Observation data). Awards: 2015: Fellow of the European Association of Artificial Intelligence (EurAI) 2022: Best Demo Award at CIKM for Copernicus App Lab Advising & Grants: Supervises students in AI and data science. Collaborates on EU-funded projects like BigDataEurope and participates in initiatives like the Standing Scientific Committee for AI in Greece's justice system. Labs & Teams: Heads the AI Lab (ai.di.uoa.gr) and contributes to the MaDgIK group, focusing on data and knowledge management systems.

• Spatial Databases
• Geoinformatics
• Internet of Things (IoT)
• +۵ مورد دیگر

Anastasios Zafeiropoulos serves as Assistant Professor at Harokopio University of Athens, specializing in Spatial Data Management and Analysis within the Postgraduate Studies Program for “Applied Geography and Spatial Management” (Direction C: Geoinformatics). His academic role encompasses teaching “Spatial Databases” and advancing research at the intersection of geospatial technologies and distributed computing systems. His research program focuses on Spatial Databases, Internet of Things (IoT), Cloud/Edge Computing, and 6G Network Orchestration, with significant extensions into Knowledge Graph applications for Sustainable Development Goals (SDGs) and socio-emotional learning in education. Key innovations include the EduCardia methodology for student competency assessment and frameworks for climate vulnerability analysis using knowledge graphs. Analysis of his 2024-2025 publications reveals three dominant thrusts: (1) AI-driven orchestration of 6G services across the computing continuum using reinforcement learning; (2) Knowledge Graph applications for SDG interlinkage analysis and materials science; (3) EU-funded IoT/Edge Computing project ecosystems. His work consistently bridges theoretical networking concepts with practical sustainability and educational applications. Dr. Zafeiropoulos actively contributes to EU-funded initiatives in IoT and Edge Computing standardization, particularly through AIOTI WG Standardisation. His project portfolio includes NEPHELE multi-cloud ecosystem development and O-RAN slice admission control research, demonstrating strong industry-academia collaboration in next-generation networking. He leads the development of innovative tools including Palindrome.js for distributed system visualization and the EmoSocio open-access emotional intelligence model, reflecting his commitment to translating research into practical educational and environmental solutions.

Gérard Berryمشاهده پروفایل

استاد

• Computer Science
• Lambda Calculus
• Functional Programming
• +۵ مورد دیگر

Gérard Berry (born December 25, 1948) is a distinguished French computer scientist currently serving as Professor at the Collège de France, holding the permanent chair Algorithmes, machines et langages (Algorithms, Machines, and Languages) since 2012. He previously held the Informatique et sciences numériques chair (2009-2010) and the Technological Innovation Liliane Bettencourt chair (2007-2008) at the same institution. Before joining Collège de France full-time, he served as Director of Research at INRIA Sophia Antipolis (2009-2012) and at École des Mines de Paris (1977-2001). His research spans over 30 years in three main fields: lambda calculus and functional programming, parallel and real-time programming languages, and design automation for synchronous digital circuits. He is particularly renowned for developing the Esterel programming language. His work bridges theoretical computer science with practical industrial applications. Berry's research has evolved to include current work in Hop and HipHop for Web programming, formal verification of compilers, and languages for computer music. His publications demonstrate consistent contributions to programming language theory, formal methods, and their applications in hardware and software systems. Gold Medal of CNRS (2014) Chevalier de l'Ordre de la Légion d'Honneur (2012) Member of French Academy of Sciences (2002) Member of Academia Europaea (1993) Monpetit Prize of Académie des sciences (1990) Berry has advised 17 PhD students and reviewed numerous theses. His industrial experience includes serving as Chief Scientist Officer of Esterel Technologies (2000-2009), where he directed the implementation of the Esterel v7 compiler. He has also held significant leadership roles including President of the Scientific Council of IRCAM and membership on the Scientific Council of the National Education. His teaching at Collège de France has covered topics ranging from the foundations of computation to the societal impact of digital technology, with courses including The Informatics of Time and Events and Proving Programs: Why? When? How? His laboratory work has focused on developing practical applications of theoretical computer science concepts.

Alvin Cheungمشاهده پروفایل

دانشیار

• Data Management
• Programming Languages
• Software Systems
• +۴ مورد دیگر

Alvin Cheung is an Associate Professor in the Computer Science Division at UC Berkeley's EECS department. He is affiliated with the Data Systems and Foundations group, Programming Systems group, Sky Lab, and SLICE Lab, and serves as a faculty affiliate at the Berkeley Institute for Data Science. He advises the Data Science Discovery Program and provides technical guidance to industry partners. His research spans data management, programming languages, and scalable software systems, with emphasis on helping users process large datasets efficiently. Key innovations include verified lifting (applying formal methods and ML to infer program properties) and systems for optimizing database-backed applications and geospatial analytics. Recent work explores LLM-driven code optimization and transpilation techniques. His publications (2023-2025) show strong trends in ML-enhanced systems, verified compilation, and data management tools. Articles frequently integrate formal methods, program synthesis, and hardware-aware optimizations across domains like databases, distributed computing, and HCI. Scientific Awards: ACSIC Rock Star Award (2025) Dahl-Nygaard Junior Prize (2024) VLDB Early Career Research Contribution Award (2023) IEEE TCDE Rising Star Award (2020) Sloan Fellowship (2019) NSF CAREER Award (2017) 20+ additional honors Advising & Grants: He mentors PhD/MS students (e.g., Lily Liu at OpenAI, Chenglong Wang at Microsoft Research). Research is funded by: NSF DOE ONR ARO Intel Notable grants include ONR Young Investigator Award and ARO Early Career Program Award. Labs & Teams: Leads projects in Berkeley's Data Systems/Programming Systems groups and collaborates with Sky Lab/SLICE Lab. Manages labs focused on verified compilation (e.g., Tenspiler) and data infrastructure (e.g., Spatialyze).