András Kovács
Application Engineer
Copenhagen Metropolitan Area Denmark
Summary
🤩
Rockstar🎓
Top SchoolAndrás Kovács is a hands-on engineer and co-founder with 13 years of experience building embedded systems and software across startups, research institutes and multinational environments. He leads product development at Calibur Fencing, designing electronic systems, PCBs and signal-processing pipelines for a wireless scoring device while overseeing production. His background includes redesigning flight-control modules for an EU UAV research project and backend Java work at Morgan Stanley, giving him rare fluency from low-level hardware to server-side software. Proactive and solution-oriented, he blends academic rigor from DTU and BME with practical manufacturing know-how, and maintains an active interest in type theory and its implementations beyond typical embedded work.
14 years of coding experience
4 years of employment as a software developer
Secondary School, Secondary School at Eötvös Loránd Tudományegyetem Apáczai Csere János Gyakorló Gimnázium és KollégiumBachelor of Science (BSc) Electrical Engineering, Bachelor of Science (BSc) Electrical Engineering at Budapest University of Technology and EconomicsTechnical University of Denmark
English, Hungarian
Stackoverflow
29,999reputation
253kreached
407answers
30questions
pattern-matching
top-5%
recursion
top-5%
haskell
top-1%
algorithm
top-5%
functional-programming
top-5%
tree
top-5%
Github Skills (94)
programming-language10
lis10
agda10
servant10
haskell10
dependent-types10
yaml10
type-theory10
configuration-language10
dhall10
ghc10
type-checking10
proof-assistant10
parsing10
purescript9
Programming languages (14)
Github contributions (5)
AndrasKovacs/primdata
Mar 2021 - Jul 2022
Contributions:20 commits, 26 pushes, 3 branches in 1 year 4 months
AndrasKovacs/func-lang-2019-1
Feb 2019 - May 2019
Contributions:33 commits, 31 pushes, 1 branch in 3 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.