Skip to content
View ttj's full-sized avatar
17 followers · 16 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report ttj

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
@VNN-COMP
VNN-COMP
International Verification of Neural Networks Competition
@tulip-control
Temporal Logic Planning (TuLiP) toolbox tulip-control
@volgy
Peter Volgyesi volgy

Vanderbilt University Nashville, TN, USA

@trhoangdung
trhoangdung
Assistant Professor

University of Nebraska Lincoln Lincoln, Nebraska, USA

@ronpicard
Ron Picard ronpicard
@shafiul
Shafiul Azam Chowdhury shafiul
Machine Learning Research Scientist. PhD in Computer Science and Engineering.

Facebook United States

@mldiego
Diego Manzanas Lopez mldiego
Research Scientist at Vanderbilt University

@verivital Nashville, TN

@pmusau17
Patrick Musau, Ph.D. pmusau17
Researcher interested in safe and ethical applications of Artificial Intelligence, Machine Learning, and Intelligent Autonomy

@verivital Nashville, TN

@VeriDeep
VeriDeep
@SoftwareImpacts
Software Impacts SoftwareImpacts
Software Impacts publishes Original Software Publications that have addressed a research challenge, reported in at least one scholarly publication.
@pettni
Petter Nilsson pettni

Amazon Robotics AI Atlanta, GA

@necozay
Necmiye Ozay necozay
@csallner
Christoph Csallner csallner

University of Texas at Arlington

@RANHAOHR
Ran Hao RANHAOHR
Robotics researcher, engineer

Case Western Reserve University Cleveland, OH

@hc825b
謝橋 (Hsieh, Chiao) hc825b
Program-Specific Researcher at Kyoto University

Graduate Institute of Informatics, Kyoto University Kyoto, Japan

@CircuitCo
CircuitCo