Ivan Sergeev

WORK HISTORY

EDUCATION

ABOUT IVAN SERGEEV

Creative and detail-oriented Researcher and Algorithm Developer with 5+ years of experience in algorithm design, software development, mathematical optimization, and quantum information theory. Eager to help companies develop software solutions by designing and implementing efficient algorithms, and transforming research insights into practical, high-performing software solutions.Some of my achievements are · Developing a fully-featured SDK in Rust for solving optimization problems on cost function networks, aiming for at least a 5% performance advantage of the solver over the state-of-the-art algorithms.· Formalizing Seymour’s regular matroid decomposition theorem in Lean 4, converting mathematical theorems into fully computer-verified proofs.· Designed a constant-competitive online approximation algorithm for a new variant of the matroid secretary problem, increasing the generality of the setting for which such algorithms are proven to exist.· Implemented a program for approximate verification of the catalytic entropy conjecture in Wolfram Mathematica, which later led to a complete formal proof of the conjecture.· Implemented a program for computing solutions of the Yang-Baxter equation with simple Lie group symmetries, obtaining solutions with G2 and F4 symmetries.· Taught courses as Head TA for 160+ students: taught in-person an online classes; created dozens of problem sets, programming exercises, exam questions, and chapters for lecture scripts; maintained course pages on Moodle; organized and mentored teams of student TAs.Programming languages & Technologies: C, C++, Python, Rust, Java, JavaScript, Wolfram Mathematica, Lean, Git, LaTeX.Areas of Expertise: Scientific Research (Math, Computer Science, Physics), Algorithm Development, Software Development and Optimization, Science Communication and Collaboration, Mathematical Proof Formalization, Mathematical Modeling.Soft skills: Adaptability, Problem Solving, Analytical Thinking, Creativity, Initiative, Leadership, Mentoring, Organization.Languages: English (C2), German (C1), French (A2), Russian (native).I’m excited about opportunities where I’m able to design innovative algorithms and develop software solutions for challenging real-world problems with tangible impact.I love connecting with new people, you can reach me here on LinkedIn or at i.i.sergeyev[at]gmail.com.