Hi! I'm Izzy! I'm a genderfluid neurodivergent fox girl. Fuck you, I’m valid, and I’m fucking awesome! And if you wanna tell me I’m fucking awesome go right ahead, I’d love that! God gave me ADHD because he knew I'd climb to the heavens and kill him.

Research Institute on Verified Trustworthy Software Systems (VeTSS) jointly hosted by the University of Surrey and Imperial College London.

likes (homotopy, cubical) type theory and category theory. PhD student at Chalmers

Rust, Linux

CS PhD student at Northeastern in formal methods / security

Undergrad at CMU! Interested in formal methods with an emphasis on SAT Solving, Type Theory, and Category Theory! (They/Them)

Software engineer in NYC into types/functional programming/etc. Dad, poodle dad, runner, mathemagician (∂∂ = 0), cinephile, uplifting gourmandizer.

Verification of concurrent systems in Coq @{Penn, MPI, AWS}

28y/o californian puppygirl & programming languages witch & jewish anticapitalist & romance anime appreciator & fromsoft supporter

Computer Science Student @ CofC.

Undergrad @ NUS and walkable city enthusiast doing Programming Languages research

Doctor of Philosophy in theology from California Pacific School of theology(Pacific International University, U.S.A.). Doctor of Divinity from Northwest Florida Bible Institute. Master of Divinity, Master of Arts in theology, Bachelor of arts in theology from Life Christian University(University of south Los angeles, Gardena, California, U.S.A.). Certified TaeKwonDo Master (Amateur Athletic Union, U.S.A.). Theologian, Scholar, Teacher, Pastor, Missionary, Minister, Preacher, Evangelist(Former).

Ex-astrophysicist, classical vocalist, software developer, sysadmin, CEO of Binary Coalescence, and Executive Director of the Arcist Foundation

Votre amie imaginaire et le monstre sous votre lit. Anarchiste. Libidineuse. Verbicruciste. Insupportable. archet.net

Installing Linux on a paperclip :) Je m'intéresse à plein de choses et je suis un fast-learner. #Linux, #Musique, #motorcycle, #Moldova, #Romanian, #jazz et bcp d'autres.