1,535
reputation
90 views
discussion user
network profile

Registered User

name perror
member for 2 years
seen 2 hours ago
website
location France
age

I hold a position of associate professor in the group Model & Verification in the team Formal Methods within the LaBRI at the University of Bordeaux (France).

I am interested in many topics about 'formal methods', 'program analysis' and 'software verification' (model-checking, abstract interpretation, theorem provers, ...). I am currently very interested in binary program analysis and in its applications to computer security.

1

Proposal

37
followers

Virtualization, Cloud, and Grid Computing

For developers, administrators, and power users of virtualization, cloud computing, and grid computing. Discussions about developing, setting, managing, using and combining all these technologies.
define
commit
beta

0

Current Commitments


1

Fulfilled Commitment

798
days

Reverse Engineering

For researchers and developers who explore the principles of a system through analysis of its structure, function, and operation.
define
commit
public beta

3

Followed

139
followers

Sage

For users of the Sage computer algebra system.
define
commit
beta
74
followers

django CMS

For developers who'd like to use - or who are already using - django CMS.
define
commit
beta
37
followers

Virtualization, Cloud, and Grid Computing

For developers, administrators, and power users of virtualization, cloud computing, and grid computing. Discussions about developing, setting, managing, using and combining all these technologies.
define
commit
beta

1132

Votes Cast

1106 up

26 down