Ligia Nistor


I am a fourth year PhD student at Carnegie Mellon University, Computer Science Department.
I am interested in formal methods, verification, programming languages, type systems.
My email address is: lnistor at cs.cmu.edu .

My CV is here.
My office is GHC6503. You can reach me at (412) 268-2039 (office phone).

Misc

During summer 2012 I interned with Duolingo.

I was part of the team (Team UBA) that won second place at the Social Innovation Solutions Challenge 2012 , on Jan 31 2012. Our team designed an innovative health care product for inner-city Americans.

Research

I obtained my MSc in Computer Science from Oxford University in 2009.
My final thesis was titled Model-Checking Higher-Order Recursion Schemes , under the supervision of Prof. Luke Ong. You can read my thesis here.

My PhD advisor is Prof. Jonathan Aldrich.

My thesis proposal [PDF]

Publications

Object propositions soundness proof [PDF]

Composite pattern proof [PDF]

Ligia Nistor and Jonathan Aldrich, Verifying Object-Oriented Code Using Object Propositions, International Workshop on Aliasing, Confinement and Ownership, 2011. [PDF]

Sarah M. Loos, Andre Platzer, and Ligia Nistor, Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified, 17th International Symposium on Formal Methods, 2011. [PDF]

Tanu Malik, Ligia Nistor, and Ashish Gehani, Tracking and Sketching Distributed Data Provenance, 6th IEEE International Conference on e-Science, 2010. [PDF]

Teaching

During Fall 2011 I was a TA for 15150 Functional Programming.
During Fall 2012 I was a TA for 15210 Parallel & Sequential Data Structures and Algorithms.

Courses

These are the courses that I took at Oxford University:
1.Lambda Calculus and Types
2.Automata, Logic and Games
3.Computer Aided Formal Verification
4.Software Verification
5.Probabilistic Model Checking

These are the courses that I took at Carnegie Mellon University:
1. Machine Learning (Fall 2009)
2. Type Systems for Programming Languages (Fall 2009)
3. Data, Code, Decisions (Fall 2009)
4.Graduate Algorithms (Spring 2010)
5.Advanced OS and Distributed Systems (Spring 2010)
6.Randomized Algorithms (Spring 2011)
7.V Unit (completed December 2011) [Final Report]
8. Computer Architecture (Fall 2011)

Personal

I have a blog http://nistorligia.blogspot.com/.