Personal Information
Organization / Workplace
Porto Area, Portugal Portugal
Occupation
CTO
Industry
Technology / Software / Internet
Website
caos.di.uminho.pt/~ulisses/blog/
About
Ulisses is the CTO of VisionSpace Tehcnologies, a aerospace and software security company in Portugal. [A-Z]: Open Source, Software Security, Formal Methods.
Tags
msc
uminho
methods
formal
research
cryptol
programming
cryptography
formal specification
static code analyzer
languages
statistics
compilers
code
mfes
haskell
linux
beamer
latex
aerospace and defense
software testing
cesium
static
software
tool
snort
network
lip
presentation
analyzer
formal methods
paper
snow3g
processing
code analyzer
language
language processing
universidade
um
perl
tshark
portugus
tecpdump
bash
libpcap
galois
c++
proof
frama-c
checking
splint
tools
cs
cipher
vdmtools
vdm
ldap
jml
cssi
ssi
security
honeynet
honeyd
honeypot
jmlunit
portugal
caos
pointfree
calculador
lei
See more
- Presentations
- Documents
- Infographics