Leiden University LIACS
home   search   contact
Research
Opleiding Informatica
  Info voor scholieren
  Info voor studenten en werknemers
Roosters
Vakken
Agenda
Opleidingscommissie
Studieadviseurs
Studiegids / Documenten
Regelingen & Bepalingen
Wegwijzer
  Het studietraject
  Master Computer Science
  Master ICT in Business
  Master Mediatechnology
International Students
People
Old website



Studentenseminarium 2009 - 2010
Marcello Bonsangue and Hristo Nikolov




The goal of this seminarium is to prepare students for research by means of reading, abstracting, and presenting scientific literature in the context of existing courses.

Students are given suitable research papers linking a second year course with the scientific area related to the course. Students should work in a small group on one paper per semester: one foundational (F) and one related to more application oriented research (A). They have to read and understand the papers assigned to them. At the end of the semester they should be able to present the paper to their peers in a student symposium.

Attending the seminar meetings and active participation is mandatory for all second year Computer Science students.
Students who are enrolled also for a Bachelor in Mathematics, Physics, Astronomy or yet another study are advised to consult the study advisor for Computer Science (Dr. J. de Graaf) on this matter.

Students will be evaluated on the basis both of their approach to reading and understanding the scientific papers assigned to them and of their presentation at the students' symposium at the end of each semester. These symposia are scheduled for Tuesday December 1st, 2009 in room 174 and Tuesday May 11th, 2010, in room 174 both from 10:00 to 16:30.

Introduction to the seminar and assignment of scientific papers to students will take place in room 405 on Friday September 11, from 13:45 to 15:30 (fall semester) and in room 412 on Monday February 15, from 13:45 to 15:30 (spring semester).
Participating students should attend these meetings! At these meetings the groups will be formed and they can express their preference for certain subjects (recall each student should read and present one F and one A paper, one paper per semester). The groups in the spring semester should be different from those in the fall.

The teachers from the second year have supplied us with papers:
For the fall semester:
Datastructuren (F);
Concepten van Programmeertalen (F);
Fundamentele Informatica 2 (F);
Software Engineering (A);
Computer Architectuur (A).

For the spring semester:
Complexiteit (F);
Programmeren en Correctheid (F);
Kunstmatige Intelligentie (A);
Requirements Engineering (A);
Operating Systemen (A).

Intended Group:  2nd year Computer Science.
Prerequisites:  Students should be actively participating in the second year courses.
Studypoints:  2 ECTS
Literature:  Choice of selected papers that will be distributed at the beginning of each semester.
Lecturers:  Marcello Bonsangue | E-Mail
Phone: +31 (0)71 – 5277095 | Office: 155a

and

Hristo Nikolov | E-Mail
Phone: +31 (0)71 – 5275775 | Office: 122
Remark:  Participation is mandatory.
The presentations must be given in English
Participants fall 2009: 
Student 1 Student 2 Course Paper
J. Neuteboom R. de Graaf   Coordinators
L. vd Meer E. Haas CA [PD80] + [CS80]
B. vd Burgh A. Stuivenberg CA [RG05]
M. Wimmers A. Milburn CvP [BSAR06]
M. Smeyers B. v. Stein CvP [CCA07]
M. Kortsmit W. Zomervrucht DS [CW76]
J. de Ruiter P. Stout DS [KLP75]
B. Hijmans I. Hupkens FI2 [ORT09]
E. Massop T. Bakker FI2 [INY04]
N. v. Veen P. v. Hekke SEng [DC06]
Participants Spring 2010: 
Student 1 Student 2 Course Paper
B. vd Burgh A. Stuivenberg   Coordinators
M. Wimmers F. v. Rijn KI [HUR01]
J. de Ruiter P. Stout KI [Bro91]
M. Smeyers I. Hupkens RE [PBO07]
B. v. Stein B. Hijmans RE [SB06]
N. v. Veen P. v. Hekke PenC [AB+04]
J. Neuteboom R. de Graaf PenC [Hol97]
M. Kortsmit   OS [DBMZ08]
A. Milburn   OS [CS08]
T. Brouwer T. Bakker Comp [PPP99]
W. Zomervrucht E. Massop Comp [Epp00]
Bibliography:  [PD80] D. Patterson, D. Ditzel The Case for The Reduced Instruction Set Computer, 1980.

[CS80] D. Clark, W. Strecker Comments on "The Case for The Reduced Instruction Set Computer", 1980.

[RG05] M. Rosenblum, T. Garfinkel Virtual Machine Monitors: Current Technology and Future Trends, 2005.

[BSAR06] C. Baier, M. Sirjani, F. Arbab, J. Rutten Modeling Component Connectors in Reo by Constraint Automata, 2005.

[CCA07] D. Clarke, D. Costa, F. Arbab Connector colouring I: Synchronisation and context dependency, 2007.

[CW76] J. L. Carter, M. N. Wegman Universal Classes of Hash Functions , 1976.

[KLP75] H. T. Kung, F. Luccio, F. P. Preparata On Finding the Maxima of a Set of Vectors, 1975.

[ORT09] S. Owens, J. Reppy, A. Turon Regular-expression derivatives re-examined, 2009.

[INY04] L. Ilie, G. Navarro, S. Yu On NFA reductions, 2004.

[DC06] D. Damian, J. Chisan An Empirical Study of the Complex Relationships between Requirements Engineering Processes and Other Processes that Lead to Payoffs in Productivity, Quality, and Risk Management, 2006.

[HUR01] H. Jaap van den Herik, Jos W.H.M. Uiterwijk, Jack van Rijswijck Games solved: Now and in the future, 2001.

[Bro91] R.A. Brooks Intelligence without representation, 1991.

[PBO07] R.F. Paige, P.J. Brooke, and J.S. Ostroff Metamodel-Based Model Conformance and Multiview Consistency Checking, 2007

[SB06] C. Snook and M. Butler UML-B: Formal Modeling and Design Aided by UML, 2006 .

[AB+0407] W.Ahrendt, T. Baar et al. The KeY Tool, 2004.

[Hol97] G.J. Holzmann The Model Checker SPIN, 1997 .

[DBMZ08] J. Devietti, C. Blundell, M.M.K. Martin, and S. Zdancewic HardBound: Architectural Support for Spatial Safety of the C Programming Language, 2008.

[CS08] E. Casey, and G.J. Stellatos The Impact of Full Disk Encryption on Digital Forensics, 2008.

[PPP99] L. Parida, R. Parikh, and V. Pratt Sock Sorting, 1999.

[Epp00] D. Eppstein On the NP-Completeness of Cryptarithms, 2000.

Previous seminars:  2 December 2008 12 May 2009
  1 December 2009

previous page go to top
Last edited by: Marcello Bonsangue