i'm currently developing the backend for keyring network. through "zero knowledge proofs", we do industry grade compliance in crypto.i have a solid theoretical background in computer science and mathematics, and am focused on improving myself in building smart code that is scalable.i'm interested in:-- cryptography (particularly zero knowledge proofs, and the underlying mathematics),-- complexity theory-- compiler design,-- foundations of mathematics and physics (particularly set theory and SR/GR), -- algebra,-- interpretations of scientific models, -- educational theory.i love (kite/wind)surfing, analyzing and listening to music (particularly classical), doing gymnastics, playing games (chess, backgammon, league of legends [tryndamere otp]).feel free to reach out!
-
Software EngineerKeyring Network Sep 2022 - PresentLondon, Gbwe make infrastructure for privacy conserving compliance (ZKPs).i do backend (python). -
Software EngineerGantek Technology Oct 2020 - Aug 2021Istanbul, Tr- Researched cutting edge anomaly detection models to decide what to implement- Adapted algorithms to utilize Kafka’s scalability- Implemented a streaming anomaly detection pipeline from scratch Language: Java -
Teaching AssistantCarnegie Mellon University School Of Computer Science Aug 2017 - Dec 2019Pittsburgh, Pa, Us15-112 Fundamentals of Programming and Computer Science: 3 semestersIntro programming class for CS-majors. Ranked in the top 5 CS courses in the country. Language: Python15210 Parallel and Sequential Data Structures and Algorithms: 1 semesterLanguage: SML15455 Complexity Theory: 1 semesterComputational complexity theory (P, NP, co-NP, etc.; hardness, completeness, etc; Karp, Cook reductions...)15411 Compiler Design: 1 semesterLanguages: OCaml, SML (mainly)Work in all courses include teaching recitations, holding office hours, grading, maintaining the course infrastructure, and helping decide exam and homework questions. -
Research AssistantCarnegie Mellon University School Of Computer Science Jun 2019 - Aug 2019Pittsburgh, Pa, UsWorked with Manuel and Lenore Blum on their model of the Conscious Turing Machine. - Researched contemporary cognitive science to test the model against empirical facts regarding consciousness- Created an algorithm to be applied to the framework to replicate conditioning and learning- The algorithm leads to concrete definitions of pain and pleasure in the model; one of the main goals of the project
-
Sw Engineering InternDigital Asset Jun 2018 - Aug 2018New York, Ny, Us- Built a sample repo market using DAML; a functional smart-contract language- Worked in a group of 6 engineers, utilizing Git-based Agile development- Built the architecture for the project, and wrote a significant portion of the code
Bulut Buyru Education Details
-
Carnegie Mellon UniversityDiscrete Mathematics And Logic -
The London School Of Economics And Political Science (Lse)Philosophy Of Science
-
Üsküdar Amerikan Lisesi / Üsküdar American Academy
Frequently Asked Questions about Bulut Buyru
What company does Bulut Buyru work for?
Bulut Buyru works for Keyring Network
What is Bulut Buyru's role at the current company?
Bulut Buyru's current role is backend software engineer.
What schools did Bulut Buyru attend?
Bulut Buyru attended Carnegie Mellon University, The London School Of Economics And Political Science (Lse), Üsküdar Amerikan Lisesi / Üsküdar American Academy.
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial