Rohan Bavishi
rbavishi
Research Scientist @ Amazon AGI. Helping build the next generation of AI assistants. Formerly Adept. Ph.D. in Programming Systems @ UC Berkeley
Amazon AGI Indianapolis, IN
Mate Soos
msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security
Berlin, Germany
pramodsu
Assistant Professor at the Indian Institute of Technology Kanpur.
Indian Institute of Technology Kanpur
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Pallav Agarwal
pallavagarwal07
Programmer and a Xoogler.
Currently trying to improve Indian Healthcare.
@evenhealthcare Bangalore, India
Jasper Van der Jeugt
jaspervdj
Haskell programmer. I like to make things.
engineer at @digital-asset Zurich, Switzerland
Saksham Sharma
sakshamsharma
Director, Quant Research Technology.
@tower-research.
@cseAtIITK.
@tower-research New York, New York