Stanford University
Showing 361-380 of 756 Results
-
Meijin Li
Masters Student in Electrical Engineering, admitted Autumn 2023
BioI'm Meijin Li, a software engineering and machine learning enthusiast, deeply engrossed in the real-world applications of AI+. I am presently pursuing a Master's degree in Electrical Engineering at Stanford University, specializing in the software system track.
I work at the intersection of machine learning, software, and cloud engineering in recent internship at Alibaba and project at Stanford, all about building AI traning or powered platform. I have a strong passion for real-world applications of AI+. I'm actively seeking software engineer opportunities.
During my undergraduate years, I was fortunate to work under the guidance of Prof. Zhiyang F. on multiple Reinforcement Learning and Computer Systems research projects. Additionally, I had the opportunity to further enhance my skills during my recent internship at Alibaba, with the expert mentorship of Mr. Qingnan Y. Here I was involved in developing an enterprise-level CI/CD/CT Web platform for Large Language Model training, deployment, and testing.
I am excited to leverage my skills and knowledge to drive advancements in this ever-evolving field and contribute to AI+ practical applications. -
Zhe Li
Graduate Visiting Researcher Student, Electrical Engineering
BioI am currently a visiting PhD researcher at Stanford University. Additionally, I am pursuing my PhD at the Hong Kong Polytechnic University. My research focuses on robust speaker representation learning and machine learning. You may learn more about me via my homepage: https://lizhe.link.
-
David Luckham
Professor (Research) of Electrical Engineering, Emeritus
BioProfessor (Research) Emeritus of Electrical Engineering.
Research Professor of Electrical Engineering, Stanford University, 1977 to 2003.
Vinton Hayes Senior Research Fellow, Harvard University, 1976.
Senior Research Associate, Stanford Artificial Intelligence Laboratory, 1972-1977.
Associate Professor, UCLA Computer Science Department, 1970-1972.
Professor Luckham's research and consulting activities in software technology include multi-processing and business processing languages, event-driven systems, complex event processing, commercial middleware, program verification, systems architecture modelling and simulation, and artificial intelligence (automated deduction and reasoning systems).
Prof. Luckham has held faculty and invited faculty positions in both mathematics and computer science at eight major universities in Europe and the United States. He has been an invited lecturer, keynote speaker, panelist, and USA delegate at many international conferences and congresses. Until 1999 he was a member of the Computer Systems Laboratory, Stanford University and directed the Program Analysis and Verification Project. He taught courses on Artifical Intelligence and automated deduction, programming languages and program verification, the Anna verification system, systems prototyping and simulation languages, and Complex Event Processing. He was one of the founders of Rational Software, Inc. in 1981.
In the past he has served on review committees during the DoD Ada Language design competition, and was a Distinguished Reviewer on the DoD Ada9X design project. In 1993-94 he was a member of the TRW Independent Assessment Team tasked with reviewing the FAA's Advanced Automation System for the FAA, and in 1994-96 he was a distinguished reviewer for the DoD High Level Language for modelling and simulation. He has published four books and over 100 technical papers; two ACM/IEEE Best Paper Awards, several papers are now in historical anthologies and book collections. His 2002 book is a benchmark introduction to complex event processing, "The Power of Events" . His 2012 book , "Event Processing for Business" documents current applications of Complex Event Processing in many areas of Information Technology.