小林 亮太

株式会社メルペイ / バックエンドエンジニア東京

小林 亮太

株式会社メルペイ / バックエンドエンジニア

一意専心

バックエンドエンジニアとして業務に取り組んでいます。 プログラム検証・言語処理系・セキュリティに興味があります。

この先やってみたいこと

未来

非機能要件にもこだわってプロダクトを開発する

株式会社メルペイ1ヶ月

バックエンドエンジニア現在

- 現在

マイクロサービスアーキテクチャを用いたアプリケーションの開発・運用をしています。

京都大学大学院(修士課程)2年間

情報学研究科 通信情報システム専攻 五十嵐・末永研究室

-

所有権を用いてプログラムを変換し、命令型言語・オブジェクト指向言語を検証する研究に取り組んでいました。

アイフル株式会社の会社情報

アイフル株式会社4年間

ソフトウェアエンジニア(インターン)

-

社内アプリケーションのサーバーサイドを担当していました。

株式会社メルペイ2ヶ月

バックエンドエンジニア(インターン)

-

Partner Platformのバックエンドとして業務を行いました。

Wantedly, Inc.の会社情報

Wantedly, Inc.2ヶ月

DX Squad(インターン)

-

DX Squadで業務を行いました。

Sansan株式会社の会社情報

Sansan株式会社2ヶ月

ソフトウェアエンジニア(インターン)

-

インボイス管理サービス「Bill One」の改善・新機能開発を行いました。

Wantedly, Inc.の会社情報

Wantedly, Inc.

DX Squad(インターン)

DX Squadで、OSSであるkubefork-controllerのCLI部分であるkubeforkctlと、kubeforkについてのドキュメントを作成しました。kubefork-controllerを使うことで、マイクロサービスアーキテクチャ上のアプリケーションのテストを簡単に行うことができます。

ダルマ・キャピタル株式会社

ソフトウェアエンジニア(インターン)

2週間で、取引・監視を補助するためのツールの開発に取り組みました。

京都大学4年間

工学部情報学科 計算機科学コース

-

卒業研究では、研究室内で開発している Java プログラム検証器 Regnant が、break 文・continue 文を扱えるよう拡張しました。

  • PPL2022 ポスター・デモ発表

    プログラミングおよびプログラミング言語ワークショップである PPL 2022 でポスター発表を行いました。卒業研究で改良した Java 検証器 Regnant のデモも行いました。

小倉高等学校3年間

普通科

-


言語

  • 日本語 - ネイティブレベル
  • 英語 - ビジネス会話レベル

アプリをインストールして、知り合いの最新の活躍をフォローしよう