Skip to content
View faustocarva's full-sized avatar
😱
😱
38 followers · 288 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@iris-email-client

Block or report faustocarva

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
@muellerberndt
Bernhard Mueller muellerberndt
Uncertified hacker | P(G(F)) = ∀y q(y, G(F))

@ConsenSys Chiang Mai, Thailand

@rcvalle
Ramon de C Valle rcvalle
Vulnerability researcher at @google.

@Google Santa Clara, CA

@lac-dcc
Compilers Lab - DCC/UFMG lac-dcc

Belo Horizonte, Brazil

@wuestholz
Valentin Wüstholz wuestholz
Security Researcher at ConsenSys Diligence
@leosol
Leandro Oliveira leosol
@mathiasbynens
Mathias Bynens mathiasbynens
Web standards fanatic. JavaScript, HTML, CSS, HTTP, performance, security, Bash, Unicode, macOS.

@Google

@eqv
Cornelius Aschermann eqv
@CISPA-SysSec
CISPA-SysSec
Research Group Holz @ CISPA

Germany

@RUB-SysSec
Chair for Sys­tems Se­cu­ri­ty RUB-SysSec

Ruhr University Bochum Bochum, Germany

@uni-due-syssec
UDE Secure Software System Research Group uni-due-syssec
Systems Security Research Group University Duisburg-Essen

Essen, Germany

@jspisak
Joseph Spisak jspisak

@Meta Menlo Park, CA

@ptsankov
Petar Tsankov ptsankov

ETH Zurich Zurich, Switzerland

@medisco
Ismael Medeiros medisco
@ellie
Ellie Huxtable ellie
I write code and ride bikes 🏍

@atuinsh $SHELL

@simonw
Simon Willison simonw

Datasette Half Moon Bay, California

@ncsu-swat
Software Analysis and Testing (SWAT) Research Group at NCSU ncsu-swat
Research Group on Software Analysis and Testing

United States of America

@ruimaranhao
Rui Maranhao ruimaranhao
Software Engineer @ Meta, Full Professor @ University of Porto, Entrepreneur, Google/PARC alumnus; husband and father of three.

University of Porto Earth

@UnB-CIC
UnB-CIC
@kimdora
Doyeon Kim kimdora

@LINE Bundang, Korea

@carolemieux
Caroline Lemieux carolemieux

University of British Columbia

@PLSE-Lab
Programming Languages and Software Engineering Lab PLSE-Lab
@crytic
Crytic crytic
Blockchain Security, by @trailofbits

New York, NY

@f0rki
Michael Rodler f0rki
Software Security Researcher. I like fuzzers, compilers, binaries, and most of all finding bugs. Currently doing so for AWS.

AWS Cologne, Germany

@MANDO-Project
MANDO MANDO-Project
@inesc-id
INESC-ID inesc-id

Lisbon, Portugal

@viniciusrpb
Vinicius R. P. Borges viniciusrpb
Assistant professor at Universidade de Brasília. My research interests are machine learning, natural language processing and visual data analytics.

Universidade de Brasília Brasília-DF, Brazil

@HexHive
HexHive HexHive
Enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level

Switzerland

@trailofbits
Trail of Bits trailofbits
More code: binary lifters @lifting-bits, blockchain @crytic, forks @trail-of-forks

New York, New York

@andrehora
Andre Hora andrehora
@leonardoalt
Leo leonardoalt

@powdr-labs

@Certora
Certora Certora
@CodeIntelligenceTesting
Code Intelligence CodeIntelligenceTesting

Bonn, Germany

@0xricksanchez
434b 0xricksanchez
I don't really know what I'm doing anyway.
@Rigorous-Software-Engineering
Rigorous Software Engineering @ TU Wien Rigorous-Software-Engineering
Maria Christakis' research group at TU Wien
@Practical-Formal-Methods
Practical-Formal-Methods
Maria Christakis' research group at MPI-SWS
@Darksonn
Alice Ryhl Darksonn
Maintainer of Tokio.

Google Denmark

@LucasSte
Lucas Ste LucasSte
Runtime, Compilers and AI

Earth

@seanyoung
Sean Young seanyoung
Compiler engineer and linux kernel infrared maintainer. Working on the Solang Solidity Compiler.

Anza Technology, Inc. London, UK

@HigherOrderCO
HigherOrderCO HigherOrderCO
Building the massively parallel future of computers
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@christoftorres
Christof Torres christoftorres
Assistant Professor @ INESC-ID & Instituto Superior Técnico (IST), University of Lisbon

Instituto Superior Técnico Lisbon, Portugal

@Jon-Becker
Jonathan Becker Jon-Becker
Founding Engineer @ Shadow.xyz . Strong advocate for decentralization and open-source software.

Shadow Bloomington, IN

@BurntSushi
Andrew Gallant BurntSushi
I love to code.

@astral-sh Marlborough, MA

@dogefuzz
dogefuzz
@Consensys
Consensys Consensys
Consensys is the software engineering leader of the blockchain space. Our full-stack Ethereum products help developers build next-generation networks.

The Blockchain

@DavePearce
David Pearce DavePearce
Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.

ConsenSys New Zealand

@Dexaran
Dexaran Dexaran
Ethereum Commonwealth & Dex223 founder. Security engineer and smart-contract developer. Security auditor. dexaran@ethereumclassic.org
@domenukk
Dominik Maier domenukk

GER

@bentoml
BentoML bentoml
The easiest way to build fast and reliable AI serving systems

San Francisco

@guidovranken
Guido Vranken guidovranken

Netherlands