Skip to content
View danielzkng's full-sized avatar
9 followers · 8 following

Block or report danielzkng

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
danielzkng/README.md

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/

ovi

Pinned Loading

  1. codeforces codeforces Public

    Repository of my Codeforces solutions over the course of the last year.

    C++

  2. facebookincubator/velox facebookincubator/velox Public

    A C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.

    C++ 3.5k 1.1k

  3. danielzkng.github.io danielzkng.github.io Public

    HTML