Refolk
Shared search

Find research mathematicians in number theory or arithmetic geometry, based in the US, UK, or Canada, who have started posting about AI safety, alignment, or formal verification in the last 18 months.

58 results across 58 people

1
Krystal Maughan
Krystal Maughan10y exp
PhD candidate (ABD) in quantum-safe cryptography; interested in Quantum Complexity + Number Theory + Graph theory-related problems. Casual Lean Prover, ZX-calculus learner + Hermione-energy giver. Graduating Summer ’26.
San Francisco Bay Area· 7y at co.Likely open
2
Tanush Shaska
Tanush Shaska29y exp
Mathematician | Algebraic Geometry & Arithmetic Geometry | AI, Machine Learning & Symbolic Computation
Auburn Hills, Michigan, United StatesRecently started
3
Brad Heintz
Brad Heintz24y exp
Graduate Student in Mathematics; Seasoned software engineer, ex-Meta/Facebook, conference speaker, knowledge sharer, compulsive autodidact with deep interest in number theory and related topics
Indianapolis, Indiana, United States· 2y at co.Possibly open
4
Yu-Dai Tsai
Yu-Dai Tsai13y exp
Royal Society Dorothy Hodgkin, Senior Research Fellow. Quantum Number Theory: arXiv:2603.12320. Guest Scientist at LANL.
United KingdomRecently started
5
Harshavardhana Srinivasan
Harshavardhana Srinivasan7y exp
GenAI Engineer | LLM Apps, RAG, Agents | Time Series Forecasting | Ex-AstraZeneca (5+ yrs) | Texas A&M Marketing Data Scientist | Open to Work and New Oppurtunites | Number theory, Quantum & Astrophysics Enthusiast
Dallas, Texas, United StatesRecently started
6
Victor B.
Victor B.7y exp
Full Stack Software Engineer with interests in Quantum Hard Cryptosystems and Number Theory.
Olympia, Washington, United States· 3y at co.Likely open
7
Jimmy Ostler
Jimmy Ostler2y exp
Current student at Willamette University | Math and Computer Science Systems Programming, Rust, Abstract Algebra, and Number Theory | Willamette Computer Science Student Association President
Salem, Oregon, United StatesRecently started
8
Michelle Wang
Michelle Wang3y exp
Applied and Computational Math + Economics Student | Interested in Number Theory, Machine Learning, NLP | Kintsukuroi
Provo, Utah, United States
9
Mohamad Badiezadegan
Mohamad Badiezadegan16y exp
Algorithm designer, Mathematics and Cryptography researcher (Graph, Number theory), C, Fortran, Julia, R, Data analyzer, DevOps Python user, Linux & BSD maintainer,
Richmond, British Columbia, Canada
10
Daniel Adams
Daniel Adams15y exp
Expert with Numerical Analysis. Programmer in Python, C#, C++, Maple. Skilled in Number Theory, Cryptography.
Orem, Utah, United States· 9y at co.Possibly open
11
Nada B.
Nada B.6y exp
PhD student in computational algebraic number theory at King's College London.
London, England, United Kingdom· 2y at co.
12
AF
Alessandro Fazzari8y exp
Postdoc in Analytic Number Theory at AIM
San Jose, California, United States· 4y at co.Possibly open
13
Samuel Schiavone
Samuel Schiavone13y exp
Research Scientist at MIT in computational arithmetic geometry
Cambridge, Massachusetts, United States
14
KK
Kenz Kallal2y exp
Mathematics student (algebraic number theory and arithmetic geometry)
Princeton, New Jersey, United States
15
Robert McDonald
Robert McDonald13y exp
algebra, number theory, arithmetic geometry, elliptic curves
Middletown, Connecticut, United States· 7y at co.Possibly open
16
Jack Westbrook
Jack Westbrook3y exp
Mathematics MSc | Interests: Arithmetic Geometry, Commutative Algebra, Algebraic Number Theory
Madison, Wisconsin, United States
17
Debmalya Basak
Debmalya Basak6y exp
PhD Student, UIUC | Number Theory | Former Data Science Intern @ COUNTRY Financial | Gold Medalist, IISER-K
Champaign, Illinois, United States· 3y at co.Likely open
18
Jeremiah Adedoyin
Jeremiah Adedoyin4y exp
Doctoral Researcher in Mathematics | Mathematics Educator & Instructor | National Mathematics Competition Winner (Nigeria, 2019) | Analytical Number Theory & Pure Math Research | STEM Advocate
United States· 1y at co.
19
Yury Savateev
Yury Savateev14y exp
Research Scientist | PhD in Logic, Algebra, and Number Theory | Experienced Educator | Global Talent UK
London Area, United Kingdom· 2y at co.Possibly open
20
Diana Mocanu
Diana Mocanu3y exp
Postdoctoral Researcher in Number Theory
United Kingdom· 1y at co.Possibly open
21
RT
Razan Taha5y exp
Mathematics | Number Theory
United States· 5y at co.Likely open
22
Steven J. Miller
Steven J. Miller25y exp
Math Prof, President Fibonacci Assoc, Managing Ed. Fibonacci Quarterly & J. of Number Theory, Senator at Large PBK, Member & Secretary Mt Greylock Regional School Comm, Director SMALL REU, co-founder Polymath Jr REU.
Williamstown, Massachusetts, United States· 1y at co.
Blake Borgeson
Blake Borgeson23y exp
Founder, computational biologist, AI strategist. Co-founder/board RXRX.
Austin, Texas, United States· 8y at co.Likely open
Daniela Amodei
Daniela Amodei15y exp
President at Anthropic
San Francisco, California, United States· 5y at co.Likely open
Matthew Hart
Matthew Hart17y exp
Founder @ Soter | AI that replaces legacy EHS systems
Charlotte Metro· 7y at co.Likely open
Alexey Pavlenko
Alexey Pavlenko15y exp
Creating new AI horizons | SoterAI
London, England, United Kingdom· 10y at co.Likely open
Steve Zhang
Steve Zhang21y exp
Computer Scientist, Engineer, Founder, Product and Technology Leader, Investor
San Francisco, California, United StatesRecently started
Trooper Sanders
Trooper Sanders30y exp
AI and society executive and board director
Washington, District of Columbia, United StatesRecently started
Amit Patel
Amit Patel27y exp
Chief Technology Officer | Scaling Platforms from Seed to Exit (FAST, Cortina) | AI & RAG Strategist | ex-MIT AI Lab
New York, New York, United States· 2y at co.
Ken Ko
Ken Ko16y exp
CTO & Cofounder | End-to-End Enterprise Platform & Engineering Leadership for AI in Regulated Environments
Santa Clara, California, United States· 8y at co.Likely open
Mark Ruiters
Mark Ruiters41y exp
Serial Entrepreneur, Founder at SentriGrid AI, & Investor
Santa Barbara, California, United States· 1y at co.
RP
Richard Pursey44y exp
Executive Chairman at SafeToNet
London, England, United Kingdom· 4y at co.Likely open
Pierre Wehbe
Pierre Wehbe10y exp
Health @OpenAI
San Francisco, California, United StatesRecently started
Sercan Esen
Sercan Esen11y exp
CEO, Intenseye — EHS AI for SIF Prevention | WEF Global Innovator | Based in NYC
New York City Metropolitan Area· 8y at co.Possibly open
Robert Claus
Robert Claus15y exp
Software Leader in Data and AI
Greater Madison AreaRecently started
Ron Vianu
Ron Vianu30y exp
Founder and CEO at Covera Health
Miami-Fort Lauderdale Area· 8y at co.Likely open
Francois Menard
Francois Menard18y exp
Founder & CEO @ PULR® - Future of food logistics through sustainable electronics and cold chain AI.
Trois-Rivières, Quebec, Canada· 4y at co.
Peter Luo
Peter Luo26y exp
Leading oncology immunotherapy innovator with dynamic precision antibody design
San Francisco, California, United States· 14y at co.Likely open
William Hill
William Hill48y exp
Founder & Board Chair @ Elevat AI IoT Biz & Leadership development
Greater Seattle Area· 11y at co.Possibly open
HZ
Hongwen Zhang31y exp
CEO & CTO at Wedge Networks Inc.
Calgary, Alberta, Canada· 7y at co.Likely open
Sanjit Biswas
Sanjit Biswas20y exp
CEO and Co-Founder of Samsara | Building the future of physical operations
San Francisco, California, United States· 11y at co.Likely open
Sebastian Fischmeister
Sebastian Fischmeister21y exp
Professor at University of Waterloo
Waterloo, Ontario, Canada· 7y at co.Likely open
TJ Kennedy
TJ Kennedy34y exp
CEO / President / Board Director
Bend, Oregon, United StatesRecently started
Corey Hulen
Corey Hulen29y exp
Mattermost CTO, collaboration for mission critical work
Menlo Park, California, United States· 11y at co.Likely open
Udi Levy
Udi Levy21y exp
Building the Next Generation of Mission-Critical AI | Chief Product and Strategy Officer at PenLink | CEO & Co-Founder Cobwebs Technologies
United States· 2y at co.
Samuel Bouchard
Samuel Bouchard22y exp
CEO @ Robotiq
Canada· 18y at co.Possibly open
Nova Spivack
Nova Spivack18y exp
Exponential Intelligence
Los Angeles, California, United States· 3y at co.
Megan Wong
Megan Wong12y exp
BSc. Mathematics. Interests include: Calculus, Abstract Algebra, Linear Algebra, Number Theory.
Vancouver, British Columbia, Canada· 3y at co.Likely open
Alan Franks
Alan Franks32y exp
Reality wins over theory; the numbers tell the truth.
United States· 32y at co.
Donald Kaye
Donald Kaye23y exp
GM/DOO Cherry Downs Golf Club | Golf Canada Industry Advisory Council | Educator at Humber Polytechnic - PGM Program | Member - CMAC | Ex Customer Experience, Leadership, Operations Executive
Toronto, Ontario, Canada· 1y at co.Recently started
Benjamin D. Fedoruk
Benjamin D. Fedoruk4y exp
Educator. Interested in Algebra and Number Theory. OTU MEd Student.
Oshawa, Ontario, CanadaRecently started
SK
Shahrooz K.1y exp
Student at Skyline High School / "Calculus and Number Theory" and "Computer Science" Running Start student at Bellevue College
Sammamish, Washington, United States
Tom Page
Tom Page11y exp
Mathematics: Elementary Number Theory, Philosophy of Mathematics.
New Westminster, British Columbia, Canada· 9y at co.Likely open
Bowman Hall
Bowman Hall30y exp
Venture Capital Investor | Computational Number Theory Researcher | Former IBM VP, CSC GM
Austin, Texas, United States· 5y at co.Likely open
Matthew Munoz
Matthew Munoz3y exp
Data Theory @ UCLA | Numbers don’t lie!
Los Angeles, California, United States
Richard C LLB(SOAS) MMS(XJTU) Cert(Wharton, Yale, HSE... )
Richard C LLB(SOAS) MMS(XJTU) Cert(Wharton, Yale, HSE... )32y exp
Lawyer (IP, Corporate) | VC (Series A) & PE (Growth Equity) | Roboticist (NLP, Signal Processing, Electrodynamics, Stochastic Processes) | Cryptographer (Arithmetic Geometry, Quantum Optics, Game Theory) | Polyglot
United Kingdom· 22y at co.Likely open
Sanoop Palishakode
Sanoop Palishakode12y exp
Qualified GCSE Mathematics Teacher with 12 years of experience. Skilled in Arithmetic, Algebra, Calculus, Geometry, Trigonometry, Statistics, and Probability. Google Certified Educator. Data Analytics, Excel Proficient.
Gainsborough, England, United Kingdom
Artur Fiut
Artur Fiut10y exp
GRAMMAR, LOGIC, DIALECTIC, ARITHMETIC, GEOMETRY, MUSIC & ASTRONOMY
Greater Sheffield Area· 8y at co.Possibly open
Find research mathematicians in number theory or arithmetic geometry, based in … · Refolk · Refolk