Associate professor of computer science, focusing on formal program verification.
-
imec-DistriNet, KU Leuven
- Leuven, Belgium
- http://www.cs.kuleuven.be/~bartj/
Highlights
- Pro
Pietro Zangrando
pzangra
Engineering student with background in:
Python, linux scripts, signal processing, filters, ML/DL
KU Leuven Belgium
Jatin Kumar
jatink121
Third Year Undergraduate in Mechanical Engineering Department, IIT Bombay
Mumbai
Bulhwi Cha
chabulhwi
I aim to create video games and other media for learning STEM disciplines.
Semmalgil Seoul, Republic of Korea (South Korea)
Hassan Ahmed
Hassanahmed1166
๐ Computer Scientist | AI Enthusiast | Educator
๐ก Passionate about AI, XAI, Computer Vision, and Network Security
FAST - National University of Computer and Emerging Sciences Islamabad, Pakistan
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Nho Luong
nholuongut
๐ ๐ป๐ณ๐ป๐ณ-๐ป๐ณ๐ป๐ณ-๐ป๐ณ๐ป๐ณ-๐ป๐ณ๐ป๐ณ-๐ป๐ณ๐ป๐ณ-๐ป๐ณ๐ป๐ณ
- Vietnam DevOps Engineer
Lead
- Vietnam Timeless Charm
- Enjoy Every Moment
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
Cogito Ergo Sum
standardgalactic
๐๐ฐ๐ฎ๐ฆ ๐ฐ๐ง ๐ต๐ฉ๐ฆ ๐๐๐๐๐๐๐๐ ๐ถ๐๐๐๐๐๐๐ ๐ฐ๐๐๐๐๐๐๐
Xanadu Canada
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
PreviousNext