جست‌وجوی استاد و پژوهشگر

• Software Engineering
• Video Game Development
• Artificial Intelligence for Software Engineering (AI4SE)
• +۴ مورد دیگر

Cristiano Politowski is an Assistant Professor in the Department of Computer Science at Ontario Tech University’s Faculty of Science. His research focuses on applying software engineering principles to video game development, with particular emphasis on software testing, artificial intelligence for software engineering (AI4SE), deep reinforcement learning, and empirical software engineering. Education includes a PhD in Computer Science and Software Engineering from Concordia University (2022), supervised by Professors Yann-Gaël Guéhéneuc and Fabio Petrillo. Prior to his current role, he held postdoctoral positions at Université de Montréal and École de Technologie Supérieure in Montréal, Canada. Research interests span game engine architecture analysis, automated testing methodologies for games, and bridging gaps between academic theory and industry practices in software engineering. His work often involves empirical studies on software quality, framework impacts, and event-driven systems. Publications reflect a focus on game development challenges, including studies on API compatibility, subsystem coupling visualization, and AI-driven game balance assessment. He actively contributes to the understanding of software processes in the video game industry through surveys and dataset curation initiatives like PlayMyData.

Harold Buckley, Jr.مشاهده پروفایل

مدرس پاره‌وقت

• Urban Planning
• Land Use Law
• Economic Development
• +۳ مورد دیگر

Harold Buckley, Jr., AICP is a Part-Time Lecturer at the School of City & Regional Planning, Georgia Institute of Technology's College of Design. He is also a partner at Wilson, Brock & Irby, LLC, specializing in state and local government law with a focus on land use, zoning, and economic development. His interdisciplinary background includes legal expertise, urban planning, and architecture. Education: J.D., Georgia State University College of Law (2002) M.C.P., Georgia Institute of Technology (1995) B.Arch., Tuskegee University (1993) Research & Expertise: Combines legal and planning knowledge to address development entitlement processes, public-private partnerships, and zoning approvals. Key areas include environmental due diligence, permitting, and urban land use analysis. Previously served as Principal Urban Planner for Atlanta, managing zoning cases like Atlantic Station's rezoning. Awards: Selected as one of The Best Lawyers in America in Zoning and Land Use Law (since 2012) Lawyer of the Year for Land Use and Zoning (2016) Advising & Grants: Teaches graduate-level land use law at Georgia Tech. No listed advisees or grants in current records. Professional Roles: Chair of City of Decatur Planning Commission American Institute of Certified Planners (AICP) member

Théo Winterhalterمشاهده پروفایل

پژوهشگر

• Type Theory
• Proof Assistants
• Formal Verification
• +۳ مورد دیگر

Théo Winterhalter is a researcher at INRIA Saclay and a member of the Laboratory of Mathematics and Computer Science (LMF) at ENS Paris-Saclay . He previously held a postdoctoral position at the Max Planck Institute for Security and Privacy (MPI-SP) and completed his PhD at the Gallinette research team in Nantes, supervised by Nicolas Tabareau and Matthieu Sozeau. Education PhD in Computer Science, 2017–2020, University of Nantes (Gallinette/Inria) MSc in Computer Science, École Normale Supérieure de Rennes Research interests include type theory , proof assistants , formal verification , and dependent types . He actively works on improving the safety and usability of proof assistants like Rocq (formerly Coq), focusing on rewrite rules, erasure, and cryptographic verification. His work often involves formalizing results within proof assistants and developing tools for verified programming. Contributions span conferences like POPL, ICFP, CPP, and TYPES. Recent projects include foundational verification of high-speed cryptography ( The Last Yard ), type-preserving rewrite rules ( The Rewster ), and modular cryptographic proofs ( SSProve ). His publications emphasize formal methods and computational assumptions in type theory. Teaching includes the Proof Assistants course at MPRI , a joint master’s program. He co-supervises PhD students like Yann Leray and has mentored interns on topics such as erased data implementation and Autosubst tooling. Labs and Teams : Deducteam (INRIA Saclay) – Developing deduction tools and formal verification LMF (ENS Paris-Saclay) – Laboratory for Mathematics and Computer Science Gallinette (former) – Team at INRIA Nantes MetaCoq Project – Collaborative effort on Coq verification

