1,167
reputation
74 views
discussion user
network profile

Registered User

name perror
member for 1 year
seen 57 mins 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

78
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

1

Current Commitment

127
committed

Worldbuilding

For writers/artists using science, geography and culture to construct imaginary worlds and settings.
define
commit
beta

1

Fulfilled Commitment

496
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

127
committed

Worldbuilding

For writers/artists using science, geography and culture to construct imaginary worlds and settings.
define
commit
beta
109
followers

Debian

For the community of Debian users and developers
define
commit
beta
78
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

1013

Votes Cast

989 up

24 down