Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Alex Aiken
Charlotte Marquez
cmarquez@cs.stanford.edu
650-725-1430
Sue George
sue.george@stanford.edu
650-725-2340
Biographical Sketch
Alex Aiken is the Alcatel-Lucent Professor and the current Tencent Chair of the Computer Science Department at Stanford.
Alex received his Bachelors degree in Computer Science and Music
from Bowling Green State University
in 1983 and his Ph.D. from Cornell
University in 1988. Alex was a Research Staff Member at the IBM
Almaden Research Center (1988-1993) and a Professor in the EECS department at UC Berkeley (1993-2003) before joining the Stanford faculty in 2003. His research interest is in areas related to programming languages.
He is an ACM Fellow, a recipient of Phi Beta Kappa's Teaching Award, and a former National Young Investigator.
Alex is married to Jennifer
Widom. Jennifer and Alex have a son Tim
and a daughter Emily.
Here are some photos from the family's travels.
New
Check out the materials from the third annual Legion Bootcamp.
Legion is a data-centric
parallel programming system for hierarchical, heterogeneous,
distributed parallel machines. Legion focuses on providing mechanisms
for the placement and movement of data, allowing programmers to
express locality and independence of data while also automating many
of the tedious tasks programmers currently face in programming large-scale
supercomputers.
My publicly available, free, self-study compilers course. The course covers
the essentials of compiler construction, plus material on
language design and semantics, optimization, and bit on the history of
programming languages. There are optional programming assignments for
hard-core enthusiasts who want to build a full, functioning compiler for
COOL, the Classroom Object Oriented Language.
DeduceIt is a system for checking student derivations in on-line courses; the idea is to provide a richer and more interactive electronic homework than multiple choice questions for problems that can be formulated as derivations in some formal system. A number of things are available:
A demo video if you just want to get an idea of how it works.
The live DeduceIt system (which is currently broken, sorry!), where you can try a number of different kinds of exercises developed for the undergraduate compiler course I teach.