Dennis Kiboss
@denniskiboss
PhD computer scientist specializing in programming languages and formal methods.
What I'm looking for
I am a PhD student in Programming Principles, Logic and Verification at University College London, supervised by Prof. Alexandra Silva and Prof. Samson Abramsky, with hands-on applied research experience at Amazon Web Services. My work combines coalgebra, Kleene algebras, formal semantics of programming languages and automated software verification with applied experimentation, data analysis and model refinement.
I have practical industry experience from internships at Amazon Web Services, Goldman Sachs, ARM Research and the University of Southampton, contributing to large-scale systems, financial analysis, and research projects. I write production and research code in multiple languages, conduct literature reviews and empirical studies, and collaborate across functional teams to design experiments and present results.
Experience
Work history, roles, and key accomplishments
Applied Scientist Intern
Amazon Web Services
Aug 2023 - Present (2 years 7 months)
Conduct research, data analysis, and experimentation to develop and refine ML algorithms and models; collaborate with cross-functional teams to design experiments and present findings that inform product development.
Supported financial analysis, market research, and data interpretation to inform strategic decisions; collaborated on presentations and reports to identify industry trends and opportunities during the summer program.
Research Intern
ARM Research
Jul 2020 - Sep 2020 (2 months)
Assisted in data collection, literature reviews, and analysis to support research projects; developed methodologies, prepared reports, and presented findings to research teams.
Research Intern
University of Southampton
Mar 2019 - Sep 2019 (6 months)
Contributed to academic research through data collection, analysis, and project support; organized research materials and participated in seminars to advance study objectives.
Education
Degrees, certifications, and relevant coursework
University College London
Doctor of Philosophy - PhD, Computer Science
2021 -
PhD student in Computer Science (Programming Principles, Logic and Verification) conducting research in coalgebra, Kleene algebras, and formal semantics under supervision of Prof. Alexandra Silva and Prof. Samson Abramsky.
University of Southampton
Bachelor of Science - BS, Computer Science
2018 - 2021
Bachelor of Science in Computer Science with research supervision by Dr Julian Rathke and experience in software and large-scale systems.
Tech stack
Software and tools used professionally
Availability
Location
Authorized to work in
Website
wkrozowski.github.ioJob categories
Interested in hiring Dennis?
You can contact Dennis and 90k+ other talented remote workers on Himalayas.
Message DennisFind your dream job
Sign up now and join over 100,000 remote workers who receive personalized job alerts, curated job matches, and more for free!
