Hello & Welcome

I’m a Software developer, self-driven, motivated, a quick learner and a team player.

My main interests are in programming languages, and I’m quite fond of developing applications using object oriented, functional and multi-paradigm programming languages.

Experiences

Software Architect; Software Engineer

2023 — Present; 2019 — Present
Mercedes-Benz.io

Software Architect and Backend developer on digital solutions for Mercedes-Benz After sales area (e.g. vehicle details regarding service maintenance information & history, warranties, recalls, etc.)

Main programming languages used: Kotlin, Java, SQL

Other technologies & frameworks used: Spring, RabbitMQ, PCF, AWS, K8s, Docker, Jenkins, GitHub Actions, SonarQube, BlackDuck, Jira, Confluence

Software Engineer

2017 — 2019, 2016 — 2017
Collab, Affinity @ Collab

Backend engineering work on the main product, an IP-based multimedia contact center solution.

Main programming languages used: C#, SQL

Other languages, tools & frameworks used: Java, C++, C, JavaScript, TypeScript, Angular4, Microsoft Azure & Azure DevOps

Research Assistant

2009 — 2016
NOVA School of Science and Technology

Worked on static analysis techniques for automatic program verification during application development of imperative programs with data structures and aliasing.

Teaching Assistant

2009 — 2016
NOVA School of Science and Technology

Lectured courses on programming languages and computational logic for computer science students and other engineering students.

Projects

Pulse - An Arduino ultrasonic parking sensor.
ImProVe - Automatic static imperative program verification.
FunSpec - Functional specification assertion language for static program verification.
SpecJava - Java compiler type system extension with lightweight static logical assertions.