Van Chan Ngo Computer Scientist and Software Engineer Research interests are in formal methods, programming languages, compilers, and language-based security. I am a member of the Principles of Programming Group, School of Computer Science, Carnegie Mellon University.
Tag cloud
mathematic
Dutch partition
dynamic permutation
red-black tree
B-tree
variable-length arguments
probabilistic finding
algorithms
algorithm design
pearls of functional algorithm design