Lead Software Engineer, Solution Architect

• Jan 2021 - Present

Freelancer IT Professional

• Feb 2019 - Dec 2020

Projects I worked on as lead software engineer / solution architect:- Large-scale, greenfield Java EE backend development for the financial sector.- Identity and access management for the telco sector based on the OpenID Connect standard.- Large-scale migration of subscription management solution of legacy 3PP platform for a global streaming service provider. Projects I worked on as lead software engineer / solution architect:- Large-scale, greenfield Java EE backend development for the financial sector.- Identity and access management for the telco sector based on the OpenID Connect standard.- Large-scale migration of subscription management solution of legacy 3PP platform for a global streaming service provider.

Senior Systems Engineer

• Jan 2017 - May 2018

Joined the newly formed Systems and Technology group of a Big Data and Analytics product that was briefly after its productification. My work mainly consisted of transforming the on-premises deployment model to as-a-Service deployment model using cloud technologies.

Senior Systems Engineer

• Aug 2013 - Dec 2016

Joining the Systems and Technology group of one of the development divisions, my task was to support product development organizations to adopt and use a methodology for the rigorous and formal modeling of their complex and large-scale telecommunication systems. The modeling methodology covered both architectural and behavioral aspects. The work involved multiple university collaborations and I had the opportunity to supervise summer interns and a M.Sc. student. Eventually, I became the Ericsson lead towards one of the university labs running various projects in the area of software technology.

Systems Engineer

• Sep 2010 - Aug 2013

In the development of a greenfield product, I worked in a team of 5 systems engineers leading 30-40 developers in technical matters of several aspects such as system architecture, requirements elicitation and management, internal and external interface design, UX design, dimensioning, product security.Although stressful from time to time, this was a great period with excellent colleagues and a lot to learn about systems design and architecture.

Systems Engineer

• Jan 2010 - Sep 2010

I started learning Ericsson's ways of working in its Operations Support System, a large-scale legacy system. My work was to understand and break down high-level requirements to implementable tasks, while working out technical details of the proposed solutions.

Research and Teaching Assistant, Ph.D Student

• Sep 2003 - Sep 2009

I spent fantastic 6 years at this excellent university studying, teaching, researching concepts of object-oriented programming, software engineering, formal methods, semantics, and logics. I spent fantastic 6 years at this excellent university studying, teaching, researching concepts of object-oriented programming, software engineering, formal methods, semantics, and logics.

Intern at Microsoft Research

• Jun 2006 - Sep 2006

It was great honor and privelege for me to work with Rustan Leino and Mike Barnett on the Spec# program verification tool developed for the C# language. It was great honor and privelege for me to work with Rustan Leino and Mike Barnett on the Spec# program verification tool developed for the C# language.

Research and Teaching Assistant

• Oct 2002 - Jun 2003

Worked under the supervision of Prof. Reiner Hähnle and Prof. Dave Sands on formally proving security properties of object-oriented programs. I can hardly believe that our paper has been cited more than 200 times by now. Worked under the supervision of Prof. Reiner Hähnle and Prof. Dave Sands on formally proving security properties of object-oriented programs. I can hardly believe that our paper has been cited more than 200 times by now.