Nikos Andrikos
Principal Software Engineer at Siemens EDA (Siemens Digital Industries Software)
Grenoble, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolNikos Andrikos is a Principal Software Engineer based in Grenoble with two decades of EDA R&D experience and a strong scientific background spanning a PhD in Electronic Engineering and advanced studies in astrophysics and mathematics. He is a technical leader in formal verification, currently driving SLEC R&D at Siemens EDA after architecting assertion- and property-based flows at Synopsys and Mentor Graphics. Equally fluent in RTL and HLS, he pairs hands-on Verilog/SystemVerilog/SystemC design with expert tooling and automation skills in Python, Tcl and C/C++ to deliver end-to-end FPGA and ASIC flows. His work bridges algorithmic research (placement, high-level synthesis, asynchronous design) and industrial tool development, making him comfortable from specification down to physical layout. A seasoned Unix/Linux power user and Debian package maintainer, he often operates as the pragmatic link between academia and product-grade EDA software. Colleagues value him for turning formal methods into usable flows that integrate cleanly with external debug and verification environments.
13 years of coding experience
9 years of employment as a software developer
Master of Science - MS Astrophysics, Master of Science - MS Astrophysics at National & Kapodistrian University of AthensBachelor of Science (BSc) Mathematics, Bachelor of Science (BSc) Mathematics at University of CreteMaster of Science (MSc) Computer Science, Master of Science (MSc) Computer Science at University of Crete, Department of Computer ScienceDoctor of Philosophy (PhD) Electronic Engineering, Doctor of Philosophy (PhD) Electronic Engineering at Politecnico di Torino
Greek, English, Italian, Spanish, French
Github Skills (28)
recovery9
incognito-mode9
xposed7
disable7
android7
magisk6
windows6
netflix6
safetynet6
attestation5
recording4
derived3
modulo3
dialect2
solver2
Programming languages (4)
Github contributions (5)
andrikos/kismet-debian
Dec 2012 - Nov 2016
Contributions:64 commits, 7 pushes, 4 tags in 3 years 11 months
andrikos/nomologia
Dec 2016 - Dec 2016
Contributions:1 push, 1 branch in 1 day
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.