Hi, I'm Daniel Ng, or @danielzkng here on GitHub! I'm currently an incoming full-time software engineer at a trading firm in New York. I got my bachelor's degree in computer science from Carnegie Mellon University, with a concentration in Principles of Programming Languages. I was advised by Prof. Frank Pfenning for my senior honors thesis, and we investigated the semi-axiomatic sequent calculus and its applications to parallel process calculi with memory reuse.
You may also want to check out my website!
Some interesting classes I took at CMU:
- 15-122: Principles of Imperative Computation
- 15-151: Mathematical Foundations for Computer Science
- 21-241: Matrices and Linear Transformations
- 15-150: Principles of Functional Programming
- 15-251: Great Ideas in Theoretical Computer Science
- 07-180: Concepts of Artificial Intelligence
- 15-213: Introduction to Computer Systems
- 15-210: Parallel and Sequential Algorithms and Data Structures
- 15-312: Foundations of Programming Languages
- 21-259: Calculus in Three Dimensions
- 15-317: Constructive Logic
- 15-259: Probability and Computing
- 02-261: Quantitative Cell and Molecular Biology Laboratory
- 07-300: Research and Innovation in Computer Science
- 15-440: Distributed Systems
- 15-451: Algorithm Design and Analysis
- 07-400: Research Practicum in Computer Science
- 15-411: Compiler Design
- 15-281: Artificial Intelligence: Representation and Problem-Solving
- 15-330: Introduction to Computer Security
- 15-417: HOT (Higher Order, Typed) Compilation
- 07-599: SCS Senior Thesis
I also served as a teaching assistant for 15-210 from Spring 2022 to Spring 2024, acting as a lead teaching assistant for three of these semesters. Before that, I TAed for 15-122 for both the Summer and Fall 2021 semesters.
I can be contacted at danielzkng0 [at] gmail.com, or on LinkedIn here: https://www.linkedin.com/in/danielzkng/