I defended my Ph.D. thesis, Type Safety of C# and .NET CLR, on December 19, 2006, at ETH Zurich. It was accepted on the recommendation of Prof. Dr. Thomas Gross (examiner) and Prof. Dr. Robert Stärk (co-examiner). I was awarded the ETH Medal for outstanding Ph.D. thesis.
In June 1999, I graduated Faculty of Mathematics - specialization Applied Mathematics, University of Bucharest, Romania. The theme of the Bachelor's thesis is The Multi-criteria Linear Programming. In the summer of 1998, I have been selected for an ERASMUS scholarship for the academic year 1998-1999 at Technical University Munich.
In February 2001, I received the Master's Degree in Applied Statistics and Operations Research at Faculty of Mathematics, University of Bucharest, Romania. The title of my master thesis is Scalarization of Vector Optimization Problems.
[1] Towards Proving Type Safety of .NET CIL [2008] by N. G. Fruja. In Science of Computer Programming, to appear.
[2] Invited guest annotator for the book C# Annotated Standard [2007]
by Jon Jagger, Nigel Perry, and Peter Sestoft.
Elsevier/Morgan Kaufmann, ISBN 0123725119, 2007.
[ Website | Sample Chapter ]
[3] Type Safety of C# and .NET CLR [2006] by N. G. Fruja. Ph.D. Thesis (ETH Dissertation no. 17003) [ Website | pdf | ps ]
[4] Modeling the .NET CLR Exception Handling Mechanism for a
Mathematical Analysis [2005] by N. G. Fruja and
E. Börger. In Journal of
Object Technology, vol. 5, no. 3, 2006. [ BibTeX ]
[5] Type Safety of Generics for the .NET Common Language Runtime
[2005] by N. G. Fruja. European Symposium on
Programming, ESOP'06, Vienna, Austria. Springer-Verlag,
Lecture Notes in Computer Science 3924, 2006. [ pdf | BibTeX ]
[7] A Modular Design of the Common Language Runtime (CLR)
Architecture [2005] [Short
Version] by N. G. Fruja. 12th International
Workshop on Abstract State Machines, ASM 2005, Paris, France,
2005. [ pdf | ps | BibTeX ]
[8] An Executable Specification of C# [2005] by H. V. Jula
and N. G. Fruja. 12th International Workshop on Abstract State
Machines, ASM 2005, Paris, France, 2005. [ pdf | BibTeX ]
[9] The Correctness of the Definite Assignment Analysis in C#
[2004] [Extended Version] by
N. G. Fruja. In Journal
of Object Technology, vol. 3, no. 9, 2004. [ BibTeX ]
[11] Specification and Implementation Problems for C#
[2003] by N. G. Fruja. 11th International Workshop on
Abstract State Machines - Advances in Theory and Applications, ASM
2004, Halle, Germany. Springer, Lecture Notes in Computer Science
3052, 2004. [ pdf | ps |
Springer
| BibTeX ]
Appendix [ pdf | ps ]
[12] A High-Level Modular Definition of the Semantics of C#
[2003] by E. Börger, N. G. Fruja, V. Gervasi, and
R. F. Stärk. In Journal Theoretical
Computer Science, vol. 336, issues 2-3, 2005. [ pdf | BibTeX ]
[13] The Hidden Computation Steps of Turbo Abstract State Machines
[2002] by N. G. Fruja and R. F. Stärk. 10th
International Workshop on Abstract State Machines - Advances in Theory
and Applications, ASM 2003, Taormina, Italy. Springer-Verlag,
Lecture Notes in Computer Science 2589, 2003. [ pdf | ps | Springer | BibTeX ]
I was awarded the ETH Medal for outstanding Ph.D. thesis.