Skip to main content
MathOverflow
Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione
  • Member for 9 years, 4 months
  • Last seen more than 1 year ago
Profile Activity
Stats
139
reputation
759
reached
0
answers
1
question
Communities
View all
About

I am a researcher working on automated software testing, analysis and verification. One of the projects I am currently working is JBSE, a JVM that can do symbolic execution of Java bytecode.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
Top posts
question
3
In which sense "closure" is a closure?
Aug 12, 2015
Top network posts
View all network posts
36
How to get the sign, mantissa and exponent of a floating point number
6
What are the optimal green cuts for successor arithmetics sum?
5
What's the SLD tree for this query?
5
Julia: How do I create a macro that returns its argument?
5
What is the geometrical difference between continuity and uniform continuity?