Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.
Lafayette, Indiana
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn
Antouan Anguelov, PhD, Assistant professor in TU-Sofia
antouanbg
Father x4, Dr. Eng. AI systems, REEM, ITC and tech entrepreneur,
Novacom Group. & GridEx Ltd. Sofia, Bulgaria
Remy Willems
keyboardDrummer
I mainly work on Dafny and on Miksilo, a tool to construct programming languages in a modular way.
@amzn Utrecht, Netherlands
Manu Sridharan
msridhar
UC Riverside professor, researching program analysis and developer tools. Member of @ucr-riple
Riverside, CA
Numair Mansur
numairmansur
Research Interests: Automatic testing, debugging, formal analysis and verification of complex software systems
Amazon Web Services Berlin, Germany
Guillermo Mosse
billy-mosse
I am a Mathematics graduate who loves to work at the intersection between Mathematics and Computer Science.
That means I'm pretty passionate about ML!
fromAtoB Berlin
Alexander Albert
lxndralbert
Python, Rust, Go, C/C++
@vilkrig, @rsm-connectax, @rontgen-electronics Budapest, Hungary
Kiran Kumar
PhiTheta
#Space #Astronomy #Astrophysics #Cosmology #Software #Web
C#,.NET, Java, Spring Boot , Python, XAMPP, MongoDb, SQL, Camunda BPMN, Docker, HPC, DevOps
Germany