Skip to content
View MatthiasNickles's full-sized avatar
🌴
_-_-_
🌴
_-_-_
9 followers · 1 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck
Block or Report

Block or report MatthiasNickles

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@doughnutsz
doughnutsz
@Gy-Hu
Guangyu (Gary) HU Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.

The Hong Kong University of Science and Technology China

@rootuseret
Eugene Timofeev rootuseret
founder of hot-corp.com

hot corporation earth planet

@RedBedHed
Ellie Moore RedBedHed
Software Enthusiast

Tempe, Arizona

@drwadu
drwadu
@codeck
Cheng Kuan codeck
_^_
@vogelh0ws
Anselm vogelh0ws

Berlin

@ajahl
Alex Jahl ajahl
@jblaszczyk
Jakub Błaszczyk jblaszczyk
Answer Set Programming, Automated Planning, Description Logic, Deontic Logic, Automated Verification, Agents, Blockchain

Midnight Coding Wrocław, Polska