Skip to content
View funemy's full-sized avatar
🎯
Focusing
🎯
Focusing
83 followers · 149 following

Achievements

Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report funemy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@andongfan
Andong Fan andongfan
PhD student in PL

University of Toronto

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@amuricys
Deco amuricys
haskell. cur: @carboncloud, prev @klarna @nubank
@yunwei37
云微 yunwei37
Stupid but Curious about the world | 系统算命师傅

eunomia-bpf SF

@sonmarcho
Son HO sonmarcho

Inria Paris

@y1ca1
Yi Cai y1ca1
CMU −∘ UMD ⊗ (PL & Systems)

University of Maryland College Park, MD, US

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@luke36
luke36

Hangzhou, China

@bobatkey
Bob Atkey bobatkey

Edinburgh, UK

@mayant15
Mayant Mukul mayant15
doodling

University of British Columbia Vancouver, BC

@ysaleh03
Youssef Saleh ysaleh03
5th year comp sci hons student @ubc

ubc cs Vancouver, BC

@FormalizedFormalLogic
FormalizedFormalLogic
Formalize Formal Logic in Lean4
@markusdemedeiros
Markus de Medeiros markusdemedeiros
PhD student in formal methods at NYU under the supervision of Joseph Tassarotti
@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@gshen42
Gan Shen gshen42
@sarsko
Sarek Høverstad Skotåm sarsko
Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.

Amazon Web Services Seattle

@Hughshine
Xuyang Li Hughshine
FM, SE, PL, CS, HCI. rising 2nd year Phd Student @Purdue.

West Lafayette

@yongweiy
Yongwei Yuan yongweiy
PhD student @ Purdue

West Lafayette

@shazqadeer
Shaz Qadeer shazqadeer

Facebook Seattle

@hflsmax
Cong Ma (MC) hflsmax
@cty12
Tianyu Chen cty12
Postdoc at Indiana University

Indiana University Bloomington

@ChrisPenner
Chris Penner ChrisPenner
Writing software to improve the experience of writing software. Author of Optics By Example

Unison Computing Victoria BC, CA

@matthew-russo
Matthew Russo matthew-russo
Working on S3 Express One Zone. Machine sympath. Ever curious. Organizer of Seattle Meetups: Seattle C++, Seattle Zig, and Seattle Beer & Code

Amazon Web Services (@aws) Seattle, WA

@teorth
teorth
@codyroux
codyroux
@Aurel300
Aurel Aurel300
PhD student in Rust verification at ETH Zurich. Haxe enthusiast, game developer, CTF player and author.
@bkragl
Bernhard Kragl bkragl

Amazon Web Services

@jamesbornholt
James Bornholt jamesbornholt
computerer

@aws Seattle

@ahuoguo
Alex Bai ahuoguo

New York University

@SchrodingerZhu
Schrodinger ZHU Yifan SchrodingerZhu
Working!

University of Rochester Rochester, NY

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@mgree
Michael Greenberg mgree

Stevens Institute of Technology New Jersey

@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN

@Hao-Wei
Yuanhao Wei Hao-Wei
@jaspergeer
Jasper Geer jaspergeer
PhD-Track MSc student at UBC. I like PL, compilers, and verification.

University of British Columbia Vancouver, Canada

@maxsnew
Max S. New maxsnew

University of Michigan CSE Ann Arbor, MI

@JustusAdam
Justus Adam JustusAdam
PhD student working on systems for privacy and security.

@brownsys Providence, RI

@JoeyEremondi
Joey Eremondi JoeyEremondi
Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.

University of Regina Regina, Saskatchewan, Canada

@VictorCMiraldo
Victor Cacciari Miraldo VictorCMiraldo

@channable Utrecht, the Netherlands

@bolt12
Armando Santos bolt12

@well-typed Portugal - Braga

@zcysky
zcysky zcysky
God speaks through Aerodynamics, and we speak through Programming Languages.

University of Southern California & Amazon Web Services Los Angeles

@Perspicuous-Computing
Perspicuous Computing Perspicuous-Computing
Efficient and reliable software & hardware with simple formal specifications and machine-checked proofs.
@rampion
Noah Luck Easterly rampion

Mercury Technologies

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@solomon-b
Solomon solomon-b

Bitnomial Los Angeles

@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@nishanthkarthik
Karthik Nishanth nishanthkarthik

Vancouver

@Boarders
Callan McGill Boarders
@willcrichton
Will Crichton willcrichton
Assistant professor of computer science. Bringing cognitive science to programming.

Brown University Providence, RI