Moe Mojtahediمشاهده پروفایل

مدرس ارشد

• Construction Management
• Urban and Regional Planning
• Operations Research
• +۸ مورد دیگر

Dr Moe Mojtahedi is a Senior Lecturer at the School of Built Environment, University of New South Wales (UNSW). He earned his PhD in 2014 from the School of Civil Engineering at the University of Sydney. As a certified Project Management Professional (PMP) and Professional Engineer (PEng) accredited by Engineers Australia, Dr Mojtahedi bridges academic research with practical application in construction management and disaster risk reduction. PhD (University of Sydney, 2014) MEngSc (University of New South Wales) B.E. (Industrial), Professional Engineer (Australia) His research focuses on the intersection of construction management , urban resilience , and disaster risk reduction , particularly examining: Climate change adaptation in infrastructure Post-disaster recovery frameworks Lean construction methodologies Decision support systems for risk management Evacuation planning optimization Resilient hospital infrastructure Recent publications analyze trends in disaster science using computational modeling, prefabricated construction for industrial buildings, and AI/ML applications in aged care facility evacuation. His 2025 ChemistryOpen article explores sustainable reaction media for chemoselective processes, demonstrating interdisciplinary reach. Scientific recognition includes: Research Excellence Awards (Engineers Australia, 2012 & 2013) Best Conference Paper (ICES, Salford, 2017) Elsevier Outstanding Contribution Award (International Journal of Project Management, 2017) Learning and Teaching Excellence (UNSW, 2017) As a supervisor, he guides 7 PhD candidates and has mentored 4 graduates, including Mahmoud Ershadi (project management office effectiveness) and Kamyar Kabirifar (construction waste management). He contributes to policy discussions on aligning National Construction Code with UN Sendai Framework and advocates for disaster science integration in built environment practices. His media contributions examine hospital flood risks and climate change adaptation in Australia.

• Educational Technology
• Creative Programming
• Video Game Design
• +۶ مورد دیگر

Pedro Neves Rito is an Associate Professor at the Department of Communication and Art within the School of Education at the Polytechnic Institute of Viseu, where he has been teaching since 2007. His teaching focuses on web programming, creative programming, microcontroller programming, sensors, and ICT training for pre-school and primary school teachers. He is also a member of the CI&DEI Research Group and has served as Coordinator of the Information and Communication Technologies Area since 2022. His educational background includes: Doctorate in Information Technologies and Systems from the University of Minho (2015) Master's degree in Multimedia in Education from the University of Aveiro (2007) Degree in Computer Engineering from the Instituto Superior de Engenharia de Coimbra Numerous professional certifications including Adobe Certified Expert in Dreamweaver CS3 and Flash CS3 Rito's research spans multiple innovative areas at the intersection of technology and education. His primary interests include the adoption and diffusion of technologies, creative programming and application development, video game design, and tangible interfaces. He has extensively explored how gamification techniques can enhance learning experiences, particularly in programming education, and has investigated the potential of augmented reality in educational contexts. His work often focuses on practical applications for classroom settings, especially for pre-school and primary school teachers. His recent publications show a strong trend toward integrating artificial intelligence in educational game design, with particular emphasis on STEAM education and programming concepts. He has conducted systematic reviews on the educational potential of video games and developed frameworks for designing educational mobile video games. His research consistently emphasizes practical implementation strategies for educators, with a growing focus on AI applications in educational settings. Rito actively supervises numerous graduate students across various programs, particularly in Arts, Multimedia, and Education fields. He has led and participated in multiple research projects including "dEweB - Digital Era: WEB 3.0 and beyond," "Smart City Kids Lab," and "Eco-sensors4Health." His work demonstrates a commitment to applying technology innovations in real educational settings through practical implementation and teacher training.

