LokiΒ DerΒ Quaeler
Seattle, Washington, United States
Summary
π€©
Rockstarπ
Top SchoolLoki Der Quaeler is a principal-level technical leader based in Seattle with nine years of recent experience building distributed systems, neuro-symbolic AI, and data-exchange platforms for healthcare and life sciences. He blends deep formal-methods and model-checking expertise from Microsoft Research and AWS Automated Reasoning with hands-on engineering across cloud, bioinformatics, and security domains, including launching Amazon Bedrock Guardrails checks and a WAF rules solver. A pragmatic full-stack contributor, he has improved the KNIME Analytics Platform UI and tooling and repeatedly ships production-grade pipelines and services at scale. He co-founded multiple companies and has a long track record of designing architectures, developer tooling, and integrations that bridge research and product requirements. His background in pure mathematics and unfinished theoretical physics graduate work underpins a knack for abstraction and analogy that helps him translate between stakeholders of varied technical backgrounds. Colleagues describe him as a persistent, inquisitive contributor who accelerates teams through rapid deep dives and clear specification-driven solutions.
9 years of coding experience
31 years of employment as a software developer
The University of Arizonaunfinished master's theo. physics, unfinished master's theo. physics at San Francisco State University
English, French, German, Finnish
Github Skills (12)
javas10
swt10
user-interface10
workflow-engine10
front-end-development10
ui-design10
interface-design10
annotate10
java10
annotations10
annotation-processing10
eclipse9
Programming languages (13)
Github contributions (5)
knime/knime-core
Feb 2018 - Apr 2020
KNIME Analytics Platform
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:126 commits in 2 years 2 months
Contributions summary:Loki primarily contributed to improving the user interface and functionality of the KNIME Analytics Platform. Their work focused on enhancing the editor pane, addressing issues with maximizing the editor, and ensuring proper display across different operating systems. The user also implemented features to improve the handling of annotation content, including fixes for text truncation and adjustments to the layout. Further improvements were targeted at incorporating zoom functionality with the mouse wheel for a better user experience.
tool-blendingintegrationanalyticsknime-analytics-platformmachine-learning
quaeler/tlaplus
Jan 2019 - Mar 2020
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Contributions:132 PRs, 384 pushes, 89 branches in 1 year 2 months
model-checkermodel-checkingmodel-statecheckertoolbox
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.