| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 13 Dec 2024 04:43:49 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"675bbb85-162e"
expires: Wed, 31 Dec 2025 02:31:45 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 7554:21D6A4:AB5E4C:C0A09B:695488B8
accept-ranges: bytes
age: 0
date: Wed, 31 Dec 2025 02:21:45 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210027-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767147705.960998,VS0,VE204
vary: Accept-Encoding
x-fastly-request-id: d6f855b70531b80657446121f57595b8ede069ba
content-length: 1930
Dimitris Bouras
Dimitris Bouras
Software Engineer with an MEng from the National Technical University of Athens and a MSc from UCL
Currently Research Assistant at Programming Languages Lab, Peking University
I have a strong background in software systems and I am passionate about DevOps,
Cloud Computing, Software Verification , Genetic Software Optimisation
and LLM-assisted Code Reasoning in NL