YasuakiĀ Morita
Software Engineer at Lepidum Co. Ltd.
Reykjavik, Iceland
Summary
š¤
Seniorš
Top SchoolYasuaki Morita is a software engineer and PhD student in Computer Science at Reykjavik University with 13 years of industry experience bridging theoretical research and pragmatic engineering. He focuses on programming languages, static analysis, type theory, and proof assistants while applying that foundation to optimization and secure computation. Concurrently he works in cybersecurity at GMO Cybersecurity by Ierae in Japan, contributing expertise in cryptography, communication protocols, and increasingly Trusted Execution Environments and Confidential Computing. His background includes embedded and storage-focused engineering roles (Seiko Epson, Fixstars) that give him practical systems insight uncommon among theoreticians. Comfortable moving between proofs and production, he brings a rare combination of formal methods knowledge and hands-on secure systems engineering.
13 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Reykjavik UniversityMaster of Science (M.S.), Nonlinear Dynamics, Master, Master of Science (M.S.), Nonlinear Dynamics, Master at Osaka Prefecture University
Japanese, English, Icelandic
Github Skills (26)
agda9
homotopy-type-theory8
proof8
tactics8
dependent-types7
theorem-proving6
theorem6
home-manager6
theory6
standard-library5
combinatorics5
discrete-mathematics4
mathematics4
category-theory4
type-theory4
Programming languages (7)
Github contributions (5)
moritayasuaki/haskell-learning
Feb 2013 - Aug 2013
Contributions:75 commits in 5 months
moritayasuaki/escvp
Aug 2012 - Jan 2014
ESC/VP 21 Virtual COM
Contributions:11 commits in 1 year 5 months
esc
Find and Hire Top DevelopersWeāve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.