• Indoor Air Quality
• Healthy Buildings
• Exposure Assessment
• +۳ مورد دیگر

Joseph G. Allen is an Associate Professor at Harvard T.H. Chan School of Public Health, where he directs the Harvard Healthy Buildings Program and serves as Deputy Director of the Harvard Education and Research Center for Occupational Safety & Health . He holds leadership roles in major public health initiatives including as Commissioner for The Lancet COVID-19 Commission and Scientific Advisor to the White House (2022-2024). His work bridges environmental health, building science, and public policy to advance human health in indoor environments. Education: D.Sc. in Exposure Assessment, Environmental Epidemiology & Biostatistics – Boston University MPH in Environmental Health – Boston University BS in Biology – Boston College Certified Industrial Hygienist (CIH) Research Focus: Dr. Allen's work centers on indoor environmental quality and its impact on human health. His research examines: 1) Airborne pathogen transmission mitigation strategies, 2) Chemical exposure pathways in built environments, 3) Climate-resilient building design, and 4) Global health equity in environmental interventions. His studies employ field measurements, computational modeling, and epidemiological approaches to develop evidence-based building standards. Publications: His recent 15 publications demonstrate consistent focus on air quality interventions, chemical exposure assessment, and health-focused building design. Key themes include pandemic-responsive ventilation standards, PFAS contamination mitigation, global health equity in environmental interventions, and technological innovations in exposure monitoring. His work appears in both scientific journals and policy-oriented outlets like Harvard Business Review. Awards & Leadership: Scientific Advisor to White House & Massachusetts Governor Chair of Lancet COVID-19 Task Force for Safe Work/Schools/Travel Co-Chair of Harvard Sustainability Committee's 2050 Subcommittee Program Direction: As Director of the Harvard Healthy Buildings Program, Dr. Allen leads interdisciplinary research translating building science into public health practice. The program collaborates with governments and industries worldwide to implement health-focused building standards and exposure reduction strategies.

• Private Law
• International Trade Law
• Commercial Law
• +۳ مورد دیگر

Hugues Kenfack is a Professor of Private Law and the President of Toulouse Capitole University since November 2020. He spearheaded the transformation of the university into an experimental establishment (effective January 1, 2023) and was re-elected President on June 1, 2023. He holds a PhD in Law from Toulouse Capitole University (1996) and has served as an Agregé des Facultés de droit (2001). His research focuses on domestic and international contract law, international trade law, arbitration, and mediation. He has authored seminal works in these fields and serves as a visiting professor at universities across the USA, China, Belgium, Poland, Lebanon, Morocco, Tunisia, and Cameroon. Kenfack is an international expert for the United Nations on international trade law and a certified arbitrator/mediator. He trains legal professionals at the Airbus Legal Academy and chairs professional bodies like the French Arbitration Committee. He has received the Officer of the Palmes Académiques and Knight of the Legion of Honor awards. Key projects include establishing a law program in the Sino-French Institute Suzhou (with Renmin University of China) and an International Business Law Master’s program in Casablanca (with Université Mundiapolis). He oversees major research projects and curriculum development, including the Master 2 programs in Contract Law and International Jurisprudence.

Théo Winterhalterمشاهده پروفایل

پژوهشگر

• Formal Methods
• Type Theory
• Proof Assistants
• +۳ مورد دیگر

