Mathematics Websites

Satya Benson is a student of mathematics and cognitive science at Williams College. He lives in western Massachusetts with his wife, Clara, and their son, Elwin. Satya is interested in minds and how they work. He enjoys Shakespeare, directing and acting, and tinkering with computers and websites. He also enjoys nature, building fires, and identifying trees. He plays the violin and enjoys a wide variety of music.

Manuel Lamas studied Mathematics and Computer Science at FCUP. He is currently a Tech Consultant at KPMG. He enjoys automating things and asking questions. He uses his website to share some of the things that he makes and thinks.

Vincent Cheng is a sophomore studying math at Cornell. He was previously a freshman at UCSD. He is interested in math, ML, AI safety, and Brazilian Jiu-Jitsu. He enjoys learning new things and meeting new people. He worked part-time at Veritasium for six months and was a part of Ross, WARP, and Atlas.

Mika is a mathematician, explorer, and financial educator. With a Ph.D. in Mathematics, Mika has taught mathematics at all levels for over two decades. Mika has also engaged in independent overland travel experiments in Europe and South America. As a YNAB Certified Budgeting Coach, Mika teaches the YNAB budgeting method and has developed a financial education program, incorporating years of experience in pursuit of dreams.

Angela Carstensen offers one-on-one tutoring and exam preparation in and around Halstenbek, Germany, and also online. She specializes in math, English, and science. Angela helps students overcome learning obstacles and fill knowledge gaps through personalized instruction. She also writes a blog about learning, self-care, the subjects she teaches, and her perspective on life. Additionally, she has an English-language blog featuring short stories.

Sortalost enjoys raves, math, and running. They sometimes code and maintain a weblog, status updates, and contact information online. They also have web applications, polls, a gallery, and bookmarks available. Sortalost can be contacted via email and appreciates funny memes. They are currently working on fixing messy code, adding a calendar route, showing timezone information, creating a voting widget, and becoming more social.

Fredrik Meyer has a PhD in algebraic geometry and currently works as a software consultant for Scienta AS. His skills include languages such as Kotlin, Java, Python, Javascript, and Clojure. He has experience with AWS, particularly serverless technologies like Lambda, S3, and SQS. He also has expertise in mathematics, especially algebraic geometry. As a hobby, he enjoys programming in Clojure, creating generative art, and implementing geometric algorithms.

Luca Lombardo has a Bachelor's Degree in Mathematics and is currently pursuing a Master's Degree in Computer Science at the University of Pisa, Italy. His main interests are in succinct data structures, algorithms and data structures, high-performance computing, and Rust and low-level code optimization. For his Bachelor's thesis in mathematics, he presented a new succinct data structure for extending the classical rank query to Directed Acyclic Graphs. He is also a member of PHC, a group of students interested in technology, software, and hardware. They manage servers, websites, and services for the mathematics department students and organize seminars.

Markus Himmel is a software developer with a background in mathematics. He is interested in formal verification, algorithm engineering, ILP solving, and topology. He works as a Research Software Engineer/Tech Lead at the Lean FRO. In his free time, he is a mathlib maintainer. He can be reached by sending him a message on Zulip or sending an e-mail to his first name at his employer’s website.

Andrew Critch holds a PhD from UC Berkeley and is currently the CEO & Cofounder of Encultured AI / HealthcareAgents. He also works as a Research Scientist at UC Berkeley's Center for Human-Compatible AI (CHAI). His research focuses on societal-scale safety issues related to future AI applications. He is interested in collaborating on projects relevant to AI safety, ethics, and transparency. Andrew is also involved with the Survival and Flourishing Fund (SFF) as a Fund Advisor, Survival and Flourishing .Com (SFC) as a Director, Survival and Flourishing Projects (SFP) as a Project Director, OpenLetter.net as a Cofounder, and the Berkeley Existential Risk Initiative (BERI) as Founder and President.

Gaati is a technologist and artist. Gaati is interested in the intersection of technology and culture. Gaati works with code, data, sound, and visuals. Gaati also writes.

Susam Pal is a software engineer with a keen interest in free and open source software. He made his first non-trivial contribution to open source in 2007 by adding authentication schemes to Apache Nutch. He actively contributes to open source communities and maintains his own projects on GitHub. Beyond technology, Susam enjoys reading books, playing the piano, and travelling. He is usually online as the IRC nick susam on Libera IRC, participating in channels like #algorithms, #commonlisp, #emacs, and #python. He founded the #algorithms channel on Freenode in 2007.

I create fractal art that meshes math with aesthetics to create beautiful images.