Open to opportunities

Dennis Kiboss

@denniskiboss

Message

PhD computer scientist specializing in programming languages and formal methods.

United Kingdom

Message

What I'm looking for

I seek research-focused roles combining formal methods and applied experimentation in collaborative teams, with opportunities to publish and impact real systems.

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

Current

Applied Scientist Intern

Current

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.

Python Data Analysis Experimentation Machine Learning Research Model Evaluation Cross Functional Collaboration

Summer Analyst

Goldman Sachs

Jun 2021 - Aug 2021 (2 months)

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.

Financial Analysis Market Research Excel Presentation Quantitative Research Report Writing Team Collaboration

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 Data Collection literature review Reporting Presentation Teamwork

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.

Research Data Analysis Project Support literature review Seminar Participation Organization Collaboration

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.