User:RedrickSchu

Software Engineering
I am a grad student in Software Engineering. My interests include deep learning, scientific computing, and automatic/interactive theorem proving. RedrickSchu (talk) 15:42, 15 October 2023 (UTC)