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

@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

@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

@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

@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

@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

@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.
@mww-aws
Mike Whalen mww-aws
mww-aws is Mike Whalen's Amazon profile

Amazon Web Services Minneapolis, MN

@YunkaiZhang233
Yunkai Zhang YunkaiZhang233
3rd Year Computing Student at Imperial College London

Imperial College London London

@rasofema
Raquel rasofema
She/Her | PhD Computing Student @ Imperial
@markusdemedeiros
Markus de Medeiros markusdemedeiros
PhD student in formal methods at NYU under the supervision of Joseph Tassarotti
@mehrdad3301
Mehrdad mehrdad3301
studying computer science

Tehran

@BaldDemian
Peiyang He BaldDemian
2nd year master student in CS at Nanjing University

Nanjing University Nanjing, China

@bordaigorl
Emanuele D'Osualdo bordaigorl
I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz

University of Konstanz Konstanz, Germany

@umangm
Umang Mathur umangm
Assistant Professor

National University of Singapore Singapore

@p-ndr
Inactive p-ndr
No longer active.