Personal Details Full Name Aditi Barthwal Address 24, Bernacchi Street, Mawson, ACT, 2607 Contact 0430 183 502 aditi_barthwal@yahoo.com Industry Experience Current Oracle Software Developer in Oracle Policy Automation R&D team Feb 2005-Aug 2006 Apr 2008-Jun 2008 Prometheus Information, Business Intelligence (BI) Solutions Developer Technical expert for Medicare (Canberra) and HCF (Sydney) Involved in data maintenance for DVA, AIHW & DoHA Development and maintenance of inhouse tools for data development and processing Development and maintenance of systems for deployment at client sites Providing technical support to clients Gathering specifications from clients Reviewing, revising & extending existing software Data evaluation and meta-data development System documentation for internal & client usage Work status, data acquisition & data approval documents Education & Qualifications 2006-Current PhD at The Australian National University Expected completion: December 2010 Topic: Formalisation of context-free languages in HOL4 Awarded APA & NICTA supplementary scholarship Advisor Dr Michael Norrish (michael.norrish@nicta.com.au)
2001-2004 BIT (Honours) at The Australian National University First Class honours Major in Software Development (High Distinction Average) Awarded Paul Thistlewaite Honours Scholarship Key Technical Skills Programming Languages HOL theorem prover, Perl, Python, Eiffel, C, C#, Java, Haskell, Moscow ML, PDDL, SML, Prolog, PHP, BCEL, XML, HTML, CSS, XSL, JavaScript, Socket Programming, Shell Scripting Operating Systems Versions of Linux, Unix, various versions of Windows Development Methodologies UML, Executable UML, ER diagrams, SDLC, MVC and Prototyping, Analysis & Design using structural, behavioural and translative approaches Data Modelling Tools Bridgepoint Automation Tools Databases SQL and RDBMS like Oracle, MySQL, PostgreSQL Version Control Aegis, RCS Quality Assurance Methodologies Unit, Integration and System testing Editors Emacs, VI, TeX, MS Office Suite Experience in data evaluation and metadata content developing. Experience of the personal software process (PSP). Skills Summary Interpersonal Skills Leadership Member of the organisational group of SIDECARS (Support, Inspiration, & Development for Early Career Academics and Research Students) Learning Community Involved in NICTA Education Outreach Program for schools and the Australian Science Festival Voluntary ANU Open Day participant Teamwork Working as a team in the Pinnacle program and the SIDECARS group. Collaborating over software development and deployment strategies with other team members while at Prometheus.
Communications Skills Oral Well-developed communication skills gained through tutoring a class of around 20 students, explaining computing concepts as a private tutor, various academic seminars (both international and at ANU), presentations to clients and as a panel member on teaching forums. Written International publications. System documentation for clients and inhouse tools. Honours thesis which resulted in a High Distinction grade and university assignments of Distinction and High Distinction average. Self Management Skills At Prometheus, I worked under minimal supervision both for providing technical support and meeting important deadlines. For both my summer scholarships and honours year, I have worked mostly independently. Demonstrated the ability to manage time and work efficiently by maintaining a consistent High Distinction average over the past years while holding various jobs, training for endurance events, researching and doing courses. Appointments Mar 2008 May 2008 Internship at National Institute of Informatics (NII), Tokyo, Japan Topic: Formalisation of Multiple Context Free Grammars (used for natural language parsing) Feb 2005 Aug 2006 Prometheus Information, BI Solutions Developer. 2003 - Current ANU, Department of Computer Science (DCS). Tutor various IT courses over the years such as Introduction to Programming, Formal Methods. Nov 2004 Jan 2005 ANU, Research School of Information Sciences & Engineering (RSISE), Summer research scholar. Topic: Implementation for Abstraction- Based Satisfiability Solving for Presburger Arithmetic in HOL. Aug Oct 2004 ANU, CSIRO, Casual employee. The job involved programming embedded systems for the purpose of teleoperation.
Mar 2004 ANU, BIT Honours student. Involved in a research project in partial fulfilment of BIT Honours. Topic: proof optimization in HOL. Mar May 2004 ANU, BIT Honours student. As part of course, COMP4300 (Parallel Systems), involved in developing an MPI environment. Feb 2004 ANU, Supercomputer Facility, Summer intern. Task was profiling of Linux cluster and supercomputer. Nov 2003 Feb 2004 ANU, RSISE, Summer research scholar. The project was Military operations planning using off the shelf AI software. Awards 2006-Current Australian Postgraduate Award (APA), NICT Australia Scholarship 2010 Pinnacle Teaching Scholarship 2010 Vice-chancellor s Grant 2008 Completion of Graduate Teaching Program (GTP) with Merit 2008 Vice-chancellor s Grant 2007 Certificate of Attainment, Communicating Science to Peers 2003-2004 Certificate of Attendance, The Logic & Automated Reasoning Summer School 2004 Paul Thistlewaite Honours Scholarship 2003 Member of Golden Key International Honour Society 2002-2003 Chancellor s Letters of Commendation Publications 2010 A Formalisation of the Normal Forms of Context-Free Grammars in HOL4, A. Barthwal, M. Norrish. To appear in Proceedings of CSL 2010 2010 Mechanisation of PDA and Grammar Equivalence for Context-Free Languages, A. Barthwal, M.Norrish. Proceedings of WoLLIC 2010, Brasilia 2009 Verified, Executable Parsing, A. Barthwal, M.Norrish. Proceedings of ESOP, York 2005 Optimizing Proof for Replay, M. Newey, A. Barthwal, M. Norrish. Oxford University Technical Report, Emerging Trends, TPHOLs 2005 2004 Optimization for Replay: A Case Study, A. Barthwal, Honours Thesis, 2004 Positions of Responsibility
2010 Guest lecturer, examiner and tutor for Introduction to Programming and Algorithms, a first year course 2009 Involved in designing the survey to report on the status and needs of Early Career Academics (ECAs) at The Australian National University. The survey was presented to the Vice-Chancellor, Professor Ian William Chubb. 2009 External Reviewer for OOPSLA conference Extracurricular Activities Competitive Badminton Division C/D Competitive Volleyball Recreational League Endurance Sports (Running, biking, swimming, rock climbing) Referees Dr. George Preston Co-founder Prometheus Information Pty. Limited Phone : +61 (0 2) 6267 8701 Email: george@prometheus.com.au Dr. Clem Baker-Finch Senior Lecturer The Australian National University Phone: +61 (0 2) 6125 4625 Email: clem.baker-finch@anu.edu.au