|
|
|
Pawel Pietrzak
|
Namn:
|
Pawel Pietrzak
|
|
Titel:
|
Forskarassistent
|
|
Enhet:
|
Institutionen för systemteknik (SYS)
|
|
Avdelning:
|
Eislab
|
|
Email:
|
pawel.pietrzak@ltu.se
|
|
Telefon:
|
0920-492946
|
|
Rum:
|
A2304
|
|
|
Research interest
|
- Static analysis and verification of programs
- The Timber programming language
- Declarative (logic, functional, constraint) programming
- Embedded programming
|
| |
|
Teaching
|
|
Computer System Security and Management - D004E, 2010
|
|
|
Publikationer
|
|
- Visar 5 senaste publikationerna av totalt 10 stycken.
|
A practical type analysis for verification of modular Prolog programs
2008;
Pietrzak, Pawel;
Correas, Jesus;
Puebla, German;
Hermenegildo, Manuel;
Automatic binding-related error diagnosis in logic programs
2007;
Pietrzak, Pawel;
Hermenegildo, Manuel;
Context-sensitive multivariant assertion checking in modular programs
2006;
Pietrzak, Pawel;
Correas, Jesus;
Puebla, German;
Hermenegildo, Manuel;
Hermenegildo, Manuel;
A type-based framework for locating errors in constraint logic programs
2002;
Pietrzak, Pawel;
Using parametric set constraints for locating errors in CLP programs
2002;
Drabent, Wlodek;
Maluszynski, Jan;
Pietrzak, Pawel;
|
» Visa detaljerad lista över alla publikationer av Pawel Pietrzak
|
|
|
|
|
|
|
Fler vägar till information
|
|
|