Wojciech Fraczak
45 chemin Fraser
Gatineau, Québec J9H 2H1
Phone (@home): (1) 613 667-5311
Phone (@work): (1) 613 693-0789
Internet Phone: sip:fraczak@ekiga.net
E-mail: fraczak@gmail.com
URL at UQO (ex-UQAH):
http://w3.uqo.ca/fraczak
Résumé
In 1984-88 I studied Civil Engineering at the Technical University
in Warsaw, Poland. Then, from 1989-1992 I studied Computer Science at
the University Paris-Sud, France, obtaining my Bachelor and Master
degree. The next year I started my PhD at the Laboratoire de Recherche en
Informatique, France. At the same time, I participated in a
European project ESPRIT--Caliban. The goal of the project was to
establish a compositional semantics for concurrent languages in terms
of Petri-nets. In 1996, I defended my PhD Thesis entitled "Parallel Composition and Synchronization of
Reactive Systems". The thesis deals with the formal specification
and modeling of concurrent reactive systems. Then, I worked
as a research assistant at the Universite du Quebec en
Outaouais, where I eventually became an adjunct professor. 1999-2008, I worked for IDT
Canada (formerly Solidum Systems Corp) as Staff Scientist
in the field of formal languages and sequential functions
(transducers) in the context of Solidum's family of programmable
classification processors. 2008-2009, I worked for
Edgewater Computer Systems
helping them designing a real-time graphical programming language,
called RTEdge.
Go to my Consulting services web
page to find more about my current activities.
Interests
- Formal methods
- Language theory
- Calculability and complexity
- Semantics of programming and specification languages
- Parallel and distributed computing
- Windsurfing
Kernel/CORE
My current project is the development of a computer
language Kernel/CORE. It is both a
programming language, which can be compiled into a highly optimized
machine code, and a specification language which can be used for
modeling and verification purposes (see wiki
pages).
Papers
- C. Bastien, J. Czyzowicz, W. Fraczak, and W. Rytter.
Equivalence of Functions Represented by Simple Context-Free
Grammars with Output, accepted for DLT 2006
- C. Bastien, J. Czyzowicz, W. Fraczak, and W. Rytter.
Prime normal form and equivalence of simple grammars. In
I. Litovsky J. Farré and S. Schmitz, editors, CIAA
2005, volume 3845 of LNCS, pages 78--89. Springer, 2006.
- W. Debski and W. Fraczak. Concatenation
State Machines and Simple Functions. In Implementation
and Application of Automata, CIAA 2004, volume 3317 of
LNCS, pages 113--124. Springer, 2004.
- W. Fraczak and A. Podolak.
A characterization of s-languages. Information
Processing Letters, 89(2): 65-70 (2004)
- J. Czyzowicz, W. Fraczak, A. Pelc, and W. Rytter.
Linear-Time Prime Decomposition of Regular Prefix
Codes. International Journal of Foundations of Computer
Science, 14(6), 2003
- J. Czyzowicz, W. Fraczak, and A. Pelc. Transducers with Set
Output. In 8th Annual International Conference,
COCOON 2002, volume 2387 of LNCS. Springer, 2002.
- J. Czyzowicz, W. Fraczak, A. Pelc, and
W. Rytter. Prime Decompositions of Regular Prefix
Codes. In 7th International Conference on
Implementation and Application of Automata, Tours, France, 2002.
- M. Zaremba and W. Fraczak. Dynamic task communication for
concurrent processing in distributed systems. Concurrent
Engineering: Research and Applications, 9(2), 2001.
- J. Czyzowicz, W. Fraczak, M. Iglewski, and F. Welfeld. Semantics
of PAX-PDL. Technical Report, Solidum Systems Corp., 1575 Carling
Avenue, Ottawa, Canada, 2001.
- W. Fraczak and M.B. Zaremba. A non-SOS operational
semantics for a process algebra. Information Processing
Letters, 68(1), 1998.
- E. Best, W. Fraczak, R. Hopkins, H. Klaudel, and E. Pelz.
M-nets: an algebra of high-level Petri nets, with an application to
the semantics of concurrent programming languages. Acta
Informatica, 35(10), 1998.
- M.B. Zaremba, W. Fraczak, S. Matwin, T. Yos-Nhean, and N.
Gorse. Heterogeneous Intelligent Systems: Integration and
synchronization of concurrent processes. In 5th IFAC Workshop
on Intelligent Manufacturing Systems, IMS'98. Gramado, Brazil,
1998.
- W. Fraczak and M.B. Zaremba. A non-SOS operational semantics
for a process algebra. Rapport de Recherche RR 98/05-1, Département
d'Informatique, Université du Québec à Hull, Hull, Canada, 1998.
- W. Fraczak et M. Iglewski. Un Logiciel de démonstration
automatique pour un environnement multiprocesseurs. Rapport de
Recherche RR 97/03-1, Département d'Informatique, Université du
Québec à Hull, Hull, Canada, 1997.
- W. Fraczak and E. Pelz. A structural equivalence on labeled
Petri nets based on a reduction of silent transitions. Rapport de
Recherche 1088, LRI, Orsay, France, 1997.
- M.B. Zaremba, W. Fraczak, and M. Iglewski. Dynamic
distribution of processes for intelligent system design. In 4th
IFAC Workshop on Intelligent Manufacturing Systems, IMS'97.
Seoul, Korea, 1997.
- W. Fraczak and E. Pelz. Improved implementations via a new
structural equivalence on labeled nets. In 18th International
Conference on Application and Theory of Petri Nets, volume 1248
of LNCS. Springer Verlag, 1997.
- Wojciech Fraczak. Multi-action process algebra. In
Algorithms, Concurrency, and Knowledge, volume 1023 of
LNCS. Springer Verlag, 1995.
- E. Best, H. Fleischhack, W. Fraczak, R. Hopkins, H.
Klaudel, and E. Pelz. A class of composable high level Petri
nets. In International Conference on Application and Theory of
Petri Nets, volume 935 of LNCS. Springer Verlag, 1995.
- E. Best, H. Fleischhack, W. Fraczak, R. Hopkins, H.
Klaudel, and E. Pelz. A high level Petri net semantics of
B(PN)^2. In STRICT'95, Workshop in Computing. Springer
Verlag, 1995.
- Wojciech Fraczak. Multi-Action Process Algebra. Rapport de
Recherche 999, LRI, Orsay, France, 1995.
- E. Best, H. Fleichhack, W. Fraczak, R. Hopkins, H. Klaudel, and
E. Pelz. A Class of Composable High Level Petri Nets. Technical
Report 10/95, Institut fur Informatik, Universitat Hildesheim,
Germany, 1995.
- W. Fraczak and H. Klaudel. A Multi-action
synchronization schema and its application to the PBC. In
Methodologies, techniques, and tools for design development,
volume~5 of ESDA'94. ASME, 1994.
- Wojciech Fraczak. Synchronization Algebra and Multi-actions.
Rapport de Recherche 896, LRI, Orsay, France, 1994.
- E. Best, H. Fleichhack, W. Fraczak, R. Hopkins, H. Klaudel, and
E. Pelz. A High Level Petri Net Semantics of B(PN)2. Rapport de
Recherche 895, LRI, Orsay, France, 1994.
- W. Fraczak and H. Klaudel. General Synchronization Operator in
the Petri Box Calculus. Rapport de Recherche 821, LRI, Orsay,
France, 1993.
Music Albums
Last modified: Fri Oct 29 09:32:58 EDT 2010