Skip to content
View NlightNFotis's full-sized avatar
🤔
🤔
81 followers · 54 following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@github @Riptide-Linux

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 Copilot Coding Agents department, working on various aspects of GitHub Copilot.

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:

🌱 I am committed to living a climate positive life. You can see my impact at ecologi.

Popular repositories Loading

  1. Fotix Fotix Public

    My very own UNIX clone, for education/self-amusement.

    C 8 1

  2. trigger-workflow-and-wait trigger-workflow-and-wait Public

    Forked from convictional/trigger-workflow-and-wait

    Trigger a workflow in another (or same) repository and wait for the job to finish.

    Shell 1

  3. nlightnfotis.github.io nlightnfotis.github.io Public

    My personal blog.

    CSS

  4. Ensidia Ensidia Public archive

    The Ensidia Operating System

    C

  5. Playground Playground Public

    My personal coding experiments and exercises

    C

  6. cbmc cbmc Public

    Forked from diffblue/cbmc

    C Bounded Model Checker

    C++