Curriculum Vitae. Sergiy Bogomolov. October 6, 2015
|
|
|
- Leonard Walker
- 10 years ago
- Views:
Transcription
1 Curriculum Vitae Sergiy Bogomolov October 6, 1 Contact Information Henzinger Group Institute of Science and Technology Austria Am Campus Klosterneuburg Austria Phone: +43 (0) [email protected] Web: 2 Research Interests Cyber-physical systems, embedded systems, automated system verification, formal methods, reliable software, model-based software development, bug finding 3 Education Ph.D. in Computer Science University of Freiburg, Germany, Thesis: Abstraction-based Analysis of Hybrid Automata (with distinction) Advisor: Prof. Dr. Andreas Podelski M.Sc. in Applied Computer Science University of Freiburg, Germany, 2009 B.Sc. in Applied Mathematics V. Karazin Kharkiv National University, Ukraine, Honors Scholarship of the DAAD (German Academic Exchange Service),
2 Scholarship of the President of Ukraine, First place in All-Ukrainian Collegiate Programming Olympiad, Professional Employment January Present: Postdoctoral Researcher Group of Prof. Dr. Thomas A. Henzinger Design and Analysis of Concurrent and Embedded Systems Institute of Science and Technology Austria, Austria October 2009 December 2014: Research and Teaching Assistant Chair of Software Engineering University of Freiburg, Germany October 2012 January 2013: Intern System Analysis and Verification Group NEC Laboratories America, Princeton, NJ, USA March 2012 April 2012: Visiting Researcher Timed and Hybrid Systems Group Verimag, Grenoble, France 6 Publications Peer-Reviewed Conference Publications 1. Abstraction-based Parameter Synthesis for Multiaffine Systems. Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Gregory Batt, Hui Kong and Radu Grosu. Accepted to 11th International Haifa Verification Conference (HVC), Haifa, Israel, November 2. XSpeed: Accelerating Reachability Analysis on MultiCore Processors. Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov and Radu Grosu. Accepted to 11th International Haifa Verification Conference (HVC), Haifa, Israel, November 3. Adaptive moment closure for parameter inference of biochemical reaction networks. Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling. In 13th Conference on Computational Methods for Systems Biology (CMSB), Nantes, France, September 4. Runtime Verification of Model-based Development Environments. Luan Nguen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson. In 15th International Conference on Runtime Verification (RV), September, Vienna, Austria 2
3 5. Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikučionis, Andreas Podelski, Thomas Strump and Stavros Tripakis. In 11th International Modelica Conference (MODELICA), Paris, France, September 6. PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle. In 25th International Conference on Automated Planning and Scheduling (ICAPS), Jerusalem, Israel, June 7. Eliminating Spurious Transitions in Reachability with Support Functions. Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump and Andreas Podelski. In 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA, April 8. HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models. Sergiy Bogomolov, Stanley Bak and Taylor T. Johnson. In 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA, April 9. Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina Pasareanu, Andreas Podelski and Thomas Strump. In 10th Haifa Verification Conference (HVC), Haifa, Israel, November 2014, Best Paper Award 10. Planning as Model Checking in Hybrid Domains. Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski and Martin Wehrle. In 28th AAAI Conference on Artificial Intelligence (AAAI), Québec City, Canada, July Quasi-Dependent Variables in Hybrid Automata. Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal and Andreas Podelski. In 17th International Conference on Hybrid Systems: Computation and Control (HSCC), Berlin, Germany, April Pattern Databases for Hybrid Systems. Sergiy Bogomolov, Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski and Martin Wehrle. In 20th International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA, July A Box-based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski and Martin Wehrle in 24th International Conference on Computer Aided Verification (CAV), Berkeley, CA, USA, July
4 14. Shape-based barrier estimation for RNAs. Sergiy Bogomolov, Martin Mann, Björn Voß, Andreas Podelski and Rolf Backofen. In 25th German Conference on Bioinformatics (GCB), Braunschweig, Germany, September Composing Reachability Analyses for Stability Analysis of Hybrid Systems. Sergiy Bogomolov, Corina Mitrohin and Andreas Podelski. In 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Singapore, September 2010 Peer-Reviewed Journal Publications 16. Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions. Sergiy Bogomolov, Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski and Martin Wehrle. Invited journal article, International Journal on Software Tools for Technology Transfer (STTT), Peer-Reviewed Workshop Publications 17. Benchmark Generator for Stratified Controllers of Tank Networks. Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson. Accepted to 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) collocated with CPSWeek, Seattle, USA, April 7 Tool Development 1. SpaceEx Bug Finder. Tool based on the SpaceEx library. Finds bug in designs of cyber physical systems. Uses AI planning techniques. Web: Development: 2012 ongoing 2. SpaceEx AGAR. Tool based on SpaceEx library. Derives quality assurance guarantees for designs of cyber physical systems. Uses new technique of Assume Guarantee Abstraction Refinement. Web: Development: 2013 ongoing 3. HyST. Tool provides an automatic translation of SpaceEx models to Flow*, dreach and HyCreate, which enables efficient model analysis by different tools. Web: Development: 2014 ongoing 4
5 8 Teaching Experience University of Freiburg, Germany: Lecture Course: Software Engineering, Teaching Assistant, Summer Term 2014 Seminar: Design and Analysis of Cyber-Physical Systems, Winter Term 2013/14 Seminar: Cyber-Physical Systems - Hybrid Models, Summer Term 2013 Lecture Course: Hybrid Systems, Teaching Assistant, Summer Term 2013 Seminar: Cyber-Physical Systems, Summer Term 2011 Lecture Course: Model Checking, Teaching Assistant, Summer Term 2011 Seminar: Design and Analysis of Embedded Systems, Winter Term 2010/11 Lecture Course: Theoretical Computer Science II, Teaching Assistant, Winter Term 2010/11 Lecture Course: Informatik III - Theoretische Informatik, Teaching Assistant, Winter Term 2010/11 Seminar: Abstraction Techniques for Hybrid Systems, Summer Term 2010 Seminar: Design and Analysis of Cyber-Physical Systems, Winter Term 2009/2010 Lecture Course: Model Checking, Teaching Assistant, Summer Term 2009 Supervision of Master/Bachelor theses: Christopher Dillo, Modular Abstract Interpretation for Ultimate. Bachelor s thesis (2014) Thomas Stump, Analysis Framework for Heterogeneous Dynamic Systems, Master s thesis () Alexander Heinz, Extending Non-linear Decision Procedures to Automata Networks, Bachelor s thesis () Multiple student team projects (2011-) 5
6 9 Professional Activities Program Chair/Organizer Registration Chair, Cyber-Physical Week 2016, Vienna, Austria, April 2016 Program Chair and Organizer (jointly with Ashish Tiwari), Workshop Symbolic and Numerical Methods for Reachability Analysis (SNR) collocated with CAV, July, San Francisco, USA, July Program Chair and Organizer (jointly with Daniele Magazzeni and Martin Wehrle), Workshop Model Checking and Automated Planning (MOCHAP) collocated with ICAPS, Jerusalem, Israel, June Program Chair and Organizer (jointly with Matthieu Martel), 8th International Workshop on Numerical Software Verification (NSV) collocated with CPSWeek, Seattle, USA, April Experiment and Evaluation Chair (jointly with Taylor T. Johnson), 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) collocated with CPSWeek, Seattle, USA, April Program Committee Member Thirteenth AAAI Conference on Artificial Intelligence (AAAI) 2016, Student Abstract and Poster track, Phoenix, Arizona, USA, February 2016 Fourth International Workshop on Hybrid Systems Biology (HSB) collocated with Madrid Meet, Madrid, Spain, September Artefact Evaluation for the 27th International Conference on Computer Aided Verification (CAV), San Francisco, USA, July Repeatability Evaluation for the 17th International Conference on Hybrid Systems Computation and Control (HSCC) 2014, Berlin, Germany, April 2014 Refereed for ACM Computing Reviews, Theoretical Computer Science (TCS), ACM Transactions on Software Engineering and Methodology (TOSEM), International Conference on Computer Aided Verification (CAV),
7 International Conference on Hybrid Systems: Computation and Control (HSCC), International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), International Conference on Quantitative Evaluation of Systems (QEST), International SPIN Symposium on Model Checking of Software (SPIN), 2013 International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), International Workshop on Interactions between Computer Science and Biology (CS2Bio), 2013 NASA Formal Methods Symposium (NFM), 2013 International Workshop on Reachability Problems (RP), 2013 International Workshop-Conference on Tools & Methods of Program Analysis (TMPA), Professional Memberships IEEE CSS Technical Committee on Hybrid Systems Association for Computing Machinery (ACM SIGBED, SIGLOG) 11 References Prof. Dr. Thomas A. Henzinger Prof. Dr. Andreas Podelski IST Austria University of Freiburg Am Campus 1 Georges-Köhler Allee Klosterneuburg, Austria Freiburg, Germany [email protected] [email protected] Prof. Dr. Radu Grosu Prof. Dr. Goran Frehse Vienna University of Technology Universite Joseph Fourier Treitlstrasse 3 Grenoble 1 - Verimag 1040 Vienna, Austria Centre Equation - 2, ave de Vignate [email protected] Gieres, France [email protected] 7
Curriculum Vitae of Alexandre Donzé
Curriculum Vitae of Alexandre Donzé Position : Research Scientist at the University of California, Berkeley, EECS department Personnal Information Born : 10th of October, 1979 at Vesoul (France) Citizenship
Ulrik M. Nyman - Curriculum Vitæ
Ulrik M. Nyman - Curriculum Vitæ Personal Information Ulrik Mathias Nyman Phone: 40 89 21 56 Doravej 45 st. th. Email: [email protected] 9000 Aalborg Born: 2nd of December 1978 Married to Tina, Father of
B.Sc. in Computer Engineering, School of Electrical and Computer Engineering,
Narges Khakpour Postdoctoral Researcher Theoretical Computer Science School of Computer Science and Communication Royal Institute of Technology (KTH) Stockholm E-mail: [email protected] Leiden Institute
Gutenberg University of Mainz: Mainz, Germany. 2004-present Professor of Banking
Prof. Dr. Dietmar Leisen Gutenberg University of Mainz, Faculty of Law and Economics, 55099 Mainz, Germany; Phone: ++49-6131-392-5542; Fax: ++49-6131-392-3782; Email: [email protected] Faculty Appointments
2009 2011 MSc Economics at Institute of Advanced Studies (IHS) and Vienna University of Technology (TU)
CURRICULUM VITAE Thomas Jungbauer CURRENT AFFILIATION: PhD candidate of Managerial Economics & Strategy (MECS) Department of Managerial Economics & Decision Sciences (MEDS) and Department of Management
Richard Joseph Waddington Curriculum Vitae
Richard Joseph Waddington Curriculum Vitae 1015 Flanner Hall (574) 631-3166 Notre Dame, IN 46556 [email protected] EDUCATION Ph.D. Educational Studies, 2012 University of Michigan, Ann Arbor, MI Quantitative
RESUME. Amir TOMER. July 24, 2004. Israeli ID #: 0-5183237-6 Born 22 May, 1953, Nahariya, Israel Married with two children.
RESUME July 24, 2004 Israeli ID #: 0-5183237-6 Born 22 May, 1953, Nahariya, Israel Married with two children. Amir TOMER Academic Degrees 1979 B.Sc. (cum laude) Computer Science, Technion Israel Institute
Victoria Kostina Curriculum Vitae - September 6, 2015 Page 1 of 5. Victoria Kostina
Victoria Kostina Curriculum Vitae - September 6, 2015 Page 1 of 5 Victoria Kostina Department of Electrical Engineering www.caltech.edu/~vkostina California Institute of Technology, CA 91125 [email protected]
Bachelor Degree in Informatics Engineering Master courses
Bachelor Degree in Informatics Engineering Master courses Donostia School of Informatics The University of the Basque Country, UPV/EHU For more information: Universidad del País Vasco / Euskal Herriko
Swiss Joint Master in Computer Science of the universities of Bern, Neuchâtel and Fribourg
Swiss Joint Master in Computer Science of the universities of Bern, Neuchâtel and Fribourg 1 The MSc program in computer science Worldwide, computer scientists are in high demand. To cater for this demand,
Associate Dean since Sept. 2014 Master Program Strategic Management. Assistant Professor since Jun. 2014
Department of Strategic Management, Marketing and Tourism 6020 Innsbruck Austria, Europe Phone: +43(0)512 507 7211 Mobile: +43 (0)660 65 89 901 E-Mail: [email protected] Last Update: February 2015
R. Joseph Waddington Curriculum Vitae
R. Joseph Waddington Curriculum Vitae 131 Taylor Education Building Office: (859) 257-8666 579 S. Upper St. Fax: (859) 257-4243 Lexington, KY 40506-0001 E-mail: [email protected] ACADEMIC POSITIONS
Sharareh Noorbaloochi Department of Psychology New York University 6 Washington Place, 559, New York, NY 10003 noorbaloochi@nyu.
Sharareh Noorbaloochi Department of Psychology New York University 6 Washington Place, 559, New York, NY 10003 [email protected] (650) 919-3485 EDUCATION AND EMPLOYMENT Postdoctoral Associate, Department
MSc Programme Intelligent Adaptive Systems (IAS)
Faculty of Mathematics, Informatics and Natural Sciences Department of Informatics UHH Fachbereich Informatik Vogt-Koelln-Str. 30 D-22527 Hamburg MSc Programme Intelligent Adaptive Systems (IAS) Web: http://www.master-intelligent-adaptive-systems.com/
Curriculum Vitae Michael M. Zavlanos
Curriculum Vitae Michael M. Zavlanos Home Address Work Address 2114 Pine Street 3330 Walnut Street Apartment 1 Front GRASP Laboratory, Levine Hall 465 Philadelphia, PA 19103 Dept. of Electrical and Systems
Best Paper Award, Hawaii International Conference on System Sciences, HICSS-36 (2003)
Curriculum Vitae EDUCATION Monica N. Nicolescu Assistant Professor Department of Computer Science University of Nevada, Reno [email protected] http://www.cs.unr.edu/ monica June 1998 - May 2003: University
CURRICULUM VITAE. August 2008 now: Lecturer in Analysis at the University of Birmingham.
CURRICULUM VITAE Name: Olga Maleva Work address: School of Mathematics, Watson Building, University of Birmingham, Edgbaston, Birmingham, B15 2TT, UK Telephone: +44(0)121 414 6584 Fax: +44(0)121 414 3389
Curriculum Vitae. Jens Chr. Godskesen. IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.
Curriculum Vitae Jens Chr. Godskesen Date of Birth May 25, 1963 Position Address www Positions Head of Department IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.dk/~jcg
[email protected] Department für Kognitionsbiologie, Universität Wien, Althanstrasse 14, A-1091 Wien Tel: (43) 676 9308094
CURRICULUM VITAE: FRIEDERIKE RANGE PERSONAL INFORMATIONS Name: Place and date of birth: Nationality: E-mail: Office: Range, Friederike 12.10.1971, Germany German [email protected] Department
SURENDRA SARNIKAR. 820 N Washington Ave, EH7 Email: [email protected] Madison, SD 57042 Phone: 605-256-7341
SURENDRA SARNIKAR 820 N Washington Ave, EH7 Email: [email protected] Madison, SD 57042 Phone: 605-256-7341 EDUCATION PhD in Management Information Systems May 2007 University of Arizona, Tucson, AZ MS in
Ph.D., Particle Physics Theory Thesis title: FCNC Processes of B and K Mesons from Lattice QCD University of Edinburgh October 1995 July1999
Curriculum Vitae Date of Birth: 8 th April 1971 Nationality: Place of Birth: Work Address: Taiwanese Taipei City Institute for Physics National Chiao-Tung University Hsinchu 300 Taiwan Work Telephone:
CURRICULUM VITAE. Igor V. Maslov. 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304. Web: http://www.columbia.edu/~ivm3/
CURRICULUM VITAE 1 Igor V. Maslov Contact information 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304 Tokyo 151-0073 E-mail: [email protected] Japan Web: http://www.columbia.edu/~ivm3/ Education
Robert Christian Schmidt
Curriculum Vitae Robert Christian Schmidt Contact information School of Business and Economics Phone: +49 30 2093 5943 Humboldt-Universität zu Berlin Fax: +49 30 2093 5787 Spandauer Str. 1 10178 Berlin
PEDRO SEQUEIRA CURRICULUM VITAE
PEDRO SEQUEIRA CURRICULUM VITAE IST Taguspark - Av. Prof. Cavaco Silva, 2.N.9-15 2744-016 Porto Salvo, Portugal +351 214 233 508 [email protected] id.pt SUMMARY I am a post- doctoral associate
Robert Christian Schmidt
Curriculum Vitae Robert Christian Schmidt Contact information School of Business and Economics Phone: +49 30 2093 5943 Humboldt-Universität zu Berlin Fax: +49 30 2093 5787 Spandauer Str. 1 10178 Berlin
2008 2010 NSERC Alexander Graham Bell Canada Graduate Scholarship, Funding from the Canadian federal government to support graduate studies.
Nikolai Matni, MC 305-16 (626) 787-5914 [email protected] http://www.cds.caltech.edu/ nmatni Education 2010 2015 Ph.D. in Control and Dynamical Systems,, Pasadena, CA. Thesis: Distributed Optimal Control
Mahesh Srinivasan. Assistant Professor of Psychology and Cognitive Science University of California, Berkeley
Department of Psychology University of California, Berkeley Tolman Hall, Rm. 3315 Berkeley, CA 94720 Phone: (650) 823-9488; Email: [email protected] http://ladlab.ucsd.edu/srinivasan.html Education
Implementing Structured Doctoral Programmes at Faculty-Level: Benefits, Challenges, Perspectives
EUA Workshop, London, 11-12 November 2005 Implementing Structured Doctoral Programmes at Faculty-Level: Benefits, Challenges, Perspectives Thomas Koch, Scientific Coordinator Graduate School of Chemistry
Prof. Dr. D. W. Cunningham, Berliner Strasse 35A, 03046 Cottbus, Germany
Curriculum Vitae Prof. Dr. Douglas William Cunningham Work Address: Brandenburg Technical University Cottbus Graphical Systems Department Konrad-Wachsmann-Allee 1 D-03046 Cottbus, Tel: (+49) 355-693816
CURRICULUM VITÆ. Education. Latest update : August 2015. Sanjay Ramassamy Graduate student at Brown University.
CURRICULUM VITÆ Latest update : August 2015 Sanjay Ramassamy Graduate student at Brown University. Address : Sanjay Ramassamy Box 1917 151 Thayer Street Providence, RI 02912 USA Webpage : http://www.normalesup.org/~ramassamy/
Rashad Moarref 1/5. Rashad Moarref. Postdoctoral Scholar in Aerospace Graduate Aerospace Laboratories Phone: (626) 395 4459
Rashad Moarref 1/5 Rashad Moarref Postdoctoral Scholar in Aerospace Graduate Aerospace Laboratories Phone: (626) 395 4459 California Institute of Technology E-mail: [email protected] 1200 E California
SRABANA GUPTA. B.Sc. in Economics (With First Class Honors), 1986 St. Xavier's College, Calcutta University, Calcutta, India.
SRABANA GUPTA OFFICE ADDRESS: PERMANENT ADDRESS: School of Business 4401King Palm Drive St. Thomas University Fort Lauderdale, FL-33319 16401 NW 37 th Avenue Phone: (954)-495-4401 Miami Gardens, FL-33054
CURRICULUM VITAE. Dr. Maya Kaner, Senior Lecturer August, 2011
CURRICULUM VITAE Dr. Maya Kaner, Senior Lecturer August, 2011 Place of birth: Dushanbe, USSR Immigrated to Israel: January, 21, 1991 EDUCATION Ph.D. 2004, Industrial Engineering. Faculty of Industrial
Embedded Systems at the CSC School
Embedded Systems at the CSC School Prof. Mads Dam Theoretical Computer Science School of Computer Science and Communication [email protected], tel.08-790 6229 CSC Departments CB Computational Biology CVAP Computer
Curriculum Vitae. London School of Economic and Political Science Phone: +44 (0)20 7955 7644 Department of Statistics Fax: +44 (0)20 7955 7416
UMUT ÇETİN Curriculum Vitae London School of Economic and Political Science Phone: +44 (0)20 7955 7644 Department of Statistics Fax: +44 (0)20 7955 7416 Columbia House e-mail: [email protected] Houghton
EXPLORE BIO SIMULATION. COMPUTATIONAL LIFE SCIENCE (MSc) GRADUATE PROGRAM
EXPLORE BIO SIMULATION COMPUTATIONAL LIFE SCIENCE (MSc) GRADUATE PROGRAM THE PROGRAM COMPUTATIONAL LIFE SCIENCE (COMPLIFE) Over the last decades, biomedical research has become increasingly interdisciplinary
Christopher J. Arellano, Ph.D. Curriculum Vitae
Christopher J. Arellano, Ph.D. Curriculum Vitae 1. Name and Position Christopher John Arellano NIH Post-doctoral Fellow Advisor: Thomas J. Roberts, Ph.D. Ecology and Evolutionary Biology Department Brown
Agreement on. Dual Degree Master Program in Computer Science KAIST. Technische Universität Berlin
Agreement on Dual Degree Master Program in Computer Science between KAIST Department of Computer Science and Technische Universität Berlin Fakultät für Elektrotechnik und Informatik (Fakultät IV) 1 1 Subject
Sofia Ceppi. Personal Information 2. Association Memberships 2. Education 2. Academic Positions and Affiliations 3
CURRICULUM VITAE ET STUDIORUM Sofia Ceppi INDICE Personal Information 2 Association Memberships 2 Education 2 Academic Positions and Affiliations 3 Teaching Activities 3 Teaching Assistantships.........................................
Curriculum Vitae. 1 Person Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German
Curriculum Vitae 1 Person Name Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German 2 Education 1974 Dipl.-Inf. Degree from the University
Kyndra V. Middleton, Ph.D. 2441 4 th St. NW Washington, DC 20059 (202) 806-5342 Email: [email protected]
, Ph.D. 2441 4 th St. NW Washington, DC 20059 (202) 806-5342 Email: [email protected] Education Ph.D., Educational Measurement and Statistics, The University of Iowa, Iowa City, IA, July 2007
Invited Conference Talk (20m), A Comparison of Heuristics for Solving Problems in Approximate
John P. May Department of Computer and Information Sciences University of Delaware, Newark, DE 1-302-831-1957 (work), 1-410-810-1825 (home) [email protected] http://www.cis.udel.edu/ jpmay/ Born: August 5th,
Assistant Professor, Department of Landscape Architecture and Urban Planning, Texas A&M University, August 2012 present.
Wei LI Assistant Professor, Department of Landscape Architecture and Urban Planning, Texas A&M University, Langford A336, 3137 TAMU, College Station, TX 77843-3137 Phone: (979) 845-2608; E-mail: [email protected]
C u r r i c u l u m V i t a e György Vaszil
C u r r i c u l u m V i t a e György Vaszil May, 2011 Personal Family status: Languages: Married, father of three children (seven and five years, 21 months) English, German, Hungarian (mother tongue) Education
5/03/2014. EDUCATION 2005 Ph.D. in Computers and Information Systems
Hila Etzion Assistant Professor of Technology and Operations Stephen M. Ross School of Business University of Michigan 701 Tappan St. Ann Arbor, MI 48109-1234 (734)-358-1854 E-mail: [email protected] EDUCATION
https://sites.google.com/a/asu.edu/cse-522-spring-12/ sensors and actuators? How do we handle the errors introduced due to noise, quantization etc?
CSE 522 Spring 12 https://sites.google.com/a/asu.edu/cse-522-spring-12/ 1 of 3 5/29/2012 16:56 CSE 522 Spring 12 Navigation CSE522: Real-Time Embedded Systems The Schedule Sitemap CSE522: Real-Time Embedded
Hyoduk Shin. Curriculum Vitae. Academic Appointment. 07/2008-06/2012, Kellogg School of Management, Northwestern University.
Hyoduk Shin Curriculum Vitae Rady School of Management University of California - San Diego 9500 Gilman Drive #0553 La Jolla, CA 92093-0553 email: [email protected] Tel: (858) 534-3768 Academic Appointment
COMPUTATIONAL LIFE SCIENCE (MSc) GRADUATE PROGRAM
COMPUTATIONAL LIFE SCIENCE (MSc) GRADUATE PROGRAM THE PROGRAM COMPUTATIONAL LIFE SCIENCE (COMPLIFE) Over the last decades, biomedical research has become increasingly interdisciplinary in nature, focusing
Alberto Sa Vinhas. Expertise Business-to-Business Marketing Distribution Channels Sales Management Supply-Chain Management Marketing Strategy
October 2015 Alberto Sa Vinhas Washington State University - Vancouver Carson College of Business 14204 NE Salmon Creek Avenue Vancouver, WA, 98686-9600 Phone : 1.360.546.9146 e-mail : [email protected]
Best Poster Award: International Congress on Child and Adolescent Psychiatry 2012
EDUCATION Ph.D. Computer Engineering University of Southern California 1999 MS Computer Engineering University of Southern California 1994 B.S. Electrical Engineering Tehran University 1988 AWARDS & FELLOWSHIPS
Yu-Han Chang. USC Information Sciences Institute 4676 Admiralty Way (617) 678-2486 Marina del Rey, CA 90292
Yu-Han Chang USC Information Sciences Institute [email protected] 4676 Admiralty Way (617) 678-2486 Marina del Rey, CA 90292 Research Interests My research centers on learning in rich multi-agent environments.
CURRICULUM VITAE. Medical Simulation Grant
CURRICULUM VITAE Donna L. Russell, Ph.D. Assistant Professor Learning Technologies Curriculum and Instructional Leadership Educational Research and Psychology Teacher Education School of Education University
Lihui Lin. 2011-present Tsinghua University, School of Economics and Management Associate Professor, Department of Management Science and Engineering
Lihui Lin School of Economics and Management, Weilun Building, Room 456H, Tsinghua University, Beijing, 100084, China Phone: +86 10 62794790 Fax: +86 10 62771647 Email: [email protected] EDUCATION
Curriculum Vitae Timothy R. Colburn Associate Professor Department of Computer Science University of Minnesota, Duluth Duluth, MN 55812
Curriculum Vitae Timothy R. Colburn Associate Professor Department of Computer Science University of Minnesota, Duluth Duluth, MN 55812 email: [email protected] web: www.d.umn.edu/~tcolburn Education
CURRICULUM VITAE. Sonali Sen Gupta
CURRICULUM VITAE Sonali Sen Gupta Department of Economics, Management School, Lancaster University, Lancaster LA1 4YX. Tel: 01524594012, Email: [email protected]. Personal Webpage: http://www.lancaster.ac.uk/staff/sengupts/
Audrey Julia Walegwa Mbogho, PhD Associate Professor of Computer Science
Audrey Julia Walegwa Mbogho, PhD Associate Professor of Room 405 Pwani University P.O. Box 195-80108 Kilifi, Kenya Cell: +254 703 455 867 Office: +254 41 7525 418 Skype: audrey.mbogho Email: [email protected]
SYSTEMS, CONTROL AND MECHATRONICS
2015 Master s programme SYSTEMS, CONTROL AND MECHATRONICS INTRODUCTION Technical, be they small consumer or medical devices or large production processes, increasingly employ electronics and computers
Truong-Huy Dinh Nguyen
Truong-Huy Dinh Nguyen, Sep 2015 Journalism Building 238 Department of Computer Science Texas A&M University-Commerce P.O. Box 3011, Commerce, TX 75429-3011 Email: [email protected] EDUCATION
Graduate Program Policies and Procedures
The University of British Columbia Department of Physics & Astronomy Graduate Program Policies and Procedures May 2007 Table of Contents 1 Introduction 4 2 Programs 4 3 Admissions 4 3.1 Eligibility 4 3.2
Jack Baskin School of Engineering The University of California, Santa Cruz. Steve Kang, Dean and Prof. of Electrical Engineering October 15, 2003
Jack Baskin School of Engineering The University of California, Santa Cruz Steve Kang, Dean and Prof. of Electrical Engineering October 15, 2003 1 UC Santa Cruz 1965 Present 2003 2003 0404 enrollment of
XIAOBAI (BOB) LI ACADEMIC EXPERIENCE RESEARCH HIGHLIGHTS TEACHING HIGHLIGHTS
XIAOBAI (BOB) LI Department of Operations & Information Systems Manning School of Business One University Ave., Lowell, MA 01854 Phone: 978-934-2707 Email: [email protected] ACADEMIC EXPERIENCE 2011-present
Curriculum Vitae. Géraldine Heilporn
Curriculum Vitae Géraldine Heilporn Géraldine HEILPORN Email: [email protected] Web: http://homepages.ulb.ac.be/ gheilpor/ Citizenship: Belgian. Permanent resident of Canada since May, 2008 Education
PhD in Strategic Management, College of Management, Georgia Institute of Technology, 2008
Andrew M. Hess Curriculum Vitae Williams School of Commerce, Economics, and Politics Washington & Lee University, Lexington VA, 24450 Work: 540.458.8346; Fax: 540.458.8639 Email: [email protected]; Web: http://www.wlu.edu/williams-school/business-administration/faculty-and-staff/profile?id=x2975
Curriculum Vitae of Thomas Wies
Curriculum Vitae of Thomas Wies Particulars address: Computer Science Department phone: +1 (212) 998 3293 Courant Institute of Mathematical Sciences fax: +1 (212) 995 4121 New York University email: [email protected]
JAMIE ELIZABETH SCALERA, Ph. D.
JAMIE ELIZABETH SCALERA, Ph. D. Statesboro, Georgia 30460-8101 [email protected] 912-478-4204 (Office) 912-478-5348 (Fax) PROFESSIONAL APPOINTMENTS Assistant Professor,, Fall 2012-present Director,
Master of Science in Mathematics
Master of Science in Mathematics Outline of the program 2015 2017 National Research University Higher School of Economics, Moscow Moscow is one of the major research centers of the world and is a leading
Curriculum and Module Handbook. Master s Degree Programme. in Finance (Master of Science in Finance) 1 September 2015
Curriculum and Module Handbook Master s Degree Programme in Finance (Master of Science in Finance) 2015 1 September 2015 1 The curriculum was developed by the following University of Liechtenstein faculty
David S. Lee. FIELDS OF INTEREST Labor Economics, Econometrics, Political Economy, Public Policy
David S. Lee CONTACT INFORMATION Industrial Relations Section Princeton University Firestone Library A-16-J Princeton, NJ 08544-2098 Phone (609) 258-9548 Fax (609) 258-2907 E-mail: [email protected]
Curriculum Vitae Richard A. L. Carter
Curriculum Vitae Richard A. L. Carter January 25, 2011 Personal Office Addresses: Department of Economics University of Western Ontario London, Ontario N6A 5C2 Department of Economics University of Calgary
MATTEO RIONDATO Curriculum vitae
MATTEO RIONDATO Curriculum vitae 100 Avenue of the Americas, 16 th Fl. New York, NY 10013, USA +1 646 292 6641 [email protected] http://matteo.rionda.to EDUCATION Ph.D. Computer Science, Brown University,
Department of Political Science Phone: (805) 893-5902 University of California, Santa Barbara Fax: (805) 893-3309
NEIL NARANG Department of Political Science Phone: (805) 893-5902 University of California, Santa Barbara Fax: (805) 893-3309 Ellison Hall, Office 3710 Email: [email protected] Santa Barbara, CA
Matthew Laubacher Associate Professor Ashford University
Matthew Laubacher Associate Professor Ashford University 2011 Ph.D., History Arizona State University Dissertation: Cultures of Collection in Late Nineteenth Century American Natural History Dissertation
010200 - «Mathematics and Computer Science»
Institute of Applied Mathematics and Mechanics Telematics Department (under the Central Scientific Research Institute of Robotics and Technical Cybernetics) announces admission to bachelor's and master's
ASQT 2015. 13 th User Conference for Software Quality, Test and Innovation
ASQT 2015 13 th User Conference for Software Quality, Test and Innovation Congress Graz April 16 th - 17 th, 2015 www.asqt.org Motivation Twice before over the past 50 years, two waves of information technology
CURRICULUM VITAE JORGE PÉREZ
EDUCATION CURRICULUM VITAE JORGE PÉREZ Ph.D. Student, Department of Computer Science Pontificia Universidad Católica de Chile Email: [email protected], Http: www.ing.puc.cl/~jperez 2009 Ph.D. Student in
Karen L. Corral Boise State University (208)-426-4865 Email: [email protected]
Karen L. Corral Boise State University (208)-426-4865 Email: [email protected] EDUCATION PhD, Business Administration (1996) Arizona State University, Tempe, Arizona Master of Science in Computer
How To Build A Provably Secure Execution Platform For Embedded Systems
Provably Secure Execution Platforms for Embedded Systems ---- The PROSPER Project Mads Dam KTH Royal Institute of Technology Programvara för konkurrenskraft, SSF, Vinnova, 10 Feb 2015 The Evolving Security
Supervisors: Ph.D., Dr.scient. Hans C. Fogedby and Prof. Per Bak Institute of Physics & Astronomy, University of Århus, DK-8000 Århus C, Denmark.
Curriculum vitae Personal Name: Kim Christensen. Sex: Male. Date of birth: 1st December, 1962. Place of birth: Søndre Sogn, Viborg, Denmark. Nationality: Danish. Affiliation: Imperial College London, Blackett
Jeffery L. Guyse. L. Robin Keller (Chair), R. Duncan Luce and Imran Currim. Decision Analysis and Decision Support Systems Behavioral Decision Making
Jeffery L. Guyse Technology and Operations Management College of Business Administration California State Polytechnic University, Pomona Pomona, CA 91768 Office: (909) 869-5357 E-mail: [email protected]
School of Computer Science
School of Computer Science Computer Science - Honours Level - 2014/15 October 2014 General degree students wishing to enter 3000- level modules and non- graduating students wishing to enter 3000- level
Curriculum Vitae. Education Nanjing University, International Business School, Nanjing, P. R.China Bachelor of Arts in Economics, July 1994
Curriculum Vitae Zhining Hu Office Contact Information Department of Economics Gettysburg College Gettysburg, PA 17325 Office phone number: 717-337-6676 E-mail address: [email protected] Education Nanjing
Min Si. Argonne National Laboratory Mathematics and Computer Science Division
Min Si Contact Information Address 9700 South Cass Avenue, Bldg. 240, Lemont, IL 60439, USA Office +1 630-252-4249 Mobile +1 630-880-4388 E-mail [email protected] Homepage http://www.mcs.anl.gov/~minsi/ Current
DR AYŞE KÜÇÜKYILMAZ. Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK
DR AYŞE KÜÇÜKYILMAZ Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK http://home.ku.edu.tr/~akucukyilmaz [email protected]
08/2013 10/2015 Postdoc with teaching responsibilities at the Department of Economics and Business Economics, Aarhus University
DR. LEONIE GERHARDS University of Hamburg Department of Economics Von-Melle-Park 5, Office 2060 20146 Hamburg, Germany Phone: +49 40 42838 5573 Email: [email protected] PERSONAL INFORMATION:
Curriculum vitae. July 2007 present Professor of Mathematics (W3), Technische
Peter Bank Institut für Mathematik, Sekr. MA 7-1 Straße des 17. Juni 136 10623 Berlin Germany Tel.: +49 (30) 314-22816 Fax.: +49 (30) 314-24413 e-mail: [email protected] URL: www.math.tu-berlin.de/
The Department of Education. in Science and Technology
The Department of Education in Science and Technology Graduate Studies M.Sc. and Ph.D. Programs January 2013 Table of Contents 1. Overview: M.Sc. and Ph.D. Graduate Studies programs in Science and Technology
Jeremy Sakstein Curriculum Vitae
Contact Information University of Portsmouth Dennis Sciama Building Burnaby Road Portsmouth PO1 3FX Email: [email protected] Website: jeremysakstein.com www.icg.port.ac.uk/author/saksteij/ Academic
Getting a Graduate Degree at TU Berlin and TU Berlin Campus El Gouna 20/05/2015 DAAD Webinar Series hosted by DAAD Information Center San Francisco
Getting a Graduate Degree at TU Berlin and TU Berlin Campus El Gouna 20/05/2015 DAAD Webinar Series hosted by DAAD Information Center San Francisco 1 Getting a Graduate Degree Content 1. TU Berlin at a
CURRICULUM VITAE. Erte Xiao. Office: (412) 268-6780 (319E Porter Hall) 208 Porter Hall Pittsburgh, PA, 15213
CURRICULUM VITAE Erte Xiao Personal Data Office Address Carnegie Mellon University 208 Porter Hall Pittsburgh, PA, 15213 Office: (412) 268-6780 (319E Porter Hall) Email: [email protected] Education
Software Verification: Infinite-State Model Checking and Static Program
Software Verification: Infinite-State Model Checking and Static Program Analysis Dagstuhl Seminar 06081 February 19 24, 2006 Parosh Abdulla 1, Ahmed Bouajjani 2, and Markus Müller-Olm 3 1 Uppsala Universitet,
Kazan (Volga region) Federal University, Kazan, Russia Institute of Fundamental Medicine and Biology. Master s program.
Kazan (Volga region) Federal University, Kazan, Russia Institute of Fundamental Medicine and Biology Master s program Bioinformatics I. THEORETICAL BASIS The development of effective technologies of theoretical
Victoria SINCLAIR Curriculum vitae
Victoria SINCLAIR Curriculum vitae 1. Full name and date Surname: SINCLAIR Given Names: Victoria Anne Gender: female Date of writing: 8 September 2014 2. Date and place of birth, nationality, current residence
Dr. David Wuttke. Postdoc in Supply Chain Management. Primary Fields of Interests. Teaching Experience. Academic Experience. Business Experience
Dr. David Wuttke Postdoc in Supply Chain Management EBS Universität für Wirtschaft & Recht EBS Business School Department of Operations Gustav-Stresemann-Ring 3 D - 65189 Wiesbaden Phone +49 611 7102 2189
AVIGAIL SACHS Assistant Professor College of Architecture and Design University of Tennessee, Knoxville [email protected]
AVIGAIL SACHS Assistant Professor College of Architecture and Design University of Tennessee, Knoxville [email protected] EDUCATION 2009 Doctor of Philosophy in Architecture College of Environmental