YasuakiĀ Morita
Software Engineer at GMO Cybersecurity by Ierae
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.
14 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 (20)
agda9
tactics9
verification9
type-theory8
theorem8
proof8
programming-language7
dependent-types7
theorem-proving7
homotopy-type-theory7
nix4
mathematics4
nmt3
nixos2
translation2
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.