Skip to content
View SophieBosio's full-sized avatar
13 followers · 76 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLO
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: YOLO
BetaSend feedback
Block or Report

Block or report SophieBosio

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

Introduction 👋

Hi! I'm Sophie.

I'm currently a software engineer intern at Ardoq and a Master's student at the University of Oslo, in Programming and System Architecture.

My thesis work is about automatically finding counterexamples to property-based tests in a small functional language. I'm supervised by Michael Kirkedal Thomsen and Joachim Tilsted Kristensen.

I'm interested in coffee, natural languages, functional programming, and music -- and I'm always learning more! 🌱

If you want to stay up to date with what I'm doing, you can check out my little blog at sophiebos.io.

You can reach me via email on [email protected], or here on GitHub.

Popular repositories

  1. .emacs.d .emacs.d Public

    Emacs configuration

    Emacs Lisp 9 1

  2. contra contra Public

    A friendly functional language for finding counterexamples 🎯

    Haskell 4

  3. sophiebosio.github.io sophiebosio.github.io Public

    Sophie Bosio's blog.

    HTML 1

  4. vinyl vinyl Public

    A soft dark theme for VS Code with a vintage feel.

  5. dotfiles dotfiles Public

    Dotfiles for terminal, DE UI, and misc.

    JavaScript

  6. SophieBosio SophieBosio Public

    Description for my GitHub page!