Skip to main content
Theoretical Computer Science
Adel Ahmadyan's user avatar
Adel Ahmadyan's user avatar
Adel Ahmadyan's user avatar
Adel Ahmadyan
  • Member for 11 years, 2 months
  • Last seen more than 11 years ago
  • adel.ac
Profile Activity
Stats
1
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Grad student at UIUC. I study applied formal and semi-formal verification of continuous and hybrid systems.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
6
An algorithm for checking if a nonlinear function f is always positive
6
Iterate over large file with progress indicator in Python?