Nuno Afonso

- Integration of Fabric Data Activator with upstream services
- Maintenance of observability platform used by internal Microsoft teams
- Lead process for internal review of operational incidents

Tools:
- Programming languages: C#, JavaScript, TypeScript, Kusto Query Language, SQL, Python, Powershell
- AI tools: GitHub Copilot CLI and Desktop applications
- Computing: Azure Virtual Machine Scale S

Worked as Software Development Engineer II at Amazon Web Services (AWS).

- Improvements to availability, ease-of-use and efficiency of Apache Flink and Amazon Kinesis Data Analytics for SQL applications’ distributed stream processing engines
- Contributions to Apache Flink’s open-source project
- Mentorship of interns

Tools:
- Programming languages: Java, Python, SQL, Bash, Ruby, Go, Scala
- Stream processing engines: Apache Flink, Amazon Kinesis Data Analytics for SQ

- Research focused on Network Verification for Azure’s Datacentre and Wide Area (WAN) networks, as part of the Cloud Infrastructure group
- Development of a network simulator for Azure’s Datacentre and WAN networks with tight fidelity, latency, and scalability constraints
- Close collaboration with engineering teams from Azure Networking, leading to the use of the developed simulator in a highly a

- Research focused on optimization of routing algorithms and reliability analysis based on Traffic Engineering data from Azure's WAN, supervised by Andrey Rybalchenko as part of the Programming Principles and Tools group
- Development of an infrastructure for on demand runs of an early version of the network simulator, which leveraged several Azure services

Tools:
- Programming languages: C++, Py

- Research focused on increasing the Data Consistency used in Highly Available and Scalable Data Store applications that run on the Network Edge, advised by Professor Luís Rodrigues as part of the Computing Systems and Communication Networks group
- Developed multiple prototypes with various degrees of data consistency: from Eventual Consistency to several Causal Consistency approaches

Tools:
- P

Specializations in Distributed Systems and Cyber-Security.