cv

Welcome to my cv. Here, you'll find a detailed overview of my academic and professional background. Feel free to download the pdf version or review it online. References are available upon request.

Basics

Name Matias Barandiaran Rivera
Label Computer Scientist
Email matias.barandiaran03@gmail.com
Url https://m4mbo.github.io
Summary A highly motivated second-year Computer Science student at Lancaster University, with a keen interest in quantum software, machine learning, and formal verification. Demonstrated practical experience in these areas through a research sector placement and remote certifications. Enthusiastic to further leverage this experience by pursuing research assistant roles to actively contribute to these innovative domains.

Work

  • 2023.10 - Present
    Teaching Assistant
    Department of Computer Science, Lancaster University Leipzig
    Laboratory assistant and demonstrator for the Digital Systems 1st year module.
    • Delivering engaging and informative instructional sessions to facilitate student understanding.
  • 2023.08 - 2023.10
    Research Intern
    Faculty of Mathematics and Physics, Charles University
    Worked on proof production for Golem CHC solver.
    • Achieved successful production of Alethe verifiable proof for the LIA-lin and LIA-nonlin benchmarks.
  • 2021.08 - 2022.10
    Math Tutor
    Freelance, IB Diploma
    Student advisor and tutor for Mathematics: Analysis and Approaches SL and HL.
    • Personalized one-on-one sessions.
    • Guided senior high school IB Diploma students to achieve outstanding exam performance and substantial growth in their mathematical abilities.

Volunteer

  • 2023.06 - Present
    Founder
    Lancaster University Leipzig's Robotics Club
    Founder of Lancaster University Leipzig's Robotics Club.
    • Dedicated to fostering a culture of innovation and problem-solving within my institution.
    • Club serves as a dynamic platform for students to explore the fascinating world of robotics, igniting their passion for technology and hands-on learning.
    • Club fund gathering evidenced my organization and leadership skills.
  • 2023.06 - 2023.06
    Lead Organizer
    Qiskit Fall Fest 2023
    Lead organizer for the Qiskit Fall Fest 2023 event for LU Leipzig community.
    • Organized and ran an event with the aim of giving students a holistic and multi-faceted view of the exciting field of quantum computing.
    • Assembled a series of seminars that combined academic depth and real-world practical insights (Special guests: Enrique Solano - Kipu Quantum.)
    • Gave an introductory talk on quantum computing and held workshops with Qiskit material.

Education

  • 2022.10 - 2025.10

    Leipzig, Germany

    B.Sc.
    Lancaster University Leipzig
    Computer Science
    • First Class Honours.
    • First year’s highest average grade.
    • Head of student international relationships
  • 2019.03 - 2021.12

    Lima, Peru

    International Bilingual Diploma
    International Baccalaureate
    • Mathematical Analysis and Approaches band 7.
    • Physics band 7.
    • Model United Nations Debate Club

Certificates

Skills

Machine Learning
Graph Neural Networks
Reinforcement Learning
Variational Autoencoders
Deep Learning
Convolutional Neural Networks
Generative Adversarial Networks
Quantum Computing
Qiskit
Quantum Circuits
Ket Notations
Qubit Manipulation
Programming Languages
Python
Java
C
C++
SQL
MIPS Assembly

Languages

Spanish
Native speaker
English
Fluent/Bilingual
German
A1
Portuguese
A2