8000 alcides (Alcides Fonseca) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View alcides's full-sized avatar
292 followers · 880 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@AEminium

Block or report alcides

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
@fourglobe302500
Francisco Lima fourglobe302500
@GasStationManager
GasStationManager
Independent AI researcher
@lemire
Daniel Lemire lemire
Daniel Lemire is a computer science professor. His research is on software performance in data engineering.

Université du Québec (TELUQ) Montreal, Quebec, Canada

@krisztinasinkovics
Krisztina Sinkovics krisztinasinkovics
AI/ML Researcher @ University of Cambridge

@smallrobotcompany Cambridge

@UmutAcarLab
Umut Acar Lab UmutAcarLab
@Ecologykk
Helton Mendonça Ecologykk
I am an MS Science student at the Faculty of Science of Lisbon with a BS in Biomedical Engineering. You will find some of my projects here :)

Lisbon

@yiyunliu
Yiyun Liu yiyunliu
PhD Student studying Programming Language Theory

University of Pennsylvania

@PauloHS-Silva
Paulo Silva PauloHS-Silva
@HarrisonGrodin
Harrison Grodin HarrisonGrodin
PhD Student in PL @ CMU CSD

Carnegie Mellon University Pittsburgh, PA

@buaabarty
Boyang Yang buaabarty
Ph.D. Candidate in Computer Science

Jisuanke Beijing

@hezzel
hezzel
@franck44
Franck franck44
Interested in formal methods, software verification, distributed systems, Dafny, Scala

Sydney

@mirryi
Eric Zhao mirryi

Brown University

@dimitris-m
Dimitris Mostrous dimitris-m

@opengrep @AikidoSec

@oOo0oOo
Oliver Dressler oOo0oOo

Switzerland

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@DeaglanBartlett
Deaglan Bartlett DeaglanBartlett
Postdoc at l'Institut d'Astrophysique de Paris. Interested in statistical and machine learning methodology and applications in astrophysics and cosmology.

Institut d'Astrophysique de Paris Paris

@harrydesmond
Harry Desmond harrydesmond
Astrophysicist

Institute of Cosmology and Gravitation Portsmouth

@ma-ath
Matheus Lima ma-ath
Ph. D. Student 😎 Evolutionary Computation Laboratory University of Tsukuba

University of Tsukuba Tsukuba, JP

@se4fp
Workshop on Software Engineering for Functional Programming se4fp
The event aims to create a space where members of academia and industry can share and discuss experiences, best practices, tools, and research.

Brazil

@HcPlu
Chengpeng Hu HcPlu
PhD student@TU/e
@athas
Troels Henriksen athas

DIKU Copenhagen, Denmark

@Julian
Julian Berman Julian
Lover of things. Climber of molehills. Seeking friends for the end of the world.

New York, NY

@Aaron1011
Aaron Hill Aaron1011

TensorZero

@austinletson
Austin Letson austinletson
Software Engineer @nyc

New York City

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022).

@vnu-frsl @vnu-sme @SEhumantics Ichvers, Esteh, Enurbahnhof, Azeroy

@DRMacIver
David R. MacIver DRMacIver

England

@antirez
Salvatore Sanfilippo antirez
Computer programmer based in Sicily, Italy. I mostly write OSS software. Born 1977. Not a puritan.

Redis Labs Catania, Sicily, Italy

@JamesGallicchio
James Gallicchio JamesGallicchio
PhD student studying PL/FM. I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)

Carnegie Mellon Pittsburgh, PA

@ammkrn
Chris Bailey ammkrn
@AmberLJC
Jiachen LIU AmberLJC
CS PhD @ UMich | Systems for {Agent, LLM, Private ML} | Ex Meta, Apple, SJTU, MIT

amberljc@umich.edu Ann Arbor

@rutgers-apl
Rutgers Architecture and Programming Languages (RAPL) Group rutgers-apl
Open source repository of the Rutgers Architecture and Programming Languages (RAPL) group

CORE 333, SAS-CS, Piscataway, NJ, 08854

@typeholes
typeholes
@clairew
Claire Wang clairew

UPenn

@ana-borges
Ana de Almeida Borges ana-borges
@JoaoMagalhaes23
João Magalhães JoaoMagalhaes23
@FMatti
Fabio Matti FMatti
Doctoral Student in Mathematics at EPFL.

EPFL Lausanne

@well-typed
Well-Typed LLP well-typed
The Haskell Consultants
@JGalego
João Galego JGalego
| Head of AI @ Critical Software 🤖 ⟩ ⊗ | Invited Professor @ ISEG/ULisboa 🧑‍🏫 ⟩ ⊗ | BCI Researcher 🧠🔌 ⟩ ⊗ | Quantum Hacker ⚛️👨‍💻⟩

Critical Software Lisbon, Portugal

@bpalmeida
Bernardo Almeida bpalmeida
@klaudiabalcer
Klaudia Balcer klaudiabalcer
I'm a Math and Computer Science student at University of Wroclav.

Wrocław

@UniVE-SSV
SSV @ Ca' Foscari UniVE-SSV
Software and System Verification group @ Ca' Foscari University of Venice, Italy
@gatpsilva
Gil Silva gatpsilva

Computer

@pi314mm
Matias Scharager pi314mm
Carnegie Mellon University PhD student in Programming Languages
@puredanger
Alex Miller puredanger
Clojure maintainer at Nubank. Creator of Strange Loop, Clojure/west, and Lambda Jam conferences. Co-author of Programming Clojure and Clojure Applied.

@nubank, @strangeloop St. Louis, MO

@MixedMatched
alessandra simmons MixedMatched
embedded systems and formal methods enthusiast / cs+philosophy major at northeastern
@For 3D1A malizedFormalLogic
FormalizedFormalLogic
Formalize Formal Logic in Lean4
@yotarazona
Yonatan Tarazona yotarazona
PhD student at University of Coimbra email: geoyons@gmail.com

University of Coimbra Planeta Tierra

0