Skip to content

@VeriNum VeriNum

Users following VeriNum

@bhashemi
Behnam Hashemi bhashemi

University of Leicester Leicester

@wonyeol
Wonyeol Lee wonyeol
Assistant Professor at POSTECH
@PersonForSure
Monocled PersonForSure
Hobbyist, learning formal methods and systems programming. 15y/o

>_

@karlobermeyer
Karl J. Obermeyer karlobermeyer
Engineer | Applied Mathematician

Cyberspace

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@iamoeg
Oussama EL GHANNAMI iamoeg

Morocco

@haiszhu
Hai Zhu haiszhu

Westlake University Hangzhou

@cogumbreiro
Tiago Cogumbreiro cogumbreiro
As a CS reseacher, my goal is to advance the foundations of parallel programming, by improving the quality assurance of languages and runtimes.

UMass Boston Boston, MA, USA

@pratyai
Pratyai Mazumder pratyai

Zurich, Switzerland

@ychtao
Yichen Tao ychtao
Ph.D. student in CSE @umich B.Eng. @sjtu

University of Michigan Ann Arbor, U.S.A.

@minalspatil
Minal S Patil minalspatil
Explainable AI, Machine Reasoning

Scania CV AB Stockholm, Sweden

@jimmysitu
Jimmy Situ jimmysitu
CPU Micro Architect

ZHAOXIN, JMST 1KHujLT4AzQwQKSLEUSbcergqv7fMnQNXA

@ak-2485
Ariel Kellison ak-2485
Formal methods and numerics.

Cornell University Ithaca, NY