Skip to content
View joulook's full-sized avatar

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
@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

@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

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

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

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

Manaus - AM

@ondrej33
Ondřej Huvar ondrej33

Masaryk University Czech Republic

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

École polytechnique Paris, France

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

Carnegie Mellon University

@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

@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

@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!
@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

@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

@JoJoDeveloping
Johannes Hostert JoJoDeveloping
PhD Student @ ETH Zurich, since October 2023

ETH Zurich Zürich, Switzerland