Yusuke Miyazaki
Site Reliability Engineer in Japan

Work Experience

Talks

Projects

mypy Playground

mypy Playground

2017– / Web / Python

Try mypy, an experimental optional static type checker for Python, with your web browser.

WebsiteGitHub
tox-gh-actions

tox-gh-actions

2019– / Plugin / Python

A tox plugin which helps running tox on GitHub Actions with multiple different Python versions on multiple workers in parallel.

GitHub
lambda-dti

lambda-dti

2017– / Programming Language / OCaml

An interpreter of the implicitly typed gradual language (ITGL) which uses dynamic type inference for evaluating programs. This is an artifact of a POPL 2019 paper.

GitHubPaper
wsgi_lineprof

wsgi_lineprof

2016– / Library / Python

Line profiler as a WSGI middleware. Easily integrates with existing Python web applications.

GitHub
京大マップ

京大マップ

2012–2017 / Django / iOS / Python / Web

Information sharing application for Kyoto University. Provides detailed map and event sharing platform. Developed iOS application, web application, backend, and infrastructure. Founded a startup in 2013.

Website
鶉野マップ

鶉野マップ

2013–2017 / iOS

Navigation app for Uzurano Airbase which is known for buildings during World War II.

kawasemi

kawasemi

2015– / Library / Python

Python library to send notification to platforms like Slack or HipChat.

GitHub
CAMPHOR- Website

CAMPHOR- Website

2014–2018 / Django / Python / HTML / CSS / JavaScript / Web

Website of CAMPHOR-, a student engineers/designers community in Kyoto. Implemented both front-end and back-end.

Website
IPSJ77Now⤴︎⤴︎

IPSJ77Now⤴︎⤴︎

2015 / Node.js / HTML / CSS / JavaScript / Web

Webapp to visualize Twitter activity during the 77th national convention of IPSJ. Built front-end and infrastructure and managed the project.

Website

Skills

C
CSS
Debian
Django
HTML
iOS
Java
JavaScript
Linux
Mac OS X
Objective-C
OCaml
Python
Ruby
Scheme
Swift

Research

Received my Masters of Informatics and Bachelor of Engineering from Kyoto University in 2018 and 2016, respectively. Worked on programming language theory including gradual typing, type inference, delimited continuations (shift/reset).

Misc