Skip to content
View joulook's full-sized avatar
70 followers · 229 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report joulook

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@Noa-Izsak
Noa-Izsak
@aman-goel
Aman Goel aman-goel
Senior Applied Scientist @ AWS

Amazon Web Services Seattle, WA

@monopodium
mashuang monopodium
Former USTC undergraduate & master's student Currently pursuing PhD at UC Davis

UC Davis Davis, CA

@timsueberkrueb
Tim Süberkrüb timsueberkrueb

University of Tübingen Germany

@Mzmou
Marziyeh Mousavi Mzmou
CE UT
@ppedrot
Pierre-Marie Pédrot ppedrot
@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@yeejian-tan
Yee Jian TAN yeejian-tan
Computer Science PhD student at KU Leuven
@konnov
igor@konnov.phd konnov
Independent Research Scientist in Security and Formal Verification

konnov.phd Vienna, Austria

@loonwerks
loonwerks
@ifndefJOSH
Josh Jeppson ifndefJOSH
in a world full of gordon ramsays, be a guy fieri

@fluentverification Level 2685, Coruscant, a Galaxy Far Far Away

@formal-verification-research
Formal Verification Research at Utah State University formal-verification-research
Zhen Zhang's Research Group

Utah State University

@osankur
Ocan Sankur osankur
@hpacheco
Hugo Pacheco hpacheco

Portugal

@jurijcerar
jurijcerar
@JessicaColares
Jessica Colares JessicaColares
30 anos. Estudante de Ciência da Computação na UFAM.

Manaus - AM

@daemontus
Samuel Pastva daemontus

Slovakia

@ondrej33
Ondřej Huvar ondrej33

Masaryk University Czech Republic

@remigerme
Rémi Germe remigerme
CS student interested in formal verification

École polytechnique Paris, France

@benbrastmckie
Benjamin Brast-McKie benbrastmckie
Logic

MIT, Cambridge

@EnricoGhiorzi
Enrico Ghiorzi EnricoGhiorzi
@erwanM974
erwanM974
@rose-giant
razieh doregard rose-giant
hi! It's just me here!
@gblelloch
Guy Blelloch gblelloch

Carnegie Mellon University

@claudiacauli
Claudia Cauli claudiacauli

@huawei London

@jeanas
Jean Abou Samra jeanas
PhD student in theoretical computer science.

Budapest, Hungary

@sarajuhosova
Sára Juhošová sarajuhosova
PhD Candidate @ Programming Languages | TU Delft

Delft

@FeatureIDE
FeatureIDE Organization FeatureIDE
FeatureIDE, FeatJAR, and other tools for feature-oriented software development
@TUBS-ISF
Institute of Software Engineering and Automotive Informatics TUBS-ISF
@ TU Braunschweig

Informatikzentrum, Braunschweig, Germany

@SoftVarE-Group
SoftVarE Group SoftVarE-Group
The working group for Software Variability and Evolution (SoftVarE) was headed by Prof. Thomas Thüm from 2020-2024 and located at the University of Ulm, Germany

Germany

@Selebrator
Lukas Panneke Selebrator
CS researcher passionate about Formal Methods/Verification, Java Programming, and Petri Nets. Currently working on verification under weak memory models.

Uni Oldenburg Oldenburg, Germany

@tabareau
Nicolas Tabareau tabareau
Nicolas Tabareau is a senior researcher at Inria, leading the Gallinette team in Nantes, working on type theory and the development of the Rocq Prover.

Inria France

@ahelwer
Andrew Helwer ahelwer
TLA⁺ core developer

Disjunctive Seattle, Washington, USA

@SRI-CSL
SRI International's Computer Science Laboratory SRI-CSL

Menlo Park, California

@mit-pdos
MIT PDOS mit-pdos
Parallel and Distributed Operating Systems group at MIT CSAIL

Cambridge, MA

@jhoenicke
Jochen Hoenicke jhoenicke
Formal Verification Researcher at @Certora

@Certora Freiburg, Germany

@FeizaiYiHao
Xiangdong Chen FeizaiYiHao
@melanie-taprogge
Melanie Taprogge melanie-taprogge
PhD student at the Université Paris-Saclay and the University of Greifswald
@N1ark
opale N1ark
/ᐠ - ˕ -マ Ⳋ

Imperial College London London

@elaghs
Elaheh Ghassabani elaghs
PhD student, University of Minnesota- Twin Cities

USA

@typelevel
Typelevel typelevel
We do functional programming together!
@zainab-ali
Zainab Ali zainab-ali

London, UK

@wcventure
Wen Cheng wcventure
I am a lecturer at Xidian University. My research interests are in Trusted & Intelligent Software Engineering.

Xidian University Guangdong Province, China, 518060

@muenchnerkindl
Stephan Merz muenchnerkindl
@raya-rezaie
Raya Rezaie raya-rezaie
4th-year B.Sc Computer Engineering Student at the Sharif University of Technology. I am interested in Operating Systems and Computer Network .

Tehran, Iran

@simplytypedexistence
Nerdanel simplytypedexistence
Mint tea with logic.
@JoJoDeveloping
Johannes Hostert JoJoDeveloping
PhD Student @ ETH Zurich, since October 2023

ETH Zurich Zürich, Switzerland

@jazz1n
Yasamin Sarrafi jazz1n
@Dorsa-Sharifi
Doreece Dorsa-Sharifi