Skip to content

@rocq-community Rocq-community

Users following rocq-community

@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind grading

@SoftwareLanguagesSecurityLab Dallas

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@dkapt
Dimitrios Kapetanios dkapt

Greece

@acquo
acquo
A guy who loves programming.
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@EmilMullerQ
EmilMullerQ
@djspacewhale
Garrett Figueroa djspacewhale

Colorado

@Cre4T3Tiv3
Jesse Moses Cre4T3Tiv3
AI/ML Engineer | Temporal Intelligence | Building next-gen AI/ML | Mathematical Foundations → Practical Engineering
@shatachandra
shatachandra
@lamg
Luis Ángel Méndez Gort lamg
Solving problems

Germany

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@marouenes
Marouane Skandaji marouenes
The Grug Brained Developer

Big Data Engineer / SW Developer Budapest, Hungary

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@siam-sk
Siam Sheikh siam-sk
Full Stack Developer | MERN

Dhaka, Bangladesh

@johnny603
Johnny Santamaria johnny603
# Hi there! I'm Johnny Santamaria 👋 I'm a Computer Science student passionate about software engineering and user experience.

San Francisco, California

@Jonathan-code-hash
Jonathan Yava Jonathan-code-hash
@karimmerhom
Kairm Merhom karimmerhom
Software Engineer at Cypod Solutions Graduated from Computer Science Engineering from GUC.

Cypod solutions Cairo, Egypt

@tfmsadhith
Sanjay Adhith tfmsadhith

Singapore

@InfiniteEchoes
GY InfiniteEchoes
@voriazu
Rustam Uzairov voriazu
@svrvt is my basic account. This is where I put areas that don't overlap with my profession.
@gklimowicz
Gary Klimowicz gklimowicz
Converting shallow understanding to misunderstanding since 1955.

Dancing Bear Software Portland, OR

@PersonForSure
Monocled PersonForSure
Hobbyist, learning formal methods and systems programming. 15y/o

>_

@PAUL-BERNARD
PAUL BERNARD PAUL-BERNARD
Research engineer at @INRIA - Main @reservoirpy developer

Inria Bordeaux

@lucasbrixner
Lucas Brixner Riça lucasbrixner
@pinakic2000
Pinaki Chakraborty pinakic2000
@vincentpanqi
professor vincentpanqi

spcc shanghai

@ksqsf
ksqsf ksqsf
{-# LANGUAGE TypeInType #-}
@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Computer Science / Interested in Formal Verification / Distributed Systems / Concurrency Theory

Germany

@taimoon
Leong Teng Man taimoon
兴趣使然

Malaysia

@cuixiaofei
Xiaofei Cui cuixiaofei

Guangzhou

@roife
roife roife
Interested in PL and Compiler.

@pascal-lab

@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@openweb
Allen Long openweb
Developer

huihoo China

@XSnow
Snow XSnow
A postdoc at IRIF. A PhD graduate from @hkuplg

[email protected] Paris

@selffins
lewis selffins
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@ramiterdos1
Ramit ramiterdos1
Logician in training

India

@flaviopavim
Flávio Pavim flaviopavim
Skills with lot types of softwares: Web, Desktop, Mobile - Php&MySql, Javascript, Html, Css, Python, Dart, Java, C, C++, C#, Arduino

WhiteHats

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@HaleOIC
Hale HaleOIC
Hi, I am hale yang, keen for discovering more things in Programming Language

Stockholm

@unpilbaek
Unpil Baek unpilbaek
An avid UC Berkeley PhD student interested in quantum computing and its intersections with condensed matter physics, quantum chemistry, and machine learning.

University of California, Berkeley Berkeley, CA

@duyu09
Du Yu duyu09
Du Yu (杜宇; Đỗ Vũ), BEng in Software Engineering, QLU; MEng candidate in Computer Science & Technology, LZJTU. Research focus: ML / Data Mining / NLP.

Lanzhou Jiaotong University (蘭州交通大學; Đại học Giao thông Lan Châu) Jinan, Shandong Province, P.R.China / Lanzhou, Gansu Province, P.R.China (中國山東省濟南市/中國甘肅省蘭州市; TP.Tế Nam, Tỉnh Sơn Đông, TQ / TP.Lan Châu, Tỉnh Cam Túc, TQ)

@ejmin91
ejmin91
Research Scientist
@OChicken
Shouran MA OChicken
A PhD student at LTH Lund

LTH Lund Lund, Sweden

@ShreckYe
Yongshun Ye ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast

Chengdu

@nalgnaohel
Hoang Lan Le nalgnaohel
Lifelong learner wanna try interesting things

VNU University of Engineering and Technology Hanoi

@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics Ichvers, Esteh, Enurbahnhof, Azeroy

@CheeseTurtle
Stan Soo CheeseTurtle
UTSA Electrical Engineering student and self-taught coding whiz. Enthusiastic about DSP and AI; tentatively curious about microrobotics and biosensors.
@royess
Yuxuan Yan royess
Graduate student @ IIIS, Tsinghua University.

Tsinghua University Beijing, CHN

@CxBug
Muhammed CxBug

berlin