Michał Osadnik

Ph.D. Researcher

(This sub-page has been optimised for printing. Download the CV by "Save as PDF" option.)

I am a Ph.D. researcher at Aalto University, jointly supervised by Russell W. F. Lai and Parinya Chalermsook. My research focuses on lattice-based cryptography, succinct arguments, algebra, and time-based primitives. I enjoy combining theory with practice and welcome collaborations in cryptography and beyond. Prior to my Ph.D studies., I completed my M.Sc. at Aalto and worked as a research assistant. I also held roles in several companies and internships across web, mobile, and blockchain development.

Education

Doctoral Programme in Computer Science

Aalto University – Espoo, Finland

Advanced Cryptographic Primitives in a Post-Quantum World

Thesis in preparation: Advanced Cryptographic Primitives in a Post-Quantum World

2023present

M.Sc. in Computer Science

Aalto University – Espoo, Finland

Computer, Communication and Information Sciences

Fixed Parameter Tractable Algorithm and Coreset for the Ordered k-Median problem

20202023

B.Eng. in Computer Science

AGH University of Science and Technology – Kraków, Poland

Faculty of Computer Science, Electronics and Telecommunications

Application for tracking and simplifying debts among members of a social network

20162020

Experience

Doctoral Researcher

Aalto University – Espoo, Finland

  • Research on concretely efficient proof systems, highly-structured lattices, verifiable computation, FHE, and time-based cryptography.
  • Teaching assistant for courses: Cryptography (2023), Advanced Topics in Cryptography (2024), Applied Cryptography (2025).

May 2023present

Research Assistant

Aalto University – Espoo, Finland

  • Studied vertex connectivity under space constraints and FPT algorithms for clustering.
  • TA for Approximation Algorithms (2022).

Oct 2021May 2023

Software Engineer

Para (prev. Capsule) – Remote

  • Developed an efficient EVM-based multi-signature scheme.
  • Built a Web3 signing solution using social logins and passkeys.

Nov 2022May 2023

Software Engineer

Rainbow Studio (prev. Balance.io) – New York / Remote

  • Worked on a crypto wallet used by tens of thousands.
  • Led Android/iOS performance improvements and Web3 integration.
  • Maintained open-source libraries including RN Animated Charts.

Feb 2019Oct 2022

Software Engineer Intern

Palantir, Gotham Team – London

  • Built secure chat infrastructure for classified environments.
  • Enabled attachment of classified documents.

Jun 2021Sep 2021

Software Engineer / Open Source Maintainer

Software Mansion – Kraków, Poland

  • Managed open source strategy and React Native contributions.
  • Led frontend and mobile projects for various clients.

Feb 2018Mar 2020

Front End Engineer Intern

Facebook React Native Core – London

  • Generated low-level code (C++, Obj-C++) from JS analysis.
  • Migrated Marketplace app to new typed framework.

Jun 2019Sep 2019

Mobile Developer

Printbox – Kraków, Poland

    Jul 2017Jan 2018

    Publications

    RoK and Roll – Verifier-Efficient Random Projection for O(λ)-size Lattice Arguments

    Michael Klooß, Russell W. F. Lai, Ngoc Khanh Nguyen, Michał Osadnik

    (in submission)

    ePrint

    2025

    CootieCatcher – Linear-time Norm Check and R1CS Arguments from Lattices

    Shuto Kuriyama, Russell W. F. Lai, Michał Osadnik

    (in submission)

    2025

    Papercraft: Lattice-based Verifiable Delay Function Implemented

    Michał Osadnik, Darya Kaviani Valerio Cini, Russell W. F. Lai, Giulio Malavolta

    RoK, Paper, SISsors – Toolkit for Lattice-based Succinct Arguments

    Michael Klooß, Russell W. F. Lai, Ngoc Khanh Nguyen, Michał Osadnik

    Thesis: Fixed Parameter Tractable Algorithm and Coreset for the Ordered k-Median problem

    Michał Osadnik

    Clustering with fair-center representation: parameterized approximation algorithms and heuristics

    Suhas Thejaswi, Ameet Gadekar, Bruno Ordozgoiti, Michał Osadnik

    Presentations

    Papercraft: Lattice-based Verifiable Delay Function Implemented

    IEEE Symposium on Security and Privacy (S&P)San Francisco, USA

    May 2025

    talk

    Succinct Lattice-based Arguments without Subtractive Set

    70th AlgoCRYPT SeminarNew York, USA

    May 2025

    talk

    RoK, Paper, SISsors Toolkit for Lattice-Based Succinct Arguments

    ASIACRYPTKolkata, India

    December 2024

    talk

    Clustering with Fair-Center Representation: Parameterized Approximation Algorithms and Heuristics

    SIGKDDWashington, USA

    August 2022

    poster

    Cross-platform component libraries

    Cross-platform Mobile Development SummitOnline

    November 2020

    talk

    Navigation in React Native

    React Day BerlinBerlin, Germany

    December 2019

    talk

    Component-first Navigation API

    React EdinburghEdinburgh, UK

    September 2019

    talk

    Component-first Navigation API

    React Native EUWrocław, Poland

    September 2019

    talk

    Declarative gestures and animations

    MobilizationŁódź, Poland

    October 2018

    talk