Skip to content
View faustocarva's full-sized avatar
😱
😱
46 followers · 297 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
@SeanHeelan
Sean Heelan SeanHeelan

London, UK

@souzatharsis
Tharsis Souza souzatharsis
building data-driven stories
@ASSERT-KTH
ASSERT ASSERT-KTH
assertEquals("Software Engineering Research Team at KTH Royal Institute of Technology", description);

Sweden

@CJR-UnB
CJR - Empresa Júnior de Computação CJR-UnB
Empresa Júnior de Computação da Universidade de Brasília

Brazil

@aserg-ufmg
Applied Software Engineering Research Group aserg-ufmg
Department of Computer Science, Federal University of Minas Gerais

Belo Horizonte, Brazil

@pronesto
Fernando Magno Quintão Pereira pronesto

Universidade Federal de Minas Gerais Belo Horizonte

@AdaLogics
AdaLogics

Oxford, UK

@mokita-j
Monica Jin mokita-j
blockchain and not so smart contracts

KTH Royal Institute of Technology Stockholm, Sweden

@sofiabobadilla
Sofia Bobadilla sofiabobadilla
PhD student at The Royal Institute of Technology (KTH), Stockholm, Sweden

KTH Kungliga Tekniska högskolan, Sweden Stockholm, Sweden

@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
medisco 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 South 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
I like computers 👨‍💻

Earth

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

London, UK

@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@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