Dr. Théo Winterhalter is a researcher at the Deducteam within INRIA Saclay and the Laboratoire de Méthodes Formelles (LMF) at École Normale Supérieure Paris-Saclay. Previously, he held a postdoctoral position at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. He completed his PhD in computer science at the University of Nantes under the supervision of Nicolas Tabareau and Matthieu Sozeau, focusing on the formalization and meta-theory of type theory. His research centers on proof assistants, particularly Coq, and involves advancing formal methods for security, type systems, and dependent type theory. Winterhalter's work includes contributions to the MetaCoq project, enabling meta-programming and formal reasoning about Coq itself. He is also involved in developing verified cryptographic frameworks like SSProve and SecRef*, ensuring secure integration of verified and unverified code. His educational background includes a PhD in type theory and prior work in cryptographic algorithms, such as randomized scalar multiplication. He actively participates in academic communities, serving on program committees for ICFP, TYPES, and POPL. His teaching includes co-teaching the MPRI course on proof assistants with Yannick Forster. Supervision activities include PhD student Yann Leray and multiple interns focusing on Coq extensions and formal verification.

Satrya Fajri Pratamaمشاهده پروفایل

مدرس ارشد

• Software Development
• Internet of Things
• Cloud Computing
• +۶ مورد دیگر

Dr. Satrya Fajri Pratama is a Senior Lecturer in Computer Science at the University of Hertfordshire , affiliated with the School of Physics, Engineering & Computer Science and the Department of Computer Science . With professional certifications from Oracle, Microsoft, Google, AWS, Cisco, and other industry leaders, he combines academic expertise with practical industry recognition. His research focuses on software development, internet of things (IoT), cloud computing, and computational approaches to drug classification. Doctor of Philosophy (ICT) – Universiti Teknikal Malaysia Melaka Master of Science in ICT – Universiti Teknikal Malaysia Melaka Bachelor of Computer Science (Software Development) – Universiti Teknikal Malaysia Melaka His research involves descriptor selection for drug classification using advanced algorithms like the Whale Optimization Algorithm and Particle Swarm Optimization , particularly in combating Amphetamine-Type Stimulants (ATS) . Collaborative work includes ncRNA identification and QSAR modeling for biodegradation studies. Key scientific awards include certification as a Professional Technologist with the Malaysia Board of Technologists (MBOT) and recognition as an Apple Teacher with Swift Playgrounds Recognition . He holds numerous industry certifications and is a certified educator/trainer for Microsoft, Google, AWS, Oracle, and other major tech companies.

• Corporate Ethics
• Business Ethics
• Corporate Social Responsibility
• +۸ مورد دیگر

Dr Michael Callaghan is a Lecturer in the Department of Management and Marketing at Deakin Business School, Faculty of Business and Law, Deakin University. He is based at the Warrnambool Campus and holds a PhD (by prior publication) from Deakin, recognized as the first such award in the Faculty. His research and teaching focus on business ethics, corporate social responsibility, marketing, and management. Education: PhD, Deakin University Bachelor of Business, University of Southern Queensland Bachelor of Business (Honours), University of Southern Queensland Diploma in Export Management, Australian Institute of Export Diploma in Market Research, Market Research Society of Australia His research interests include corporate ethics, trust in online exchange, advertising, relationship marketing, and consumer behavior. His work has been widely published in journals such as the Journal of World Business and Journal of Business Ethics , with a strong emphasis on cross-cultural and longitudinal studies of corporate codes of ethics. His 15 most recent articles reveal a consistent focus on ethical structures in organizations, particularly across Australia, Canada, Sweden, and the UK. Themes include code quality, implementation, cross-sector comparisons, and ethical engagement over time. His work bridges marketing and ethics, often analyzing how ethical frameworks influence organizational behavior and consumer trust. Scientific Awards and Recognitions: 2019 Management Department Teaching and Learning Award (Inaugural Winner) 2018 Outstanding Reviewer, Emerald Literati Network Outstanding Paper Award, 2016, for work on B2B e-marketing orientation PhD thesis nominated for Emerald/EFMD Outstanding Doctoral Research Awards (2017) He has served as Unit Chair for multiple marketing units and taught over 15 courses across management and marketing. He is a Certified Practising Marketer (CPM), Fellow of the Academy of Marketing Science (FAMS), and Fellow of the Australian Marketing Institute (FAMI). He was involved in a contract research project with Insurance Australia Limited on SME customer behavior. No formal lab or research team is mentioned, but he collaborates frequently with researchers like Wood, Svensson, and Valos.

