Skip to content
View joulook's full-sized avatar
69 followers · 205 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
@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) is headed by Prof. Thomas Thüm 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
Cheng Wen wcventure
I am a lecturer at the Guangzhou Institute of Technology at Xidian University. My research interests are about 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
@SaharRamezani
Sahar Ramezani (Alba) SaharRamezani
Computer Science Student

Italy

@Alex23087
Alessandro Scala Alex23087
Theoretical Computer Science PhD Student @ University of Edinburgh

University of Edinburgh Scotland

@sarsko
Sarek Høverstad Skotåm sarsko
Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.

Amazon Web Services Seattle

@ruplet
Paweł Balawender ruplet
Master of Computer Science @ University of Warsaw, 2025. Researcher at University of Warsaw :)

Poland

@zouyonghao
Yonghao Zou zouyonghao

PKU

@amirkhaki
Amirreza Khakpour amirkhaki
@mahboobehad
Mahboobe mahboobehad

Iran

@yasaminashoori
yasaminashoori
Since 2021 when I said Hello World, I've been living inside the program💻
@no-defun-allowed
Hayley Patton no-defun-allowed
catgirl representation in programming language design and implementation 🐾ΘΔ

Applied Language and/or ANU Canberra, Australia

@hengyuekang
Hengyue Kang hengyuekang
@TDacik
Tomáš Dacík TDacik
Ph.D. student at FIT BUT, member of the @VeriFIT research group. Interested in program analysis and (separation) logic.

@VeriFIT

@Anemone95
Wenyuan Xu Anemone95
I'm very vegetable.

AarhusUni Aarhus, Denmark

@AStenbaek
Andreas Stenbæk Larsen AStenbaek
Ph.D student in Computer Science at Aarhus University
@JonathanStarup
Jonathan Lindegaard Starup JonathanStarup
Computer science PhD at Aarhus University

Aarhus, Denmark

@Yvan-xy
Yvan Yvan-xy
Compiler Engineer

Aarhus University Moon

@boystrange
Luca Padovani boystrange
@duncanatt
Duncan Paul Attard duncanatt
PhD Student at Reykjavík University and the University of Malta. Recently started a postdoc at the University of Glasgow.

Reykjavík University Glasgow

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@lsrcz
Sirui Lu lsrcz

OpenAI San Francisco, CA

@Mes0903
Mes Mes0903
stop daydreaming, keep pursuing

Taiwan

@mbroughani81
mbroughani81
@j-bmn
Jonathan Baumann j-bmn
Currently an intern at MPI-SP and a computer science student at ENS Paris-Saclay. Previously a student at Saarland University.
@shazqadeer
Shaz Qadeer shazqadeer

Facebook Seattle

@mww-aws
Mike Whalen mww-aws
mww-aws is Mike Whalen's Amazon profile

Amazon Web Services Minneapolis, MN