Skip to main content
Theoretical Computer Science
Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione's user avatar
Pietro Braione
  • Member for 9 years, 11 months
  • Last seen more than 1 year ago
Profile Activity
Stats
133
reputation
149
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.
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
3
What is the solution of this equation on regular languages?
Jul 8, 2023
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?