• Program Verification
• Proof Engineering
• Formal Methods
• +۴ مورد دیگر

Karl Palmskog is a Lecturer at KTH Royal Institute of Technology in the Division of Theoretical Computer Science and the STEP research group. His work focuses on program verification and proof engineering, with particular emphasis on developing techniques and tools based on proof assistants for constructing functionally correct and secure software systems. Palmskog received his Ph.D. in Computer Science in 2014 from KTH, advised by Mads Dam, and his M.Sc. in Computer Science and Engineering from KTH in 2007. Prior to his current position, he was a postdoc at The University of Texas at Austin and University of Illinois at Urbana-Champaign. His research interests span programming languages, software engineering, and formal verification, with a particular focus on developing techniques and tools based on proof assistants. He is an avid user of the Coq proof assistant for both proving and programming, often complemented by OCaml, and also utilizes HOL4 and other ML family dialects. His work bridges theoretical foundations with practical applications, particularly in the domains of blockchain systems, distributed systems, and automotive software verification. Analysis of his recent publications reveals a strong focus on Coq-based verification, with significant contributions to proof engineering tools and methodologies. His work includes developing tools for regression proving, change impact analysis, mutation testing for Coq projects, and lemma name suggestion using deep learning. There's also a growing trend toward applying formal methods to real-world systems like blockchain protocols and automotive software. Palmskog has been involved in several research projects, including Coq-community Proof Engineering and Distributed Components. His past projects include Trustfull (SSF), Model-based Event Driven Scalable Programming for the Mobile Cloud (NSF), Highly Adaptable and Trustworthy Software (EU FP7), and 4WARD Future Internet (EU FP7). As an educator, Palmskog has served as examiner, course responsible, teacher, and assistant for various courses including Algorithms, Data Structures and Complexity; Degree Projects; Game Theory; Parallel and Distributed Computing; and Programming Paradigms. His work on Chip, a Coq formalization of change impact analysis, demonstrates his commitment to creating practical, certified tools that bridge formal methods with software engineering practice.

• Cybersecurity
• Cryptography
• Malware Analysis
• +۳ مورد دیگر

Tudor Dumitras is an Affiliate Associate Professor at the University of Maryland, College Park, holding appointments in the Department of Electrical and Computer Engineering (ECE) and the Department of Computer Science (CS). He is affiliated with The Maryland Cyber Security Center (MC2), where he leads research initiatives in cybersecurity and cryptography. His work focuses on malware detection, system security, and analyzing real-world vulnerabilities like the Heartbleed bug. Dumitras has collaborated with institutions such as Northeastern and Stanford Universities on critical security challenges, including SSL certificate reissuance and revocation strategies. His research interests span machine learning applications in cybersecurity, network security protocols, and adversarial attack mitigation. Notable contributions include developing automated tools for vulnerability exploitation prediction (SCAVY) and investigating the robustness of machine learning models against adversarial examples. Dumitras advises PhD students Simge Tekin and Kamala Varma, focusing on advancing cybersecurity through data-driven approaches. Key projects include analyzing software adoption patterns, studying zero-day attacks, and improving PKI security. His work often bridges academic research with industry practices, leveraging big data from sources like Symantec's WINE system. Dumitras has published extensively on topics ranging from malware behavior analysis to hardware fault attacks on neural networks.

Cristiano Politowskiمشاهده پروفایل

استادیار

• Software Engineering
• Video Game Development
• Artificial Intelligence for Software Engineering (AI4SE)
• +۳ مورد دیگر

