Jonas Barklund, Ph.D.
	Senior lecturer and Docent in Computing Science Computing Science Department Uppsala University, Uppsala, Sweden
Office Phone +46-18-471 10 50 Fax +46-18-51 15 30 Email jonas@csd.uu.se	Mailing Address Box 311 S-751 05 Uppsala Sweden	Visiting Address Polacksbacken, bldg. 7 (room 7213) Uppsala Sweden

My CV is available in PostScript format. It was probably last updated on 11 April 1996.

My ph info is available.
You can finger me to see if I seem to be online. (Look at the idle time - blank means that I'm surely there - but remember that it is not always accurate.)

You can access my page of useful links.

Image Magic

My Ph.D. students

• Katrin Boberg Bevemyr
• Monika Danielsson
• Pierangelo Dell'Acqua
• Per Mildner
• Torbjörn Åhs

My former Ph.D. students

• Margus Veanes

My children on the web

• Ellin Barklund
• Felicia Barklund
• Julian Barklund

Projects

If there were enough time, this list would perhaps be complete...

• Metaprogramming in Logic
  • Design and implementation of Alloy, a metaprogramming language (with Katrin Boberg Bevemyr)
  • Multiple metareasoning agents (with Pierangelo Dell'Acqua)
• Intelligent Real-Time Systems
  • Autonomous Underwater Vehicle (joint project with Kockums Submarine Systems AB)
    • Route planning for an AUV (with Robert Nilsson)
    • Mission management for an AUV (with Kent Saxin Hammarström)
  • Detecting Change in Behaviour using Genetic Programming (with Per Jonsson, Master's thesis project)
  • Intelligent Air Traffic Control (with Monika Danielsson)
  • Real-time memory management for logic languages (Per Mildner)
• Cognition-based Interactive Problem Solving
  • Solving temporal and spatial constraints (with Niklas Kaltea)
• VESPER: a language that combines logic and functional programming and is suitable for massively parallel reduction (with J. Alan Robinson)
• Tabulation of Functions in Logic Programs (with Jonas Lagersson, Master's thesis project)

My courses

Funktionell programmering MN1, 5 p (Functional Programming)

Programmeringsmetodik DV1, 6/7 p (Methods of Programming)

Programvarukonstruktion 1, 10 p (Software Development 1, distanskurs)

Programvarukonstruktion 2, 10 p (Software Development 2, distanskurs)

VT 96

VT 95

Programmeringsmetodik 1, 5 p (Methods of Programming, sommarkurs)

ST 95

ST 94

Parallellprogrammering DV1, 5 p (Parallel Programming)

VT 96

Internet och programmering 1, 5 p (Internet and Programming, sommarkurs)

ST 96

Read about the special issue of the journal Computer Languages that I am co-editing with Antonio Brogi.

Här är logotypen för kompetenscentret ASTEC i diverse format! Det finns också ett exempel på hur ett visitkort skulle kunna se ut.

Jag har en sida med jobberbjudanden (fasta och tillfälliga) relevanta för datavetare: http://www.csd.uu.se/~jonas/Jobb/. Besök den och lägg ett bokmärke vid den!

Vill du veta mer om forskning vid Uppsala universitet?

Would you like to learn more about research at Uppsala University?

Här kan du komma åt verksamhetsberättelse 1994/95 och verksamhetsplan 1996/97 för avdelningen för datalogi vid institutionen för ADB och datalogi.

Information om examensarbeten i datalogi.

Information om Internet-operatörer.

Läs om möjligheten att läsa D-kurser vid Department of Computing, Imperial College, London.

My publications

Theses

1. Barklund, J., Parallel Unification. Ph.D. thesis. Uppsala Theses in Computing Science No. 9/90.
2. Barklund, J., Efficient Logic Data Structures. Ph.L. thesis. Uppsala Theses in Computing Science No. 6/88.

Publications in refereed journals

1. Veanes, M. and Barklund, J., On the Number of Edges in Cycletrees. Information Processing Letters 57(4): 225-229 (1996).
2. Veanes, M. and Barklund, J., Natural Cycletrees: Flexible Interconnection Graphs. Journal of Parallel and Distributed Computing 33(1):44-54 (1996).
3. Barklund, J., Bounded Quantifications for Iteration and Concurrency in Logic Programming. New Generation Computing 12:161-182 (1994).
4. Barklund, J. and Hamfelt, A., Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. Journal of Logic Programming 18:55-80 (1994).
5. Barklund, J. and Hamfelt, A., Formalizing Multiple Interpretations of Law as Metalogic Programs. Law, Computers and Artificial Intelligence 2:165-193 (1993).
6. Tanaka, J., Barklund, J., Ichiyoshi, N. and Kahn, K. Future Directions of Parallel Programming and Architecture. New Generation Computing 10:429-435 (1992).
7. Barklund, J., Hamfelt, A. and Wünsche, J., Building Modular Legal Knowledge Systems. Journal of Expert Systems with Applications 4:343-353 (1992).

Publications in books

1. Robinson, J. A. and Barklund, J., VESPER. In: Machine Intelligence 15 (eds. K. Furukawa, D. Michie and S. Muggleton), Oxford Univ. Press, to appear. (Also available as UPMAIL Technical Report No. 100.)
2. Barklund, J., Metaprogramming in Logic. In: Encyclopedia of Computer Science and Technology, Vol. 33 (eds. A. Kent and J. G. Williams), pp. 205--227, Marcel Dekker, New York, 1995. (Also available as UPMAIL Technical Report No. 80.)
3. Barklund, J., Boberg, K., Dell'Acqua, P. and Veanes, M., Metaprogramming with Theory Systems. In: Meta-logics and Logic Programming (eds. K. Apt and F. Turini), pp. 195-226, MIT Press, Cambridge, Mass., 1995. (Also available as UPMAIL Technical Report No. 106.)

Publications in refereed conference proceedings

1. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Semantical Properties of Encodings in Logic Programming. In: Logic Programming: Proc. 1995 Intl. Symp. (ed. J. W. Lloyd), MIT Press, Cambridge, Mass., 1995. (Also available as UPMAIL Technical Report No. 108.)
2. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., SLD-Resolution with Reflection. In: Logic Programming: Proc. 1994 Intl. Symp. (ed. M. Bruynooghe), MIT Press, Cambridge, Mass., 1994. (Also available as UPMAIL Technical Report No. 96.)
3. Barklund, J., Bohlin, G. and Mildner, P., A Real-Time Expert System for Process Supervision and its Application in Pulp Industry. In: 2nd IFAC Workshop on Computer Software Structures Integrating AI/KBS Systems in Process Control (ed. K.-E. Årzén), IFAC, 1994.
4. Kristensson, J., Bengtsson, G., Barklund, J. and Mildner, P., An Intelligent Alarm Handling Tool. In: 2nd IFAC Workshop on Computer Software Structures Integrating AI/KBS Systems in Process Control (ed. K.-E. Årzén), IFAC, 1994.
5. Barklund, J., Boberg, K. and Dell'Acqua, P., A Basis for a Multilevel Metalogic Programming Language. In: Proc. Intl. Workshop on Metaprogramming in Logic 1994 (ed. F. Turini), LNCS 883, Springer-Verlag, Berlin, 1994. (Also available as UPMAIL Technical Report No. 81.)
6. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Reflection through Constraint Satisfaction (poster abstract). In: Logic Programming: Proc. 11th Intl. Conf. (ed. P. Van Hentenryck), MIT Press, Cambridge, Mass., 1994.
7. Barklund, J. and Bevemyr, J., Executing Bounded Quantifications on Shared Memory Multiprocessors. In: Proc. Intl. Symp. on Programming Language Implementation and Logic Programming 1993 (ed. J. Penjam), LNCS 714, Springer-Verlag, Berlin, 1993.
8. Barklund, J. and Bevemyr, J., Prolog with Arrays and Bounded Quantifications. In: Proc. Fourth Intl. Conf. on Logic Programming and Automated Reasoning (ed. A. Voronkov), LNAI 698, Springer-Verlag, Berlin, 1993. (An extended version is available as UPMAIL Technical Report No. 77.)
9. Barklund, J. and Millroth, H., Providing Iteration and Concurrency in Logic Programs through Bounded Quantifications. In: Proc. Intl. Conf. on Fifth Generation Computer Systems 1992 (ed. H. Tanaka), Ohmsha, Tokyo, 1992. (Also available as UPMAIL Technical Report No. 71.)
10. Barklund, J., Hamfelt, A. and Wünsche, J., A Modular Architecture for Knowledge Systems. In: Computational Intelligence, III (eds. N. Cercone, F. Gardin and G. Valle), North-Holland, Amsterdam, 1991. (Also available as UPMAIL Technical Report No. 64.)
11. Danielsson, M. and Barklund, J., Persistent Data Storage for Prolog. In: Proc. Intl. Conf. on Database and Expert Systems Applications (eds. A. M. Tjoa and R. Wagner), Springer-Verlag, Vienna, 1990. (Also available as UPMAIL Technical Report No. 62.)
12. Barklund, J. and Hamfelt, A., Metaprogramming for Representation of Legal Principles. In: Proc. Second Workshop on Metaprogramming in Logic (ed. M. Bruynooghe), Katholieke Univ. Leuven, 1990. (Also available as UPMAIL Technical Report No. 61.)
13. Hamfelt, A. and Barklund, J., An Intelligent Interface to Legal Data Bases Combining Logic Programming and Hypertext. In: Proc. Intl. Conf. on Database and Expert Systems Applications (eds. A. M. Tjoa and R. Wagner), Springer-Verlag, Vienna, 1990. (Also available as UPMAIL Technical Report No. 60.)
14. Hamfelt, A. and Barklund, J., Metalevels in Legal Knowledge and their Runnable Representation in Logic. In: Pre-proc. Third Intl. Congress on Logica, Informatica, Diritto - Expert Systems in Law (ed. A. A. Martino), Istituto per la documentazione giuridica, Florence, 1989. (Also available as UPMAIL Technical Report No. 55.)
15. Barklund, J., Hagner, N. and Wafin, M., KL1 in Condition Graphs on a Connection Machine. In: Proc. Intl. Conf. on Fifth Generation Computer Systems 1988 (ed. H. Tanaka), Ohmsha, Tokyo, 1988. (Also available as UPMAIL Technical Report No. 51.)
16. Barklund, J., What is a Meta-variable in Prolog? In: Proc. Workshop on Metaprogramming in Logic Programming 1988 (ed. H. Abramson and M.H. Rogers), MIT Press, Cambridge, Mass., 1989. (Also available as UPMAIL Technical Report No. 50.)
17. Barklund, J., Hagner, N. and Wafin, M., Condition Graphs. In: Proc. Fifth Intl. Conf. and Symp. on Logic Programming (eds. R. A. Kowalski and K. A. Bowen), MIT Press, Cambridge, Mass., 1988. (Also available as UPMAIL Technical Report No. 48.)
18. Sekita, D., Barklund, J., Chikayama, T. and Kimura, Y., Extension of KL1 Syntax. In: Proc. 36th Conference of the Information Processing Society of Japan, 1988. (In Japanese.)
19. Barklund, J. and Millroth, H., Integrating Complex Data Structures in Prolog. In: Proc. 1987 Symp. on Logic Programming (ed. S. Haridi), IEEE Comp. Soc. Press, Washington, D.C., 1987. (Also available as UPMAIL Technical Report No. 42.)
20. Barklund, J. and Millroth, H., Hash Tables in Logic Programming. In: Proc. Fourth Intl. Conf. on Logic Programming (ed. J.-L. Lassez), MIT Press, Cambridge, Mass., 1987. (Also available as UPMAIL Technical Report No. 40.)
21. Barklund, J., Efficient Interpretation of Logic Programs. In: Proc. SIGPLAN '87 Symp. on Interpreters and Interpretive Techniques (ed. T. Turba), ACM Press, New York, 1987. (Also available as UPMAIL Technical Report No. 39.)
22. Barklund, J. and Millroth, H., Garbage Cut. In: Proc. 1986 Symp. on Logic Programming (ed. R. Keller), IEEE Comp. Soc. Press, Washington, D.C., 1986. (Also available as UPMAIL Technical Report No. 38.)