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
Dutch partition
dynamic permutation
red-black tree
variable-length arguments
probabilistic finding