Robert Rand Email & Phone Number

Chicago, Il, Us

Chicago, Illinois, United States

College Park, Maryland

Developed the SQIR language and VOQC compiler for quantum programs with Kesha Hietala and other collaborators. Also worked on other applications of formal methods to quantum computing. Supervised by Michael Hicks and Xiaodi Wu.

Cambridge, United Kingdom

Worked with Andy Gordon, Neil Toronto, Simon Peyton-Jones, and Claudio Russo on Project Yellow (now Calc Intelligence) to add programming languages features to Excel.

Taught two half-credit courses on Python programming.

Greater Philadelphia Area

Teaching assistant for CIS 262: Automata, Computability, and Complexity and CIS 320 - Introduction to Algorithms.Held regular office hours, graded homework.For CIS 262, taught occasional recitation in place of the instructor, held class reviews for midterms and final exams.

New York, New York

Analyzed vast datasets of consumer transaction data to display detailed information about businesses (ranging from simple price quantiles to a complex measure of customer loyalty) to consumers via Bundle's Merchant Recommendation Engine.Created the underlying merchant similarity graph, based on conditional probabilities of visiting any pair of merchants, that powered the similar merchants and restaurant recommendation engines.Provided data support in numerous other areas, including developing heuristics to identify closed merchants, restructuring and automating the data pipeline, and analyzing consumer trends for Bundle Infographics and National Spending Reports.

New York, Ny

• Teaching assistant for a Freshman Honors Seminar in literature.• Helped students revise papers, improve their writing styles.

New York, Ny

• Ran a 90-minute weekly lab and graded completed programs for COM 2545 "Algorithms".

Urbana-Champaign, Illinois Area

• Attended tutorials in Data Mining, Natural Language Processing, Computer Vision and Information Retrieval. • Conducted research in Computer Vision with Dr. David Forsyth, Professor of Computer Science.• Produced programs to compare pictures visually (using Interest Points) and by nearby text.• Presented results to computer science faculty and DHS representatives at the conclusion of the program.

New York, Ny

• Held 90-minute weekly recitations. Assigned and graded homework.• Subjects reviewed included Propositional and Predicate Calculus, Automata and Turing Machines, Proof Methods, Set Theory, Combinatorics and Probability.

Piscataway, Nj

• Conducted research with Dr. Endre Boros, Director of the Rutgers Center for Operations Research (RUTCOR).• Investigated Proper Nash Equilibria in positional games represented by directed graphs with the number of possible outcomes held constant.• Presented research at DIMACS and YU; produced RUTCOR Report (http://dimax.rutgers.edu/~rrand/results).

Doctor Of Philosophy (Phd), Computer Science

Thesis Title: Formally Verified Quantum Programming Advisor: Steve Zdancewic

B.A., Mathematics, Computer Science

Activities and Societies: Undergraduate Student Research Presentations (President), Undergraduate Research Abstracts (Editor-in-chief).