Konstantinos Kallas
Assistant Professor Of Computer Science at UCLA
Greece
Summary
🤩
Rockstar🎓
Top SchoolKonstantinos Kallas is an Assistant Professor of Computer Science at UCLA with nine years of hands-on experience building and verifying robust backend systems. His work bridges academic research and industry practice, from extending CBMC for automated verification of C code to improving memory-safety for AWS’s C SDK and contributing ACME certificate automation to the ejabberd messaging server. He has interned at Microsoft (Netherite Azure Durable Functions) and AWS, bringing practical systems performance and correctness gains to large-scale cloud platforms. Comfortable across low-level C, formal verification, and distributed systems, he combines rigorous testing harnesses and postcondition checks with real-world feature delivery. A PhD from the University of Pennsylvania and a strong open-source track record underscore his focus on dependable, secure infrastructure. An unexpected thread through his contributions is a consistent emphasis on testability and automated verification to prevent subtle memory and correctness bugs before deployment.
9 years of coding experience
1 year of employment as a software developer
Erasmus Mobility, Computer Science, Erasmus Mobility, Computer Science at Università degli Studi dell'AquilaBachelor’s Degree, Computer Engineering, Bachelor’s Degree, Computer Engineering at National Technical University of AthensHigh School, 19.4 / 20, High School, 19.4 / 20 at Dionisos 1st High SchoolDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Pennsylvania
English, Greek, Italian, German
Github Skills (23)
c-language10
erlang10
c1110
model-checking10
acme10
data-structure10
enums10
c1710
cryptography10
data-structures10
cprogramming-language10
test-automation10
jose10
letsencrypt9
testing9
Programming languages (11)
Github contributions (5)
awslabs/aws-c-common
May 2019 - Aug 2019
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:16 commits, 19 PRs, 89 comments in 2 months
Contributions summary:Konstantinos primarily contributed to enhancing the core functionality and robustness of the AWS SDK for C. They implemented several harnesses for testing, particularly for functions related to array lists and priority queues, demonstrating a focus on ensuring code correctness and preventing potential memory errors. This involved adding preconditions, postconditions, and deep checks within the testing framework. Furthermore, the user introduced modifications to functions like `memcpy` and `s_swap` to facilitate more comprehensive and reliable testing of the code base.
c99aws-sdksdkerror-handlinghandling
processone/ejabberd
May 2017 - Nov 2017
Robust, Ubiquitous and Massively Scalable Messaging Platform (XMPP, MQTT, SIP Server)
Role in this project:Back-end Developer
Back-end DeveloperContributions:80 commits, 1 PR, 19 comments in 6 months
Contributions summary:Konstantinos primarily focused on implementing features for an ACME (Automated Certificate Management Environment) client within the ejabberd XMPP server. Their contributions include the initial creation of a module for ACME, along with implementing core functionalities such as directory interaction, account management, and certificate requests. They also explored the integration of JOSE (Javascript Object Signing and Encryption) for secure communication, including implementing a test scenario that uses the same. Further commits include adding support for certificate revocation and renew certificate features.
xmppjabber-servermatrixstunjabber
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.