Cristiano Politowski is an Assistant Professor in the Department of Computer Science at Ontario Tech University's Faculty of Science. His research focuses on software engineering for video games, automated testing, AI4SE, and empirical studies. He holds a Ph.D. in Software Engineering from Concordia University (2022), an M.Sc. in Computer Science from Universidade Federal de Santa Maria (2017), and a B.Sc. in Computer Science from Universidade Regional do Estado do Rio Grande do Sul (2014). Prof. Politowski has extensive postdoctoral experience at Université de Montréal (GEODES group) and École de Technologie Supérieure (ÉTS), focusing on game engine architecture, requirements specification, and certifiable RTOS systems. He has organized workshops like ASE4Games 2021/2022 and FaSE4Games 2024, emphasizing game software engineering. His research interests span video game development challenges, software testing methodologies, and leveraging AI for software engineering. Notable projects include analyzing game engine subsystem coupling, assessing video game balance with autonomous agents, and curating datasets like PlayMyData. Prof. Politowski has secured $20K from MITACS for a 5G infrastructure project during the pandemic and received the Concordia Accelerator Award (2021). His work has been published in venues like MSR, ICSE, and IEEE Transactions.

• Geometric Deep Learning
• Categorical Deep Learning
• Robust Machine Learning
• +۱ مورد دیگر

Aman Saxena is a researcher at the Department of Computer Science in the TUM School of Computation, Information and Technology at Technical University of Munich. His work focuses on geometric/categorical deep learning, robust machine learning, and quantum machine learning. Education: M.Sc. Computational Sciences and Engineering (2019-2023) Location: Boltzmannstr. 3, 85748 Garching b. Munich, Germany (Room 00.11.062) Research Interests: Geometric/Categorical Deep Learning Robust Machine Learning Quantum Machine Learning Bayesian Learning Efficient Machine Learning Code Analysis Recent Publications: Certifiably Robust Encoding Schemes (IEEE International Conference on Quantum Computing and Engineering - QCE 2024) Discrete Randomized Smoothing Meets Quantum Computing (IEEE International Conference on Quantum Computing and Engineering - QCE 2024)

Vikaas Sohalمشاهده پروفایل

استاد

• Neuroscience
• Psychiatry
• Brain Circuits
• +۶ مورد دیگر

Vikaas Sohal, MD, PhD is a Professor in the Department of Psychiatry at the University of California, San Francisco (UCSF) School of Medicine and a member of the UCSF Weill Institute for Neurosciences. He directs a neuroscience laboratory investigating the brain circuits underlying fundamental aspects of cognition and emotion, with particular focus on gamma oscillations in normal cognition and schizophrenia, as well as how rhythmic brain activity encodes emotional states. Dr. Sohal is also a board-certified psychiatrist who supervises residents in the Early Psychosis (PATH) clinic. Dr. Sohal earned his A.B. and S.M. in Applied Mathematics from Harvard University in 1997, followed by an M.A.St. in Mathematics from the University of Cambridge in 1998. He completed his M.D./Ph.D. in Neuroscience at Stanford University in 2005, where he also completed his residency in adult psychiatry. During his residency, he conducted postdoctoral research with Dr. Karl Deisseroth, performing some of the first experiments using optogenetics to study information processing in brain circuits. Dr. Sohal's research has focused on neural circuit mechanisms underlying cognitive and emotional processes, with particular emphasis on gamma oscillations, prefrontal-hippocampal interactions, and the role of specific interneuron subtypes in information processing. His laboratory has made significant contributions to understanding how parvalbumin interneurons generate gamma oscillations that organize prefrontal networks to promote behavioral adaptation. His recent work has explored the circuit basis of emotional states, pain-related aversion, and neuropsychiatric disorders. His publication record shows a consistent trajectory of high-impact research, with recent publications spanning topics from psilocybin effects to thalamocortical organoids for neuropsychiatric disorder modeling. His work demonstrates a progression from fundamental circuit mechanisms to translational applications for psychiatric disorders, particularly focusing on schizophrenia and emotional processing abnormalities. Dr. Sohal has secured continuous NIH funding as Principal Investigator since 2009, including multiple R01 grants, an R56, DP2, R00, and K99 awards, demonstrating sustained research productivity and significance. His research program represents a sophisticated integration of molecular, cellular, circuit, and behavioral approaches to understand and potentially treat neuropsychiatric disorders.