People

 

Faculty: Schutz-Schmuck, Marko

Education:
Ph.D., 2001, J.W. Goethe University, Frankfurt

Research Interests:


Teaching Interests:


Articles:
Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko Safety of Nöcker s strictness analysis. J. Funct. Programming 18 (2008), no. 4, 503–551, 68N20 (68N18)

Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko Deciding inclusion of set constants over infinite non-strict data structures. Theor. Inform. Appl. 41 (2007), no. 2, 225–241, 68N18 (03B40 68Q45)

Schmidt-Schauß, Manfred; Panitz, Sven Eric; Schütz, Marko Strictness analysis by abstract reduction using a tableau calculus. Static analysis (Glasgow, 1995), 348–365, Lecture Notes in Comput. Sci., 983, Springer, Berlin, 1995, 68N20 (68N15)

Webpage: http://math.uprm.edu/academic/people.php

Email: marko.schutz@upr.edu

Office: CH508D

Phone: 6341

Position: Professor

 

Go Back