Skip to main content
MathOverflow
Adel Ahmadyan's user avatar
Adel Ahmadyan's user avatar
Adel Ahmadyan's user avatar
Adel Ahmadyan
  • Member for 12 years, 10 months
  • Last seen more than 6 years ago
Profile Activity
Stats
51
reputation
2k
reached
0
answers
2
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.
6
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
2
karhunen-Loeve expansion of Poisson process
May 4, 2012
question
2
An algorithm for checking if a nonlinear function f is always positive
May 16, 2012
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?