Skip to content
View NlightNFotis's full-sized avatar
🤔
🤔
45 followers · 50 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@github @Riptide-Linux
Block or Report

Block or report NlightNFotis

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
NlightNFotis/README.md

Aloha 👋

I'm a Mathematician and Computer Scientist, primarily interested in:

  • Programming Languages - Specification and Implementation
  • Software Verification, Correctness and Reliability
  • Functional Programming and Theory of Computing
  • Automated Reasoning
  • Randomness
  • Uncertainty Quantification

Outside computing, my interests are diverse and include scholarship (I enjoy studying other subjects such as Economics, Biology, Chaos/Complexity, etc) and music (singing 🎤 / guitar 🎸 / piano 🎹)

Work 👨🏻‍💻💸

I'm working as a Software Engineer at GitHub, where I'm part of the Security Products Engineering department, working on CodeQL and assorted tools.

Before that, I was part of Diffblue's Open Source team, where I spent my time maintaining CBMC, a model checker for C (a tool for verifying that the behaviour of C code aligns with its specification).

Contact 🤝

Reach me through the following:

Pinned

  1. diffblue/cbmc diffblue/cbmc Public

    C Bounded Model Checker

    C++ 767 251