Konstantinos Pouliasis
Staff Software Engineer at iCapital
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolKonstantinos Pouliasis is a Staff Software Engineer based in New York with 11 years of experience blending deep formal-methods research and production-grade software engineering. He holds a PhD in Computer Science focused on mathematical logic and the foundations of programming languages, and has translated that theory into practice at AWS, Axoni, and now iCapital. Comfortable across research and engineering roles, he has shipped software for distributed systems and financial infrastructure while mentoring teams and teaching hundreds of students as an adjunct professor. Colleagues benefit from his rare combination of logical rigor and pragmatic coding—he describes himself succinctly as a logician, computer scientist, coder. His trajectory shows a consistent move from academic innovation to impactful industry systems, often applying modal logic and formal techniques to real-world problems.
11 years of coding experience
13 years of employment as a software developer
Full stack software development, Full stack software development at Fullstack AcademyDoctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at The Graduate Center, City University of New YorkMaster's degree Computer Science, Master's degree Computer Science at New York UniversityDiploma electrical and computer engineering, Diploma electrical and computer engineering at National Technical University of Athens
English, Greek, Spanish
Github Skills (14)
checker10
tlaplus9
verification9
tla9
cpp8
model-checking8
phonetics8
opentype7
python6
cjk6
truetype5
fonts5
ufo5
woff2
Programming languages (2)
Github contributions (5)
KPouliasis/ProposalMadoko
Oct 2016 - Jun 2017
Contributions:200 pushes, 1 branch in 8 months
KPouliasis/DissertationProposal
Jul 2016 - Dec 2017
Contributions:89 pushes, 2 branches in 1 year 4 months
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.